For the most recent entries see the Petri Nets Newsletter.

An association of algebraic term nets and abstract data types for specifying real communication protocols.

Mohamed, Bettaz

In: Dosse, D.: Lecture Notes in Computer Science, Vol. 534; Recent trends in Data Type Specification, 7th Workshop, Wusterhausen, April 17-20, 1990, pages 11-30. Springer-Verlag, 1991.

Abstract: This paper presents a method for specifying real communication protocols within the frame of the Open System Interconnection Model. A protocol specification is achieved in two steps: First, we use a constructive approach based on Algebraic Term Nets to build a compact model of the given protocol. Algebraic Term Nets are a form of high-level Petri nets, using terms of a given signature as tokens. This allows to build sufficiently refined models without using implementation details. Second, we use the algebraic approach to specify the abstract data types related to the tokens, and a transformation technique to get an algebraic specification of the protocol from its model. The method is illustrated by an application to a real-world protocol: The Ethernet data link layer protocol


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography