Formal Description and Verification of Web Service Composition Based on OOPN
ICIC '08 Proceedings of the 4th international conference on Intelligent Computing: Advanced Intelligent Computing Theories and Applications - with Aspects of Theoretical and Methodological Issues
| Hi-index | 0.00 |
Object Oriented Methodolog 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.