Analysis Software with an Object-Oriented Petri Net Model

Petri net is used widely to analyze and model various systems formally. Recently, Many Petri nets mania devote their efforts to enhancing and extending the expressive Power of Petri nets. One such effort is to extend Petri nets with object-oriented concepts. An object-oriented paradigm provides excellent concepts to model real-world problems. Object-oriented concepts allow us to build software systems easily, intuitively and Naturally. Although several high-level Petri nets with the concept of objects are suggested, These nets do not fully support the object-oriented concepts. Object Oriented Methodology lacks the rigor to verify formal validate the designed system. Petri Nets provide formal graphical representation, incorporate concurrency and parallelism. In Colored Petri Nets (CPNs), Objects and object attributes can be modeled with data structures. The hierarchical structure of (CPNs) is useful in representing Class Inheritance and to describe dynamics of objects. To check the correctness of the designed system, there is a need to integrate Object Oriented techniques at design level and use of (CPNs) at the Verification and Validation level in software system development. This paper presents a technique to transform an Object Oriented Design (OOD) into Hierarchical (CPNs) model with Object Oriented Petri Nets Model (OOPNM) approach.

[1]  Kurt Jensen.  Coloured Petri Nets , 1992, EATCS Monographs in Theoretical Computer Science.

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

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

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

[5]  Boleslaw Mikolajczak,et al.  Abstract Node Method for Integration of Object Oriented Design with Colored Petri Nets , 2006, Third International Conference on Information Technology: New Generations (ITNG'06).

[6]  Ivar Jacobson,et al.  The unified modeling language reference manual , 2010 .

[7]  Boleslaw Mikolajczak,et al.  A method of concurrent object-oriented design using high-level Petri nets , 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).

[8]  Charles Lakos,et al.  The Challenge of Object Orientation for the Analysis of Concurrent Systems , 2002, ICATPN.

[9]  Rainer Fehling,et al.  A Concept of Hierarchical Petri Nets with Building Blocks , 1991, Applications and Theory of Petri Nets.

[10]  Wilfried Brauer,et al.  A survey of behaviour and equivalence preserving refinements of Petri nets , 1991, Applications and Theory of Petri Nets.

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

[12]  Kevin Lano,et al.  Formal object-oriented development , 1995, FACIT: Formal approaches to computing and information technology.

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

[14]  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..

[15]  Janette Cardoso,et al.  Petri nets with uncertain markings , 1991, Applications and Theory of Petri Nets.

[16]  Sung Joo Park,et al.  OPNets: An object-oriented high-level Petri net model for real-time system modeling , 1993, J. Syst. Softw..

[17]  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.

[18]  Stéphane S. Somé,et al.  An Enhancement of Timed Automata generation from Timed Scenarios using Grouped States , 1996 .

[19]  Elmar Schulte-Geldermann,et al.  Principles of object-oriented software development , 2000 .

[20]  David Harel,et al.  Executable object modeling with statecharts , 1996, Proceedings of IEEE 18th International Conference on Software Engineering.

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

[22]  Ivar Jacobson,et al.  Object-oriented software engineering - a use case driven approach , 1993, TOOLS.

[23]  Rémi Bastide,et al.  Approaches in unifying Petri nets and the Object-Oriented Approach , 2007 .

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

[25]  MSc PhD Kevin Lano BSc.  Formal Object-Oriented Development , 1995, Formal Approaches to Computing and Information Technology FACIT.