NetCASE -- a Petri Net based Method for Database Application Design and Generation

formalisation

[1]  Dennis McLeod,et al.  Database description with SDM: a semantic database model , 1981, TODS.

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

[3]  Martin Gogolla,et al.  Conceptual modelling of database applications using extended ER model , 1992, Data Knowl. Eng..

[4]  E. F. Codd,et al.  A Relational Model for Large Shared Data Banks , 1970 .

[5]  Jean-Marc Nerson,et al.  Object-Oriented Analysis and Design , 1992, TOOLS.

[6]  Gunter Saake.  Descriptive Specification of Database Object Behaviour , 1991, Data Knowl. Eng..

[7]  Ulrich Frank,et al.  An object-oriented methodology for analyzing, designing, and prototyping office procedures , 1994, 1994 Proceedings of the Twenty-Seventh Hawaii International Conference on System Sciences.

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

[9]  R. G. G. Cattell,et al.  The Object Database Standard: ODMG-93 , 1993 .

[10]  Ivar Jacobson,et al.  Object-Oriented Software Engineering , 1991, TOOLS.

[11]  D. A Jardine,et al.  Concepts and terminology for the conceptual schema and the information base , 1984 .

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

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

[14]  David W. Shipman.  The functional data model and the data language DAPLEX , 1979, SIGMOD '79.

[15]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[16]  R. Schultz,et al.  The application of Petri-nets in object-oriented enterprise simulations , 1993, [1993] Proceedings of the Twenty-sixth Hawaii International Conference on System Sciences.

[17]  D. L. Childs,et al.  Extended Set Theory , 1977, VLDB.

[18]  Andreas L. Opdahl,et al.  A Taxonomy for Real-World Modelling Concepts , 1994, Inf. Syst..

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

[20]  Randall B. Smith,et al.  Getting Close to Objects: Object-Focused Programming Environments , 1995 .

[21]  John Mylopoulos,et al.  A language facility for designing database-intensive applications , 1989 .

[22]  NET CASE: Towards a Petri Net Based Technique for the Development of Expert/Database Systems , 1994 .

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

[24]  Carlos Alberto Heuser,et al.  Towards a complete conceptual model: Petri nets and entity-relationship diagrams , 1993, Inf. Syst..

[25]  Edward Yourdon,et al.  Modern structured analysis , 1989 .

[26]  Hartmann J. Genrich,et al.  Predicate/Transition Nets , 1986, Advances in Petri Nets.