Control Properties in Object-Oriented Specifications

Verification and validation are becoming the most important activities in software engineering because of the stronger need to ensure and enhance quality. The system designers need to ensure the conformance of models with the functionalities of a target system and the correctness, safeness and reliabilityof its operating cycles. Manyformal methods have been promoted to support such tasks and Petri nets formalism seems to be one of the most relevant one to evaluate control properties. But it lacks of structuration facilities to allow to handle large scale systems. The aim of this paper is to show that, for some guidelines, Petri nets can be integrated in usual object-oriented software methodologies in order to evaluate such properties. Hence, one can profit from contributions of both object and nets to handle qualityin systems in a more satisfactory way.

[1]  Oscar Nierstrasz,et al.  Regular types for active objects , 1993, OOPSLA '93.

[2]  Cd Keen,et al.  An Open Software Engineering Environment Based on Object Petri Nets , 1995 .

[3]  Eugene Miya,et al.  On "Software engineering" , 1985, SOEN.

[4]  Christophe Sibertin-Blanc,et al.  Cooperative Nets , 1994, Application and Theory of Petri Nets.

[5]  Grzegorz Rozenberg,et al.  Advances in Petri Nets 1988 , 1987, Lecture Notes in Computer Science.

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

[7]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[8]  Fabrice Kordon,et al.  A multi formalisms prototyping approach from formal description to implementation of distributed systems , 1996, Proceedings Seventh IEEE International Workshop on Rapid System Prototyping. Shortening the Path from Specification to Prototype.

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

[10]  Gerlinde Schreiber,et al.  Functional Equivalences of Petri Nets , 1995, Application and Theory of Petri Nets.

[11]  P. Estraillier,et al.  Formal Specification and Design of Distributed Systems , 1997 .

[12]  Bernd Baumgarten,et al.  On Internal and External Characterizations of PT- net Building Block Behaviors , 1988, European Workshop on Applications and Theory of Petri Nets.

[13]  Walter Vogler,et al.  Modular Construction and Partial Order Semantics of Petri Nets , 1992, Lecture Notes in Computer Science.

[14]  Antti Valmari,et al.  Compositional Analysis with Place-Bordered Subnets , 1994, Application and Theory of Petri Nets.

[15]  Christophe Sibertin-Blanc.  A Client-Server Protocol for the Composition of Petri Nets , 1993, Application and Theory of Petri Nets.

[16]  Roger S. Pressman,et al.  Software engineering (3rd ed.): a practitioner's approach , 1992 .

[17]  Tadao Murata,et al.  Hierarchical Reachability Graph of Bounded Petri Nets for Concurrent-Software Analysis , 1994, IEEE Trans. Software Eng..

[18]  Barry W. Boehm,et al.  Software Engineering Economics , 1993, IEEE Transactions on Software Engineering.

[19]  Giorgio Bruno,et al.  CAB: an Environment for Developing Concurrent Application , 1995, Application and Theory of Petri Nets.

[20]  Satoshi Matsuoka,et al.  Analysis of inheritance anomaly in object-oriented concurrent programming languages , 1993 .

[21]  Charles Lakos,et al.  From Coloured Petri Nets to Object Petri Nets , 1995, Application and Theory of Petri Nets.

[22]  Franz Puntigam,et al.  Coordination Requirements Expressed in Types for Active Objects , 1997, ECOOP.

[23]  Pierre Collette,et al.  Application of the Composition Principle to Unity-like Specifications , 1993, TAPSOFT.

[24]  Jin Sa,et al.  Software process in a concurrent, formally-based framework , 1996, 1996 IEEE International Conference on Systems, Man and Cybernetics. Information Intelligence and Systems (Cat. No.96CH35929).

[25]  Stephen J. Mellor,et al.  ...at Execution and Translation , 1994, J. Object Oriented Program..

[26]  Kurt Jensen.  Coloured Petri nets: A high level language for system design and analysis , 1989, Applications and Theory of Petri Nets.