High-level Petri net for incremental analysis of object-oriented system requirements

To complement the weakness of Petri nets in terms of naturalness, modularity, and reusability, high-level Petri nets with object concepts have been suggested. It is difficult to apply these nets to the requirements specification of object-oriented software systems because of insufficient support for the object-oriented concepts. A hierarchical object-oriented Petri net (HOONet) is developed to complement the weakness of the existing formalisms and formally define its syntax and semantics. A reachability analysis method is provided to check such behavioural properties as boundedness, liveness and persistence of the HOONet models. The HOONet provides incremental modelling and analysis of the requirements with the support of object-oriented concepts.

[1]  Jorge C. A. de Figueiredo,et al.  G-Nets: A petri net based approach for logical and timing analysis of complex software systems , 1997, J. Syst. Softw..

[2]  Woo Jin Lee,et al.  A Slicing-based Approach to Enhance Petri Net Reachability Analysis , 2000, J. Res. Pract. Inf. Technol..

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

[4]  William E. Lorensen,et al.  Object-Oriented Modeling and Design , 1991, TOOLS.

[5]  Pierre VerbaetenDept.  Pn-tox: a Paradigm and Development Environment for Object Concurrency Speciications , 1995 .

[6]  Nicolas Guelfi,et al.  Modeling of Cooperative Editors Using COOPN/2 , 1996 .

[7]  Shing-Chi Cheung,et al.  Context constraints for compositional reachability analysis , 1996, TSEM.

[8]  Ichiro Suzuki,et al.  A Method for Stepwise Refinement and Abstraction of Petri Nets , 1983, J. Comput. Syst. Sci..

[9]  Jeffrey D. Ullman,et al.  Elements of ML programming (ML97 ed.) , 1998 .

[10]  Anton Eliëns.  Principles of Object-Oriented Software Development , 1994 .

[11]  E. Battiston,et al.  Class orientation and inheritance in modular algebraic nets , 1993, Proceedings of IEEE Systems Man and Cybernetics Conference - SMC.

[12]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[13]  L. Petrucci,et al.  Modular State Space Analysis of Coloured Petri Nets , 1997 .

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

[15]  Holger Giese,et al.  Modeling Distributed Software Systems with Object Coordination Nets , 1998, PDSE.

[16]  Michal Young,et al.  Compositional reachability analysis using process algebra , 1991, TAV4.

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

[18]  Doo-Hwan Bae,et al.  Towards Reusable Colored Petri Nets , 1998, PDSE.