The Incremental Modelling of the Z39.50 Protocol with Object Petri Nets

This paper examines how object-oriented extensions to the Petri Net formalism provide flexible structuring primitives which can aid the modelling of network protocols. A key benefit is the support for incremental modelling. As a result, a protocol can be modelled as a collection of services, each of which can be expressed as the enhancement of a basic service, in which case, both the structure of the basic service and the nature of the enhancement can be clearly identified. More importantly, the evolution of a protocol through a sequence of standards can be expressed by progressive refinements. The object-oriented extensions are captured in the formalism of Object Petri Nets, with a textual language form referred to as LOOPN++, both of which are introduced in this paper. The incremental modelling capabilities and their benefits are demonstrated for the Z39.50 Protocol for Information Retrieval.

[1]  Christophe Sibertin-Blanc,et al.  Cooperative Nets , 1994, Application and Theory of Petri Nets.

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

[3]  Charles Lakos,et al.  The Object Orientation of Object Petri Nets , 1995 .

[4]  Ole Lehrmann Madsen,et al.  Virtual classes: a powerful mechanism in object-oriented programming , 1989, OOPSLA 1989.

[5]  Mark A. Linton,et al.  Generalized graphical object editing , 1990 .

[6]  Bjarne Stroustrup,et al.  C++ Programming Language , 1986, IEEE Softw..

[7]  簡聰富,et al.  物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .

[8]  Peter Wegner.  Dimensions of object-based language design , 1987, OOPSLA 1987.

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

[10]  Peter Huber,et al.  Hierarchies in coloured Petri nets , 1991, Applications and Theory of Petri Nets.

[11]  Erich Gamma,et al.  ET++—an object oriented application framework in C++ , 1988, OOPSLA 1988.

[12]  Charles Lakos.  Pragmatic Inheritance Issues for Object Petri Nets , 1995 .

[13]  Giorgio Bruno,et al.  An Environment for Object- oriented Conceptual Programming Based on PROT Nets , 1987, European Workshop on Applications and Theory of Petri Nets.

[14]  Charles Lakos,et al.  From Coloured Petri Nets to Object Petri Nets , 1995, Application and Theory of Petri Nets.

[15]  Edsger W. Dijkstra,et al.  Notes on structured programming , 1970 .

[16]  Jonathan Billington,et al.  PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols , 1988, IEEE Trans. Software Eng..

[17]  Jens Palsberg,et al.  Object-oriented type systems , 1994, Wiley professional computing.

[18]  Bertrand Meyer,et al.  Object-Oriented Software Construction, 2nd Edition , 1997 .

[19]  Ole Lehrmann Madsen,et al.  Virtual classes: a powerful mechanism in object-oriented programming , 1989, OOPSLA '89.

[20]  Glenn Lewis,et al.  Producing Network Applications Using Object-Oriented Petri Nets , 1996 .

[21]  John W. Lamp,et al.  Modelling Network Protocols with Object Petri Nets , 1995 .

[22]  D. L. Parnas,et al.  On the criteria to be used in decomposing systems into modules , 1972, Software Pioneers.

[23]  John W. Lamp,et al.  Encoding the ANSI Z39.50 Search and Retrieval Protocol using LOOPN , 1994 .

[24]  G. Hutchison,et al.  Electronic data interchange , 1987, IEEE Network.

[25]  Marshall T. Rose,et al.  The Open book - a practical perspective on OSI , 1990 .

[26]  Kurt Jensen.  Coloured Petri nets: A high level language for system design and analysis , 1989, Applications and Theory of Petri Nets.

[27]  Laure Petrucci,et al.  Towards a Modular Analysis of Coloured Petri Nets , 1992, Application and Theory of Petri Nets.

[28]  Laure Petrucci,et al.  Modular State Space Analysis of Coloured Petri Nets , 1995, Application and Theory of Petri Nets.

[29]  Antti Valmari,et al.  Compositional Analysis with Place-Bordered Subnets , 1994, Application and Theory of Petri Nets.

[30]  Charles Lakos,et al.  The LOOPN++ User Manual , 1996 .

[31]  Richard Lai,et al.  Verification Results for ISO FTAM Basic Protocol , 1989, PSTV.

[32]  Bjarne Stroustrup,et al.  The C++ Programming Language, Second Edition , 1991 .

[33]  Michel Diaz,et al.  Modeling and Analysis of Communication and Cooperation Protocols Using Petri Net Based Models , 1982, Comput. Networks.

[34]  Peter A. C. Verkoulen,et al.  Integrated information systems design - an approach based on object-oriented concepts and Petri nets , 1993 .

[35]  Giancarlo Mauri,et al.  OBJSA Nets: a Class of High- level Nets Having Objects as Domains , 1987, European Workshop on Applications and Theory of Petri Nets.

[36]  Gérard Berthelot,et al.  Petri Nets Theory for the Correctness of Protocols , 1982, PSTV.

[37]  Søren Christensen,et al.  A General Systematic Approach to Arc Extensions for Coloured Petri Nets , 1994, Application and Theory of Petri Nets.

[38]  Charles Lakos,et al.  The Consistent Use of Names and Polymorphism in the Definition of Object Petri Nets , 1996, Application and Theory of Petri Nets.

[39]  Charles Lakos,et al.  On the Abstraction of Coloured Petri Nets , 1997, ICATPN.