Protocol synthesis attempts to formalize and automate the process of designing
communications protocols. Protocol design is an important step in the communications …

We propose a specification model and present a method to algorithmically derive a protocol
specification from a service specification based on the model. Unlike the previous models …

The design of discrete event systems (DES) is based mainly on either analysis or synthesis
approaches. In the synthesis approach, the design process starts from high level …

Protocol synthesis is used to derive a protocol specification, that is, the specification of a set
of application components running in a distributed system of networked computers, from a …

Some methods for deriving protocol specifications from given service specifications with time
constraints have been proposed. However, existing methods cannot treat the class of …

In this paper, we propose a method to synthesize protocol specifications automatically from
service specifications written in a time-extended LOTOS called LOTOS/T+. In LOTOS/T+ …

The object-oriented paradigm is widely applied in designing and implementing
communication systems. Unified Modeling Language (UML) is a standard language used to …

We consider the derivation of a protocol specification from a service specification written in
Predicate/Transition-nets (Pr/T-nets). The service specification describes the global behavior …

Communication protocols always have some embedded timed properties (eg timeout and
transmission delay). To specify and analyse the timed properties, a new formal model is …

Protocol synthesis is used to derive a specification of a distributed system from the
specification of the services to be provided by the system to its users. Maintaining such a …