Formal Deadlock Elimination in an Object Oriented Conceptual Schema

Abstract Object oriented models model structural and behavioural aspects of objects in the Universe of Discourse. As the dynamic aspects of objects include parallelism and synchronisation of object life cycles, conceptual schemes must be verified for problematic behaviour like deadlock. In this paper we will present fragments of a method for object oriented analysis and the process algebra that allows to formally verify a conceptual schema build according to this method for deadlock behaviour.

[1]  Derek Coleman,et al.  Coherent models for object-oriented analysis , 1991, OOPSLA '91.

[2]  Jeffrey D. Ullman,et al.  Formal languages and their relation to automata , 1969, Addison-Wesley series in computer science and information processing.

[3]  Grady Booch,et al.  Object-Oriented Design with Applications , 1990 .

[4]  Monique Snoeck,et al.  A formalism for object behaviour , 1993 .

[5]  Grady Booch,et al.  Object-oriented development , 1986, IEEE Transactions on Software Engineering.

[6]  Neil Lang.  Schlaer-Mellor object-oriented analysis rules , 1993, SOEN.

[7]  Rob J. van Glabbeek.  Notes on the Methodology of CCS and CSP , 1997, Theor. Comput. Sci..

[8]  Monique Snoeck,et al.  On Generalisation I Specialisation Hierarchies in M.E.R.O.DE. Object-Oriented Business Modeling , 1992 .

[9]  Alfred V. Aho,et al.  The Theory of Parsing, Translation, and Compiling , 1972 .

[10]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[11]  Roel Wieringa,et al.  Steps towards a method for the formal modeling of dynamic objects , 1991, Data Knowl. Eng..

[12]  Stephen J. Mellor,et al.  Object lifecycles: modeling the world in states , 1992 .

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

[14]  Stephen J. Mellor,et al.  Object Oriented Systems Analysis: Modeling the World in Data , 1988 .

[15]  David Harel,et al.  On visual formalisms , 1988, CACM.

[16]  Oscar Nierstrasz,et al.  Object-Based Concurrent Computing , 1991, Lecture Notes in Computer Science.

[17]  Gill Smith,et al.  Object-oriented analysis , 1988, WADAS '88.

[18]  Laurian M. Chirica,et al.  The entity-relationship model: toward a unified view of data , 1975, SIGF.

[19]  Monique Snoeck,et al.  Formele specificaties: de basis voor kwaliteit , 1995 .

[20]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[21]  Derek Coleman,et al.  Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design , 1992, IEEE Trans. Software Eng..

[22]  Monique Snoeck,et al.  On generalisation / specialisation hierarchies in MERODE object-oriented business modeling , 1992 .

[23]  Robert M. Curtice,et al.  The entity-relationship approach to logical database design , 1991 .

[24]  Michael Schrefl,et al.  USING AN OBJECT-ORIENTED DIAGRAM TECHNIQUE FOR THE DESIGN OF INFORMATION SYSTEMS , 1991 .

[25]  Rebecca Wirfs-Brock,et al.  Designing object-oriented software , 1990 .

[26]  G. Dedene,et al.  M.E.R.O.DE.: a model-driven entity-relationship object-oriented Development method , 1994, SOEN.

[27]  David W. Embley,et al.  Object-oriented systems analysis - a model-driven approach , 1991, Yourdon Press Computing series.