|
Abstract: |
Object Oriented Methodology is a well-established technique for structured software development. However, in concurrent systems, the main benefits of Object Oriented Design, i.e. inheritance and encapsulation are lost due to disagreement in inheritance specification and the synchronization constraints of concurrent operations that is known as Inheritance Anomaly. Inheritance Anomaly requires redefinition of inherited methods in order to maintain integrity among concurrent objects.
In order to verify the designed system, formal mathematical and executable model Petri Nets can be used. Petri Nets provide graphical representation, incorporate concurrency and parallelism. In Colored Petri Nets, objects and object attributes can be modeled with the token colors. The hierarchical structure of Colored Petri Nets is useful in representing Class Inheritance and to describe dynamics of objects.
Hence, 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 of the software system development. Our thesis studies the Inheritance Anomaly in Concurrent Object Oriented Systems and provides a modeling technique to verify and validate (V&V) the Designed Object Oriented System with the Abstract Node approach in Colored Petri Nets.
|
