Abstract
The conceptual model is a high-level description of the functionality of a software system usually notated in a logic-based formalism. We discuss the special properties of descriptions of database applications using an appropriate conceptual formalism. A multi-layered approach for conceptual modeling of database applications is discussed together with first ideas on a design methodology using this approach. The specification of values, persistent database objects, temporal object evolution, update operations and arbitrary application processes is separated into different specification layers. Special attention is paid to problems of consistency checking for conceptual models and object-oriented modularization of design documents.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Atkinson, M., Bancilhon, F., DeWitt, D., Dittrich, K., Maier, D., Zdonik, S.: The Object-Oriented Database System Manifesto. Proc. First Int. Conf. on Deductive and Object-oriented Databases DOOD'89 (W.Kim, J.-M.Nicolas, S.Nishio, eds.). Kyoto, 1989, 40–57.
Abiteboul, S., Hull, R.: IFO — A Formal Semantic Database Model. ACM Transactions on Database Systems. Vol. 12, No. 4, 1987, 525–565.
ACM Transactions on Office Information Systems. Special Issue on Object-Oriented Systems. Vol. 5, No. 1, 1987.
Batory, D.S, Kim, W.: Modeling Concepts for VLSI CAD Objects. ACM Transactions on Database Systems. 10(3), 1985, 322–346.
Beeri, C.: Formal Models for Object Oriented Databases. Proc. First Int. Conf. on Deductive and Object-oriented Databases DOOD'89 (W.Kim, J.-M.Nicolas, S.Nishio, eds.). Kyoto, 1989, 370–395.
Brodie, M.L., Mylopoulos, J., Schmidt, J.W.: On Conceptual Modelling — Perspectives from Artificial Intelligence, Databases, and Programming Languages. Springer 1984.
Carmo, J., Sernadas, A.: A Temporal Logic Framework for a Layered Approach to Systems Specification and Verification. Proc. IFIP WG 8.1 Conf. on “Temporal Aspects in Information Systems”. Sophia-Antipolis 1987, 31–46.
de Castilho, J.M.V., Casanova, M.A., Furtado, A.L.: A Temporal Framework for Database Specification. Proc. Int. Conf. on Very Large Databases. Mexico City 1982, 280–291.
Chen, P.P.: The Entity-Relationship Model — Towards a Unified View of Data. ACM Transactions on Database Systems. Vol. 1, No. 1, 1976, 9–36.
Dayal, U., Dittrich, K. (eds.): Proc. Int. Workshop on Object-Oriented Database Systems. IEEE Computer Society, Los Angeles 1986.
Dittrich, K., Gotthard, W., Lockemann, P.C.: Complex Entities for Engineering Applications. Proc. 5th Int. Conf. on Entity Relationship Approach. North-Holland, Amsterdam 1986.
Dittrich, K.(ed.): Advances in Object-Oriented Databases. LNCS 334, Springer-Verlag, Berlin 1988.
Ehrich, H.-D., Drosten, K., Gogolla, M.: Towards an Algebraic Semantics for Database Specification. Proc. 2nd IFIP Work. Conf. on Database Semantics “Data and Knowledge” (DS-2), Albufeira 1986 (R.A. Meersmann, A. Sernadas, eds.). North-Holland, Amsterdam 1988, 119–135.
Engels, G., Gogolla, M., Hohenstein, U., Hülsmann, K., Löhr-Richter, P., Saake, G., Ehrich, H.-D.: Conceptual Modelling of Database Applications Using an Extended Entity-Relationship Model. To appear as: Informatik-Bericht, Techn. Univ. Braunschweig, 1990.
Engels, G., Hohenstein, U., Hülsmann, K., Löhr-Richter, P., Ehrich, H.-D.: CADDY: Computer Aided Design of Non-Standard Databases. To appear in: Proc. 1st Int. Conf. on System Development Environments and Factories. Berlin 1989.
Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 1. Equations and Initial Semantics. Springer-Verlag, Berlin 1985.
Ehrich, H.-D., Sernadas, A.: Algebraic View of Implementing Objects over Objects. Proc. REX Workshop Stepwise Refinements of Distributed Systems: Models, Formalisms, Correctness (W.deRoever, ed.). Springer-Verlag 1990.
Eder, J., Kappel, G., Tjoa, A.M., Wagner, R.R.: BIER: The Behaviour Integrated Entity Relationship Approach. Proc. of the 5th Int. Conf. on Entity-Relationship Approach (S.Spaccapietra, ed.). Dijon 1986, 147–166.
Ehrich, H.-D., Lipeck, U.W., Gogolla, M.: Specification, Semantics and Enforcement of Dynamic Database Constraints. Proc. Int. Conf. on Very Large Databases. Singapore 1984, 301–308.
Elmasri, R., Navathe, S.B.: Fundamentals of Database Systems. Benjamin/Cummings Publ., Redwood City 1989.
Ehrich, H.-D., Sernadas, A., Sernadas, C.: From Data Types to Object Types. J. Inf. Process. Cybern. EIK. Vol. 26, No. 1/2, 1990, 33–48.
Elmasri, R.A., Weeldreyer, J., Hevner, A.: The Category Concept: An Extension to the Entity-Relationship Model. Data & Knowledge Engineering, Vol. 1, 1985, 75–116.
Fiadeiro, J., Sernadas, A.: Specification and Verification of Database Dynamics. Acta Informatica. Vol. 25, Fasc. 6, 1988, 625–661.
Fiadeiro, J., Sernadas, C., Maibaum, T., Saake, G.: Proof-Theoretic Semantics of Object Oriented Specification Constructs. To appear in: Proc. IFIP TC2 Work. Conf. on Database Semantics: Object Oriented Databases (DS-4). Windermere (UK), July 1990.
Furtado, A.L., Neuhold, E.J.: Formal Techniques for Data Base Design. Springer-Verlag, Berlin 1986.
Hammer, M., McLeod, D.: Database Description with SDM: A Semantic Data Model. ACM Transactions on Database Systems. Vol. 6, No. 3, 1981, 351–386.
Hohenstein, U., Neugebauer, L., Saake, G., Ehrich, H.-D.: Three Level Specification of Databases Using an Extended Entity Relationship Model. GI/ÖGI/SI-Fachtagung “Entwurf von Informationssystemen, Informationsbedarfsermittlung und-analyse”, Linz (R.R. Wagner, R. Traunmüller, H.C. Mayr, eds.). Informatik-Fachbericht Bd. 143, Springer-Verlag, Berlin 1987, 58–88.
Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs 1985.
Hohenstein, U., Gogolla, M.: Towards a Semantic View of an Extended Entity-Relationship Model. Informatik-Bericht Nr. 88-02, Techn. Univ. Braunschweig 1988.
Hull, R., King, R.: Semantic Database Modelling: Survey, Applications, and Research Issues. ACM Computing Surveys. Vol. 19, No. 3, 1987, 201–260.
Hülsmann, K., Saake, G.: Theoretical Foundations of Handling Large Substitution Sets in Temporal Integrity Monitoring. Informatik-Bericht Nr. 89-04, Techn. Universität Braunschweig 1989.
Hülsmann, K., Saake, G.: Representation of the Historical Information Necessary for Temporal Integrity Monitoring. Proc. Int. Conf. on Extending Database Technology EDBT'90 (F.Bancilhon, C.Thanos, D.Tsichritzis, eds.). LNCS 416, Springer-Verlag, Berlin 1990, 378–392.
Karl, S., Lockemann, P.C.: Design of Engineering Databases: a Case for More Varied Semantic Modelling Concepts. Information Systems. Vol. 13, No. 4, 1988, 335–358.
Khoshafian, S., Copeland, G.P.: Object Identity. ACM Proc. Conf. on Object-Oriented Programming Systems, Languages, and Applications. Portland, Sept.86. Reprint in: [ZdM89], 37–46.
Kim, W., Lochovsky, F.H.(eds.): Object-Oriented Concepts, Databases, and Applications. Addison-Wesley Publ., Reading 1989.
Khosla, S., Maibaum, T.S.E., Sadler, M.: Database Specification. Proc. IFIP Conf. on Datbase Semantics (DS-1), 1985 (T.B. Steel, R. Meersmann, eds.). North Holland, Amsterdam 1986, 141–158.
Lausen, G.: Modeling and Analysis of the Behavior of Information Systems. IEEE Transactions on Software Engineering. Vo. 14, No. 11, 1988, 1610–1620.
Lipeck, U.W.: Transformation of Dynamic Integrity Constraints into Transaction Specifications. Proc. 2nd Int. Conf. on Database Theory 1988 (M. Gyssen et al, eds.). LNCS 326, Springer-Verlag, Berlin 1988. 322–337.
Lipeck, U.W.: Zur dynamischen Integrität von Datenbanken: Grundlagen der Spezifikation und Überwachung (Dynamic Integrity of Databases: Fundamentals of Specification and Monitoring). Informatik-Fachbericht IFB 209, Springer-Verlag, Berlin 1989.
Lipeck, U.W., Saake, G.: Monitoring Dynamic Integrity Constraints Based on Temporal Logic. Information Systems. Vol. 12, No. 3, 1987, 255–269.
Lipeck, U.W., Saake, G.: Entwurf von Systemverhalten durch Spezifikation und Transformation temporaler Anforderungen (Design of System Behaviour by Specification and Transformation of Temporal Requirements). Proc. 18. GI-Jahrestagung II, Hamburg (R. Valk, ed.). Informatik-Fachbericht IFB 188, Springer-Verlag, Berlin 1988, 449–463.
Reisig, W.: Petri Nets. Springer-Verlag, Berlin 1985.
Richter, G., Durchholz, R.: IML-Inscribed Petri-Nets. Proc. IFIP Work. Conf. on Comparative Review of Information Systems Design Methodologies (T.W. Olle, A.A. Verijn-Stuart, eds.). North-Holland, Amsterdam 1982, 335–368.
Saake, G.: Spezifikation, Semantik und Überwachung von Objektlebensläufen in Datenbanken (Specification, Semantics and Monitoring of Object Life Cycles in Databases). Doctoral Thesis. Informatik-Skript Nr. 20, Techn. Universität Braunschweig 1988.
Saake, G.: Descriptive Specification of Database Object Behaviour. Accepted for Data & Knowledge Engineering, Elsevier 1990.
Saake, G., Lipeck, U.W.: Using Finite-Linear Temporal Logic for Specifying Database Dynamics. Proc. CSL'88 2nd Workshop Computer Science Logic, Duisburg 1988 (E.Börger, H.Kleine Büning, M.M.Richter, eds.). LNCS 385, Springer-Verlag 1989, 288–300.
Sernadas, A.: Temporal Aspects of Logical Procedure Definition. Information Systems. Vol. 5, 1980, 167–187.
Sernadas, C., Saake, G.: Formal Semantics of Object-Oriented Language Constructs for Conceptual Modeling. ISCORE Technical Report, INESC, Lisbon 1989, submitted for publication.
Schiel, U., Furtado, A.L., Neuhold, E.J., Casanova, M.A.: Towards Multi-Level and Modular Conceptual Schema Specifications. Information Systems. Vol. 9, 1984, 43–57.
Sernadas, A., Fiadeiro, J., Sernadas, C., Ehrich, H.-D.: The Basic Building Block of Information Systems. Proc. Information System Concepts: An In-Depth Analysis (E. Falkenberg, P. Lindgreen, eds.). North-Holland, Amsterdam 1989, 225–246.
Sernadas, A., Sernadas, C., Ehrich, H.-D.: Object-Oriented Specification of Databases: An Algebraic Approach. Proc. 13th VLDB Int. Conf. on Very Large Databases. Brighton 1987 (P.M. Stocker, W. Kent, eds.). Morgan Kaufmann Publ., Los Altos 1987, 107–116.
Wieringa, R.J.: Algebraic Foundations for Dynamic Conceptual Models. Ph.D. Thesis, Vrije Universiteit, Amsterdam 1990.
Wieringa, R.J., Meyer, J.-J., Weigand, H.: Specifying Dynamic and Deontic Integrity Constraints. Data & Knowledge Engineering. Vol. 4, No. 2, 1989, 157–190.
Zdonik, S.B., Maier, D. (eds.): Readings in Object-Oriented Database Systems. Morgan Kaufmann Publ., San Mateo 1989.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Saake, G. (1991). Conceptual modeling of database applications. In: Karagiannis, D. (eds) Information Systems and Artificial Intelligence: Integration Aspects. IS/KI 1990. Lecture Notes in Computer Science, vol 474. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-53557-8_28
Download citation
DOI: https://doi.org/10.1007/3-540-53557-8_28
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-53557-7
Online ISBN: 978-3-540-46809-7
eBook Packages: Springer Book Archive