System modelling using Object-Oriented Pr / T-Nets

Considering two popular system modelling frameworks, namely Petri Nets and object-oriented modelling, we can find an interesting relation between them. Petri Nets on the one hand are wellknown for their capabilities specifying system dynamics in an easy but formal way, whereas the main criticism raised against Petri Nets includes complexity and monolithical appearance of nets representing real-world systems. On the other hand object-oriented modelling offers good means for system structuring by defining interfaces for interacting modules. What most popular object-oriented modelling frameworks lack is formal specification of system dynamics, using e.g. natural language or state-transition diagrams instead. From this point of view Petri Nets and object-oriented concepts perfectly complement each other, as advantages of one modelling framework are well-known disadvantages of the other and vice versa. This paper introduces Object-Oriented Pr/T-Nets (OOPr/T-Nets), a new approach for the synthesis of object-oriented concepts and Petri Nets, aiming to overcome the drawbacks of already existing proposals.

[1]  Jürgen Ebert,et al.  A Generic System to Support Multi-Level Understanding of Heterogeneous Software , 1997 .

[2]  Frieder Stolzenburg,et al.  Membership-Constraints and Complexity in Logic Programming with Sets , 1996, FroCoS.

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

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

[5]  Martin Volk,et al.  Constraint Logic Programming for Computational Linguistics , 1996, LACL.

[6]  Jürgen Dix,et al.  Knowledge Representation with Logic Programs , 1997, LPKR.

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

[8]  F. Stolzenburg,et al.  Analyzing Rule Sets for the Calculation of Banking Fees by a Theorem Prover with Constraints , 1998 .

[9]  Peter Baumgartner,et al.  Calculi for Disjunctive Logic Programming , 1997, ILPS.

[10]  Angelika Franzke,et al.  Recommendations for an Improvement of GDMO Final Report of the GDMO Project March 1997 , 1997 .

[11]  Lutz Priese,et al.  Algebraic Characterization of Petri Net Pomset Semantics , 1997, CONCUR.

[12]  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.

[13]  Jürgen Dix,et al.  Reducing Disjunctive to Non-Disjunctive Semantics by Shift-Operations , 1996, Fundam. Informaticae.

[14]  U. Furbach.  Re nements for Restart Model Elimination , 1996 .

[15]  Gregor Engels,et al.  Specialization of Object Life Cycle Definitions , 1997 .

[16]  Gottfried Vossen,et al.  I-Serializability: Generalized Correctness for Transaction-Based Environments , 1997, Inf. Process. Lett..

[17]  Harro Wimmel.  Fachberichte Informatik on Some Compositional Petri Net Semantics Universitt at Koblenz{landau on Some Compositional Petri Net Semantics , 1995 .

[18]  Ilkka Niemelä.  Implementing Circumscription Using a Tableau Method , 1996, ECAI.

[19]  Stephan Philippi,et al.  Integration of Integrity Constraints into Object-Oriented Database Schema according to ODMG-93 , 1995 .

[20]  Chandrabose Aravindan.  An Abductive Framework for Negation in Disjunctive Logic Programming , 1996, JELIA.

[21]  Lutz Priese,et al.  Abstract Fairness and Semantics , 1997, Theor. Comput. Sci..

[22]  Chandrabose Aravindan.  DisLoP: A Disjunctive Logic Programming System Based on PROTEIN Theorem Prover , 1996, KI.

[23]  J. Ebert,et al.  Querying Graph Structures with GQL , 1996 .

[24]  Ivar Jacobson,et al.  Object-oriented software engineering - a use case driven approach , 1993, TOOLS.

[25]  David J. DeWitt,et al.  The Object-Oriented Database System Manifesto , 1994, Building an Object-Oriented Database System, The Story of O2.

[26]  Gerald W. Both,et al.  Object-oriented analysis and design with applications , 1994 .

[27]  Michael Kifer,et al.  F-logic: a higher-order language for reasoning about objects, inheritance, and scheme , 1989, SIGMOD '89.

[28]  Jürgen Dix,et al.  Towards Well-Behaved Semantics Suitable for Aggregation , 1997 .

[29]  Horst Reichel.  Entwicklung sicherer Software (Fachgruppe 0.1.7 Semantik und Spezifikationen und Fachgruppe 2.1.4 Alternative Konzepte für Sprachen und Rechner) , 1993 .

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

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

[32]  Jürgen Ebert,et al.  Graph Based Modeling and Implementation with EER / GRAL , 1996, ER.

[33]  Jürgen Dix,et al.  A Framework to Incorporate Non-Monotonic Reasoning Into Constraint Logic Programming , 1998, J. Log. Program..

[34]  Carlo Simon,et al.  The Petri Net Tools Neptun and Poseidon , 1997 .

[35]  Jürgen Dix,et al.  DisLoP: A Research Project on Disjunctive Logic Programming , 1997, AI Commun..

[36]  Angelika Franzke.  GRAL 2.0: A Reference Manual , 1997 .

[37]  Christoph Steigner,et al.  Modelling Timeouts in Protocol Design , 1995 .

[38]  Peter Baumgartner,et al.  Tableaux for Diagnosis Applications , 1997, TABLEAUX.

[39]  Peter Baumgartner,et al.  Model Elimination, Logic Programming and Computing Answers , 1995, IJCAI.

[40]  Jürgen Dix,et al.  Non-monotonic Extensions of Logic Programming: Theory, Implementation and Applications , 1996 .

[41]  Luís Moniz Pereira,et al.  Prolegomena to Logic Programming for Non-monotonic Reasoning , 1996, NMELP.

[42]  Jürgen Ebert,et al.  Specifying Object Oriented Systems Using Gdmo, Zest and Sdl'92 Specifying Object Oriented Systems Using Gdmo, Zest and Sdl'92 Reports of the Gdmo Project Specifying Object Oriented Systems Using Gdmo, Zest and Sdl'92 , 1997 .

[43]  Stefan Brass,et al.  D-wfs: a Connuent Calculus and an Equivalent Characterization , 1995 .

[44]  Chandrabose Aravindan,et al.  A Rational and Efficient Algorithm for View Deletion in Databases , 1997, ILPS.

[45]  Ilkka Niemelä,et al.  Efficient Implementation of the Well-founded and Stable Model Semantics , 1996, JICSLP.

[46]  Jürgen Ebert,et al.  Meta-CASE in Practice: a Case for KOGGE , 1997, CAiSE.

[47]  Lutz Priese,et al.  A Uniform Approach to True-Concurrency and Interleaving Semantics for Petri Nets , 1998, Theor. Comput. Sci..

[48]  Stephan Philippi,et al.  DICE: Declarative Integrity Constraint Embedding Into the Object Database Standard ODMG-93 , 1997, Data Knowl. Eng..

[49]  Frieder Stolzenburg,et al.  A Flexible System for Constraint Disjunctive Logic Programming , 1998, Künstliche Intell..

[50]  Thomas Marx,et al.  NetCASE -- a Petri Net based Method for Database Application Design and Generation , 1995 .

[51]  Wenjin Lu.  Minimal Model Generation Based on E-hyper Tableaux , 1997, KI.

[52]  L Priese,et al.  Finite H-systems with 3 test tubes are not predictable. , 1998, Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing.

[53]  Ilkka Niemelä.  A Tableau Calculus for Minimal Model Reasoning , 1996, TABLEAUX.

[54]  Jürgen Dix,et al.  Characterizations and Implementation of Static Semantics of Disjunctive Programs , 1996 .