Deriving protocol specifications from service specifications written as Predicate/Transition-nets

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 of a system and includes the allocation of the Pr/T-net places to N distributed sites. The paper presents a new algorithm for deriving a protocol specification that defines the behavior of N communicating entities that execute on the N sites and coordinate their actions in order to conform to the global behavior defined by the service specification. Our algorithm decomposes each transition of the service specification into a set of communicating Pr/T-subnets running on the N entities. Moreover, for efficiently controlling the conflict for shared resources, we present a timestamp-based contention control algorithm and incorporate it into the derivation algorithm. A tool has been developed that implements our algorithm and works together with other existing tools for the graphical representation of the service and derived protocol specifications. Two application examples are discussed.

[1]  Teruo Higashino,et al.  Deriving protocol specifications from service specifications in extended FSM models , 1993, [1993] Proceedings. The 13th International Conference on Distributed Computing Systems.

[2]  Hirozumi Yamaguchi,et al.  Petri net-based protocol synthesis with minimum communication costs , 2006, J. Frankl. Inst..

[3]  Jorge C. A. de Figueiredo,et al.  Using Coloured Petri Nets to Investigate Behavioural and Performance Issues of TCP Protocols , 1999 .

[4]  Monika Kapus Kolar.  Compositional Service-Based Construction of Multi-Party Time-Sharing-Based Protocols , 2003 .

[5]  Kurt Jensen,et al.  Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1 , 1996 .

[6]  Ming T. Liu,et al.  Protocol synthesis in a state-transition model , 1988, Proceedings COMPSAC 88: The Twelfth Annual International Computer Software & Applications Conference.

[7]  Kurt Lautenbach,et al.  System Modelling with High-Level Petri Nets , 1981, Theor. Comput. Sci..

[8]  Hirozumi Yamaguchi,et al.  Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets , 2003, Distributed Computing.

[9]  Hirozumi Yamaguchi,et al.  A Petri Net Based Method for Deriving Distributed Specification with Optimal Allocation of Resources , 2000 .

[10]  Hirozumi Yamaguchi,et al.  A Method and a Genetic Algorithm for Deriving Protocols for Distributed Applications with Minimum Communication Cost , 1999 .

[11]  Claude Jard,et al.  Synthesizing Coordination Procedures for Distributed Testing of Distributed Systems , 2000, ICDCS Workshop on Distributed System Validation and Verification.

[12]  Ahmed Khoumsi,et al.  On specifying services and synthesizing protocols for real-time applications , 1995, PSTV.

[13]  Zongpeng Li,et al.  sFlow: towards resource-efficient and agile service federation in service overlay networks , 2004, 24th International Conference on Distributed Computing Systems, 2004. Proceedings..

[14]  Daniel Y. Chao,et al.  A synthesis technique of general petri nets , 1994, J. Syst. Integr..

[15]  Jens Linneberg Rasmussen,et al.  Designing a Security System by Means of Coloured Petri Nets , 1996, Application and Theory of Petri Nets.

[16]  Jean-Jacques Girardot,et al.  A stepwise refinement based approach for synthesizing protocol specifications in an interpreted Petri net model , 1996, Proceedings of IEEE INFOCOM '96. Conference on Computer Communications.

[17]  Hirozumi Yamaguchi,et al.  Decomposing Service Definition in Predicate/Transition-Nets for Designing Distributed Systems , 2003, FORTE.

[18]  Ahmed Khoumsi,et al.  Two formal methods for the synthesis of discrete event systems , 1997, Comput. Networks ISDN Syst..

[19]  Ludmila Cherkasova,et al.  On Net Modeling of Industrial Size Concurrent Systems , 1993, Application and Theory of Petri Nets.

[20]  Reinhard Gotzhein,et al.  Deriving protocol specifications from service specifications including parameters , 1990, TOCS.

[21]  Michael Westergaard,et al.  CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets , 2003, ICATPN.

[22]  Hirozumi Yamaguchi,et al.  Automatic derivation of Petri net based distributed specification with optimal allocation of resources , 2000, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering.

[23]  Hakan Erdogmus,et al.  On the Specification and Synthesis of Communicating Processes , 1990, IEEE Trans. Software Eng..

[24]  Benoît Caillaud,et al.  Distributing Automata for Asynchronous Networks of Processors , 1997 .

[25]  Kurt Lautenbach,et al.  The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets , 1979, Semantics of Concurrent Computation.

[26]  Teruo Higashino,et al.  Protocol synthesis from timed and structured specifications , 1995, Proceedings of International Conference on Network Protocols.

[27]  Teruo Higashino,et al.  Deriving protocol specifications from service specifications written in LOTOS , 1996, Distributed Computing.

[28]  Kurt Jensen,et al.  Coloured Petri Nets , 1997, Monographs in Theoretical Computer Science An EATCS Series.

[29]  Kurt Jensen,et al.  Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .

[30]  Hirozumi Yamaguchi,et al.  Protocol synthesis from time Petri net based service specifications , 1997, Proceedings 1997 International Conference on Parallel and Distributed Systems.

[31]  Hirozumi Yamaguchi,et al.  A formal approach to design optimized multimedia service overlay , 2005, NOSSDAV '05.

[32]  Jun-Cheol Park,et al.  Synthesizing protocol specifications from service specifications in timed extended finite state machines , 1997, Proceedings of 17th International Conference on Distributed Computing Systems.

[33]  Leon J. Osterweil,et al.  ISPW-6 Software Process Example , 1991, Proceedings. First International Conference on the Software Process,.

[34]  Abraham Silberschatz,et al.  Database System Concepts , 1980 .

[35]  M. Kapus-Kolar.  Deriving protocol specifications from service specifications with heterogeneous timing requirements , 1991, RTSS 1991.