Loading...

Formalizing compatibility and substitutability in communication protocols using I/O-constraint automata

Niamanesh, M ; Sharif University of Technology | 2007

224 Viewed
  1. Type of Document: Article
  2. DOI: 10.1007/978-3-540-75698-9_4
  3. Publisher: Springer Verlag , 2007
  4. Abstract:
  5. A communication protocol consists of a sequence of messages used by peer entities to communicate. Each entity in a network is equipped by at least one protocol stack. Due to the need for on-the-fly reconfiguration of protocol stack in future communication and computation devices, formalizing substitutability and compatibility of protocol entities are important in correctness assessment of dynamic reconfiguration. In this paper, we extend Constraint Automata and propose I/O-Constraint Automata to model behavior of protocols and propose enough formalism for substitutability and compatibility relations between protocols. We introduce input-blocking property of communication protocols, and show that in the context of communication protocols simulation relation is not strong enough for notion of substitutability. We show the relation between substitutability and compatibility to reason about the correctness in substitution of a protocol with a new one. © Springer-Verlag Berlin Heidelberg 2007
  6. Keywords:
  7. Automata theory ; Block codes ; Computer simulation ; Constraint theory ; Constraint Automata ; Notion of substitutability ; Network protocols
  8. Source: 2nd IPM International Symposium on Fundamentals of Software Engineering, FSEN 2007, Tehran, 17 April 2007 through 19 April 2007 ; Volume 4767 LNCS , 2007 , Pages 49-64 ; 03029743 (ISSN); 9783540756972 (ISBN)
  9. URL: https://link.springer.com/chapter/10.1007%2F978-3-540-75698-9_4