A Conceptual Language for the Description and Manipulation of Complex Information Models

Conceptual data modelling techniques aim at the representation of data (structures) at a high level of abstraction. This implies that conceptual data modelling techniques should not only be capable of representing complex structures in a natural way, but also the rules (constraints) that must hold for these structures. Contemporary data modelling techniques, however, do not provide a language which, on the one hand, has a formal semantics and, on the other hand, leads to natural looking expressions. In this paper, an informal introduction to such a language (LISA-D) for the data modelling technique (PSM), is presented. PSM is a generalisation of object-role models (such as ER, NIAM and FORM).

[1]  Arthur H. M. ter Hofstede,et al.  Data Modelling in Complex Application Domains , 1992, CAiSE.

[2]  Peter Bruza,et al.  Stratified Hypermedia Structures for Information Disclosure , 1992, Comput. J..

[3]  Henderik Alex Proper,et al.  EVORM: A Conceptual Modelling Technique for Evolving Application Domains , 1994, Data Knowl. Eng..

[4]  Henderik Alex Proper,et al.  Information Disclosure in Evolving Information Systems: Taking as Shot at a Moving Target , 1995, Data Knowl. Eng..

[5]  Terry Halpin.  A Logical Analysis of Information Systems: static aspects of the data-oriented perspective , 1989 .

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

[7]  Maria E. Orlowska,et al.  Fact‐oriented modelling for data analysis , 1992, Inf. Syst. J..

[8]  W. Shipman David,et al.  The functional data model and the data language DAPLEX , 1988 .

[9]  Ramez Elmasri,et al.  The Category Concept: An Extension to the Entity-Relationship Model , 1985, Data Knowl. Eng..

[10]  Marko C. J. D. van Eekelen,et al.  CLEAN: A language for functional graph writing , 1987, FPCA.

[11]  A.H.M. ter Hofstede,et al.  Information modelling in data intensive domains , 1993 .

[12]  Gert Scheschonk.  Eine auf Petri-Netzen basierende Konstruktions-, Analyse- und (Teil-)Verifikationsmethode zur Modellierungsunterstützung bei der Entwicklung von Informationssystemen , 1984 .

[13]  G. M. Nijssen,et al.  Conceptual schema and relational database design - a fact oriented approach , 1989 .

[14]  Peter P. Chen.  The Entity-Relationship Model: Towards a unified view of Data , 1976 .

[15]  Jeffrey D. Uuman.  Principles of database and knowledge- base systems , 1989 .

[16]  Henderik Alex Proper,et al.  A theory for conceptual modelling of evolving application domains , 1994 .

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

[18]  Serge Abiteboul,et al.  IFO: a formal semantic database model , 1987, TODS.

[19]  Eckhard D. Falkenberg,et al.  Evolving Information Systems: Beyond Temporal Information Systems , 1992, DEXA.

[20]  J. J. V. R. Wintraecken,et al.  The NIAM Information Analysis Method , 1990, Springer Netherlands.

[21]  J. V. R. Wintraecken,et al.  The NIAM Information Analysis Method: Theory and Practice , 1990 .

[22]  Arthur H. M. ter Hofstede,et al.  Semantics and verification of object-role models , 1991, Inf. Syst..

[23]  Henderik Alex Proper,et al.  An Information System organized as Stratied Hypermedia , 1993 .

[24]  Gerard M. Wijers,et al.  Modelling support in information systems development , 1991 .

[25]  Arthur H. M. ter Hofstede,et al.  Formal definition of a conceptual language for the description and manipulation of information models , 1993, Inf. Syst..

[26]  Arthur H. M. ter Hofstede,et al.  Expressiveness in Conceptual Data Modelling , 1993, Data Knowl. Eng..