Abstract Node Method for Integration of Object Oriented Design with Colored Petri Nets

Object oriented methodology lacks the rigor to verify and validate the designed system. Petri nets provide formal graphical representation, incorporate concurrency, and parallelism. In colored Petri nets, objects and object attributes can be modeled with data structures. The hierarchical structure of colored Petri nets 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 colored Petri nets at the verification and validation level in software system development. This paper presents a technique to transform an object oriented design into hierarchical colored Petri nets model with abstract node approach. An example of ATM is presented to illustrate the abstract node method