The Community for Technology Leaders
Formal Engineering Methods, International Conference on (2000)
York, England
Sept. 4, 2000 to Sept. 7, 2000
ISBN: 0-7695-0822-7
pp: 57
Mohamed Jmaiel , Ecole Nationale d'Ing?nieursde Sfax
ABSTRACT
This paper provides a unified framework for the specification of communication protocols. This framework enables to integrate within algebraic specifications different formalisms permitting the description of dynamic aspects of distributed systems, such as temporal logic, Petri nets and process algebra. These integrations provide different languages allowing specifications, which may include both data aspects and behavioral aspects of protocols. In addition, this paper gives a unified semantics for the different languages based on algebra and event structures. Finally, we illustrate our framework by specifying the Alternating Bit Protocol using the different behavioral formalisms.
INDEX TERMS
Formal specification, Communication protocols, Algebraic Specification, Temporal logic, Petri nets, Process Algebra
CITATION

M. Jmaiel, "A Unified Algebraic Framework for Specifying Communication Protocols," Formal Engineering Methods, International Conference on(ICFEM), York, England, 2000, pp. 57.
doi:10.1109/ICFEM.2000.873805
94 ms
(Ver 3.3 (11022016))