Animation Support for a Conceptual Modelling Language

The first phase in developing information systems is often called conceptual modelling phase. The model constructed is the first formal document describing the desired system. The conceptual model must deal with structural and behavioural aspects of the world. The complexity of such a model often prevents a detailed understanding by the later users. One way to estimate if (s)he really gets what (s)he wants are prototype systems constructed by conventional programming. We propose a way to construct prototypes from formal specifications by means of transformation into a kernel language that can be executed in a suitable distributed runtime environment. We introduce the modelling language, the basic execution mechanism, and the basic architecture of the runtime system.

[1]  Martin Gogolla,et al.  Towards a semantic view of an extended entity-relationship model , 1991, TODS.

[2]  Gunter Saake.  Objektorientierte Spezifikation von Informationssystemen , 1993, GI Datenbank Rundbrief.

[3]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

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

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

[6]  Peter P. Chen.  The entity-relationship model: toward a unified view of data , 1975, VLDB '75.

[7]  John Mylopoulos,et al.  A language facility for designing interactive database-intensive applications , 1978, SIGMOD '78.

[8]  Won Kim,et al.  Object-Oriented Concepts, Databases, and Applications , 1989 .

[9]  Udo W. Lipeck,et al.  Transformation of Dynamic Integrity Constraints into Transaction Specifications , 1990, Theor. Comput. Sci..

[10]  C. A. R. Hoare,et al.  Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.

[11]  Robin Milner,et al.  Operational and Algebraic Semantics of Concurrent Processes , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[12]  Gunter Saake,et al.  Formal Specification of Object Systems , 1991, TAPSOFT, Vol.2.

[13]  Michael Schrefl,et al.  Object/behavior diagrams , 1991, [1991] Proceedings. Seventh International Conference on Data Engineering.

[14]  Joan Peckham,et al.  Semantic data models , 1988, CSUR.

[15]  John Mylopoulos,et al.  A language facility for designing database-intensive applications , 1980, TODS.

[16]  Gunter Saake,et al.  Monitoring Temporal Permissions using Partially Evaluated Transition Graphs , 1992, FMLDO.

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

[18]  Gunter Saake,et al.  Aggregation in a Behaviour Oriented Object Model , 1992, ECOOP.

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

[20]  Dennis de Champeaux,et al.  A comparative study of object-oriented analysis methods , 1992 .

[21]  Jan van Leeuwen,et al.  Formal models and semantics , 1990 .

[22]  Cristina Sernadas,et al.  Object-Oriented Specification of Databases: An Algebraic Approach , 1987, VLDB.

[23]  Martin Wirsing,et al.  Algebraic Specification , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[24]  Cliff B. Jones,et al.  Specifications are not (necessarily) executable , 1989 .

[25]  Roelf J. Wieringa,et al.  A conceptual model specification language (CMSL Version 2) , 1992 .

[26]  J. Van Leeuwen,et al.  Handbook of theoretical computer science - Part A: Algorithms and complexity; Part B: Formal models and semantics , 1990 .

[27]  Gunter Saake,et al.  Proof-Theoretic Semantics of Object-Oriented Specification Constructs , 1990, DS-4.