Seamless Object-Oriented Software Development on a Formal Base

Object-oriented development of complex software systems is widely recognized as state of the art within the industry as well as the scientific community. What is less commonly recognized (especially in the industry) is that object-orientation itself is not properly defined and neither are popular notations like UML and others. Existing proposals for the formally based development of object-oriented systems are for different reasons often not usable for complex and/or concurrent systems. In addition, the semantics of object-oriented concepts within such notations only rarely match common programming language implementations. This mismatch most likely leads to a costly redesign of a given model during implementation. To overcome these problems approaches for a seamless object-oriented software development on a formal base are needed. This article surveys several proposals for the formally based development of object-oriented systems based on Petri-Nets. Subsequently, a new approach in this area is introduced which supports multiperspective modeling of concurrent object-oriented systems on arbitrary abstraction levels and also allows automatic generation of executable Java code.

[1]  Vladimír Janousek,et al.  PNtalk - a Computerized Tool for Object Oriented Petri Nets Modelling , 1997, EUROCAST.

[2]  Markus A. Stulle.  Ereignisdiskrete Zustandsrekonstruktion auf der Grundlage objektorientierter Petri-Netz-Modelle am Beispiel flexibler Fertigungssysteme , 1998 .

[3]  Pierre VerbaetenDept.  Pn-tox: a Paradigm and Development Environment for Object Concurrency Speciications , 1995 .

[4]  Giancarlo Mauri,et al.  OBJSA Nets: a Class of High- level Nets Having Objects as Domains , 1987, European Workshop on Applications and Theory of Petri Nets.

[5]  Thomas Marx.  NetCASE - Softwareentwurf und Workflow-Modellierung mit Petri-Netzen , 1998, Berichte aus der Informatik.

[6]  Stephan Philippi.  Synthese von Petri-Netzen und objektorientierten Konzepten , 1999 .

[7]  J. van Katwijk,et al.  VDM++, a formal specification language for object-oriented designs , 1992, CompEuro 1992 Proceedings Computer Systems and Software Engineering.

[8]  Peter Huber,et al.  Hierarchies in coloured Petri nets , 1991, Applications and Theory of Petri Nets.

[9]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[10]  Sarah L. English.  Coloured Petri Nets for object-oriented modelling , 1993 .

[11]  Jan van den Bos,et al.  PROCOL - A Parallel Object Language with Protocols , 1989, OOPSLA.

[12]  Serge Demeyer,et al.  Object-Oriented Technology ECOOP’99 Workshop Reader , 1999, Lecture Notes in Computer Science.

[13]  Wil M. P. van der Aalst,et al.  Life-Cycle Inheritance: A Petri-Net-Based Approach , 1997, ICATPN.

[14]  Rainer Burkhardt.  Modellierung dynamischer Aspekte mit dem Objekt-Prozess-Modell , 1994 .

[15]  Holger Giese,et al.  Modeling Distributed Software Systems with Object Coordination Nets , 1998, PDSE.

[16]  Kurt Lautenbach,et al.  System Modelling with High-Level Petri Nets , 1981, Theor. Comput. Sci..

[17]  Ken Arnold,et al.  The Java Programming Language , 1996 .

[18]  Joseph A. Goguen,et al.  OOZE: An Object Oriented Z Environment , 1991, ECOOP.

[19]  K. Lano,et al.  A comparative description of object-oriented specification languages , 1994 .

[20]  Giorgio Bruno,et al.  Petri Net-Based Object-Oriented Modeling of Distributed Systems , 1986, OOPSLA.

[21]  C. Petri.  Kommunikation mit Automaten , 1962 .

[22]  Pierre America,et al.  Inheritance and Subtyping in a Parallel Object-Oriented Language , 1987, ECOOP.

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

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

[25]  K Lano,et al.  Making Uml Precise , 1998 .

[26]  簡聰富,et al.  物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .

[27]  K. M. van Hee,et al.  Integration of a data model and high-level Petri nets , 1991 .

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