Skip to main content
SpringerLink
Log in

Konzeptioneller Entwurf von Objektgesellschaften

  • Conference paper
Datenbanksysteme in Büro, Technik und Wissenschaft

Part of the book series: Informatik-Fachberichte ((INFORMATIK,volume 270))

Zusammenfassung

Die konzeptionelle Modellierung des Weltausschnitts, der durch eine Datenbank oder ein Informationssystem dargestellt werden soll, ist die entscheidende Phase beim Systementwurf, da das konzeptionelle Modell die Grundlage der Implementierung ist. In diesem Papier schlagen wir die Sprache Oblog + zur objektorientierten Spezifikation von Informationssystemen vor. Oblog + ermöglicht die vollständige Darstellung des Weltausschnitts durch integrierte Beschreibung von Daten über Objekte, Manipulationen dieser Daten und der zeitlichen Entwicklung von Objekten sowie der vielfältigen Beziehungen zwischen Objekten. Die Semantik der Sprache ist definiert über einem mathematischen Objektmodell.

Abstract

The conceptual modeling of the Universe of Discourse (UoD) is the most important phase for the development of databases and information systems because the conceptual model forms the basis for system development. In this paper we introduce the Oblog +-language for object-oriented specification of information systems. Oblog + supports a complete representation of the relevant aspects of the UoD by integrated description of data about objects, of it’s manipulation, of the development of objects through time and of various relationships between objects. The semantics of the language is defined using a rigorous mathematical object model.

Die Arbeit wurde teilweise gefördert von der EG unter ESPRIT BRA WG 3023 IS-CORE (Information Systems -Correctness and REusability). Die Arbeit von Ralf Jungclaus wird von der Deutschen Forschungsgemeinschaft unter Sa 465/1–1 gefordert.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. Atkinson, M.; Bancilhon, F.; DeWitt, D.; Dittrich, K. R.; Maier, D.; Zdonik, S. B.: The Object-Oriented Database System Manifesto. In: Kim, W.; Nicolas, J.-M.; Nishio, S. (Hrsg.): Proc. Int. Conf. on Deductive and Object-Oriented Database Systems, Kyoto, Japan, Dezember 1989. S. 40–57.

    Google Scholar 

  2. Brodie, M.; Mylopoulos, J.; Schmidt, J. W.: On Conceptual Modelling — Perspectives from Artificial Intelligence, Databases, and Programming Languages. Springer-Verlag, Berlin, 1984.

    MATH  Google Scholar 

  3. Chen, P.P.: The Entity-Relationship Model — Toward a Unified View of Data. ACM Transactions on Database Systems, Band 1, Nr. 1, 1976, S. 9–36.

    Article  Google Scholar 

  4. Cohen, B.; Harwood, W. T.; Jackson, M. I.: The Specification of Complex Systems. Addison-Wesley, Reading, MA, 1986.

    Google Scholar 

  5. Coad, P.; Yourdon, E.: Object-Oriented Analysis. Yourdon Press/Prentice Hall, Englewood Cliffs, NJ, 1989.

    Google Scholar 

  6. Ehrich, H.-D.; Goguen, J. A.; Sernadas, A.: A Categorial Theory of Objects as Observed Processes. In: Proc. REX/FOOL Workshop, Noordwijkerhood (NL), 1990. Springer-Verlag, Berlin, erscheint 1990.

    Google Scholar 

  7. Ehrig, H.; Mahr, B.: Fundamentals of Algebraic Specification I: Equations and Initial Semantics. Springer-Verlag, Berlin, 1985.

    MATH  Google Scholar 

  8. Elmasri, R.; Navathe, S. B.: Fundamentals of Database Systems. Benjamin/Cummings Publ., Redwood City, CA, 1989.

    MATH  Google Scholar 

  9. Ehrich, H.-D.; Sernadas, A.: Algebraic Implementation of Objects over Objects. In: deRoever, W. (Hrsg.): Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness, Mood (NL), 1989. LNCS 394, Springer Verlag, Berlin, 1989, S. 239–266.

    Google Scholar 

  10. Ehrich, H.-D.; Sernadas, A.; Sernadas, C.: From Data Types to Object Types. Journal on Information Processing and Cybernetics EIK, Band 26, Nr. 1/2, 1990, S. 33–48.

    MATH  MathSciNet  Google Scholar 

  11. Fiadeiro, J.; Sernadas, C; Maibaum, T.; Saake, G.: Proof-Theoretic Semantics of Object-Oriented Specification Constructs. Erscheint in: Meersman, R.; Kent, W. (Hrsg.): Object-Oriented Databases: Analysis, Design and Construction (Proc. 4th IFIP WG 2.6 Working Conference DS-4), Windermere (UK), 1990. North-Holland, Amsterdam.

    Google Scholar 

  12. Goldberg, A.; Robson, D.: Smalltalk-80: The Language and Its Implementation. Addison-Wesley, Reading, MA, 1983.

    MATH  Google Scholar 

  13. Hohenstein, U.; Gogolla, M.: A Calculus for an Extended Entity-Relationship Model Incorporating Arbitrary Data Operations and Aggregate Functions. In: Proc. 7th Int. Conf. on the Entity-Relationship Approach, Rom, 1988. North-Holland, Amsterdam.

    Google Scholar 

  14. Hull, R.; King, R.: Semantic Database Modeling: Survey, Applications, and Research Issues. ACM Computing Surveys, Band 19, Nr. 3, 1987, S. 201–260.

    Article  Google Scholar 

  15. Hoare, C. A. R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs, NJ, 1985.

    MATH  Google Scholar 

  16. Hohenstein, U.: Ein Kalkül für ein erweitertes Entity-Relationship-Modell und seine Übersetzung in einen relationalen Kalkül Dissertation, Technische Universität Braunschweig, 1990.

    Google Scholar 

  17. Jungclaus, R.; Saake, G.; Sernadas, C.: Using Active Objects for Query Processing. Erscheint in: Meersman, R.; Kent, W. (Hrsg.): Object-Oriented Databases: Analysis, Design and Construction (Proc. 4th IFIP WG 2.6 Working Conference DS-4), Windermere (UK), 1990. North-Holland, Amsterdam.

    Google Scholar 

  18. Karl, S.; Lockemann, P. C.: Design of Engineering Databases: A Case for More Varied Semantic Modelling Concepts. Information Systems, Band 13, Nr. 4, 1988, S. 335–358.

    Article  Google Scholar 

  19. Korson, T.; McGregor, J. D.: Understanding Object-Oriented: A Unifying Paradigm. Communications of the ACM, Band 33, Nr. 9, 1990, S. 40–60.

    Article  Google Scholar 

  20. Lipeck, U. W.: Zur dynamischen Integrität von Datenbanken: Grundlagen der Spezifikation und Überwachung. Informatik-Fachbericht 209. Springer-Verlag, Berlin, 1989.

    Google Scholar 

  21. Meyer, B.: Object-Oriented Software Construction. Prentice-Hall, Englewood Cliffs, NJ, 1988.

    Google Scholar 

  22. Mellor, S. J.; Shlaer, S.: Object Oriented Systems Analysis: Modelling the World in Data. Prentice Hall, Englewood Cliffs, NJ, 1988.

    Google Scholar 

  23. Peckham, J.; Maryanski, F.: Semantic Data Models. ACM Computing Surveys, Band 20, Nr. 3, 1988, S. 153–189.

    Article  MATH  Google Scholar 

  24. Saake, G.: Spezifikation, Semantik und Überwachung von Objektlebensläufen in Datenbanken. Dissertation, TU Braunschweig, 1988.

    Google Scholar 

  25. Saake, G.: Descriptive Specification of Database Object Behaviour. Erscheint in: Data & Knowledge Engineering, Band 5, 1990.

    Google Scholar 

  26. Sernadas, A.; Ehrich, H.-D.: What Is an Object, After All? Erscheint in: Meersman, R.; Kent, W. (Hrsg.): Object-Oriented Databases: Analysis, Design and Construction (Proc. 4th IFIP WG 2.6 Working Conference DS-4), Windermere (UK), 1990. North-Holland, Amsterdam.

    Google Scholar 

  27. Sernadas, A.: Temporal Aspects of Logical Procedure Definition. Information Systems, Band 5, 1980, S. 167–187.

    Article  MATH  Google Scholar 

  28. Saake, G.; Jungclaus, R.: Information about Objects versus Derived Objects. In: Göers, J.; Heuer, A. (Hrsg.): Second Workshop on Foundations and Languages for Data and Objects, Aigen (A), 1990. Informatik-Bericht 90/3, Technische Universität Clausthal, S. 59–70.

    Google Scholar 

  29. Stroustrup, B.: The C++ Programming Language. Addison-Wesley, Reading, MA, 1986.

    MATH  Google Scholar 

  30. Tsichritzis, D. (Hrsg.): Office Automation: Concepts and Tools. Springer-Verlag, Berlin, 1985.

    MATH  Google Scholar 

  31. van Griethuysen, J.: Concepts and Terminology for the Conceptual Schema and the Information Base. Report N695, ISO/TC97/SC5, 1982.

    Google Scholar 

  32. Verheijen, G. M. A.; van Bekkum, J.: NIAM: An Information Analysis Method. In: Olle, T. W.; Sol, H. G.; Verrijn-Stuart, A. A. (Hrsg.): Information Systems Design Methodologies: A Comparative Review, Noordwijkerhood (NL), 1982. North-Holland, Amsterdam, 1982, S. 537–589.

    Google Scholar 

  33. Wegner, P.: Dimensions of Object-Based Language Design. In: Proc. OOPSLA’87 Conference, Orlando, FL, 1987. ACM, New York, 1987, S. 168–182. (Special Issue of SIGPLAN Notices, Vol. 22, No. 12, November 1987).

    Google Scholar 

  34. Wieringa, R. J.: Algebraic Foundations for Dynamic Conceptual Models. Dissertation, Vrije Universiteit, Amsterdam, 1990.

    Google Scholar 

  35. Zdonik, S. B.; Maier, D. (Hrsg.): Readings in Object-Oriented Database Systems. Morgan-Kaufmann, Palo Alto, CA, 1989.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Informatik, Abt. Datenbanken, Technische Universität Braunschweig, Postfach 3329, D-3300, Braunschweig, Deutschland

    Gunter Saake & Ralf Jungclaus

Authors
  1. Gunter Saake
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ralf Jungclaus
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Fachbereich Informatik, Universität Oldenburg, Postfach 2503, D-2900, Oldenburg, Deutschland

    Hans-Jürgen Appelrath

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Saake, G., Jungclaus, R. (1991). Konzeptioneller Entwurf von Objektgesellschaften. In: Appelrath, HJ. (eds) Datenbanksysteme in Büro, Technik und Wissenschaft. Informatik-Fachberichte, vol 270. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-76530-8_18

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-76530-8_18

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-53861-5

  • Online ISBN: 978-3-642-76530-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation