A unified algebraic framework for specifying communication protocols

Author

Jmaiel, Mohamed

Author_Institution

Dept. d´´Inf. et de Math. Appl., Ecole Nat. d´´Ingenieurs de Sfax, Tunisia

fYear

2000

fDate

2000

Firstpage

57

Lastpage

65

Abstract

Provides a unified framework for the specification of communication protocols. This framework enables one to integrate different formalisms within algebraic specifications, permitting the description of the 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 the data aspects and the 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

Keywords

Petri nets; algebraic specification; distributed processing; process algebra; specification languages; temporal logic; transport protocols; Alternating Bit Protocol; Petri nets; algebraic specifications; behavioral aspects; behavioral formalisms; communication protocol specification; data aspects; distributed systems; dynamic aspects; event structures; process algebra; specification languages; temporal logic; unified algebraic framework; unified semantics; Algebra; Calculus; Carbon capture and storage; Formal specifications; Joining processes; Logic functions; Network topology; Petri nets; Protocols; Specification languages;

fLanguage

English

Publisher

ieee

Conference_Titel

Formal Engineering Methods, 2000. ICFEM 2000. Third IEEE International Conference on

Conference_Location

York

Print_ISBN

0-7695-0822-7

Type

conf

DOI

10.1109/ICFEM.2000.873805

Filename

873805