A stepwise refinement based approach for synthesizing protocol specifications in an interpreted Petri net model

Authors:
Hakim Kahlouche;Jean Jacques Girardot
Affiliations:
Ecole Nationale Supérieure des Mines, Centre SIMADE, Laboratoire de Systèmes Coopératifs, Saint-Etienne Cedex 2, France;Ecole Nationale Supérieure des Mines, Centre SIMADE, Laboratoire de Systèmes Coopératifs, Saint-Etienne Cedex 2, France
Venue:
INFOCOM'96 Proceedings of the Fifteenth annual joint conference of the IEEE computer and communications societies conference on The conference on computer communications - Volume 3
Year:
1996

Citing 7
Cited 3

Deriving protocol specifications from service specifications

SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
Synthesis of Communication Protocols: Survey and Assessment

IEEE Transactions on Computers - Special issue on protocol engineering
Deriving protocol specifications from service specifications including parameters

ACM Transactions on Computer Systems (TOCS)
Time, clocks, and the ordering of events in a distributed system

Communications of the ACM
Communication and Concurrency

Communication and Concurrency
The importance of the service concept in the design of data communications protocols

Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification V
Synthesis of protocol entities specifications from service specifications in a Petri net model with registers

ICDCS '95 Proceedings of the 15th International Conference on Distributed Computing Systems

Synthesis of communications protocols: an annotated bibliography

ACM SIGCOMM Computer Communication Review
Protocol synthesis and re-synthesis with optimal allocation of resources based on extended petri nets

Distributed Computing
Deriving protocol specifications from service specifications written as predicate/transition-nets

Computer Networks: The International Journal of Computer and Telecommunications Networking

Quantified Score

Hi-index	0.00

Visualization

Abstract

Automatic synthesis of communication protocols represents an important alternative to the classical analytic approaches based on exhaustive analysis, where the fundamental drawback is the exponential growth of reachable states. In this paper we present a new method for synthesizing protocol specifications from service specifications in an interpreted Petri net model. Our approach handles simultaneously: control flow, data flow, distributed choice and data coherency constraints. In other words, we propose a good compromise between the expressiveness power of service specification model and the synthesis power. An important aspect which characterizes our approach is that the synthesis is based on stepwise refinement rules. This gives it the ability to be an extensible approach.