Skip to main content
SpringerLink
Log in

Spezifikation von Objektsystemen

  • Conference paper
Objektbanken für Experten

Part of the book series: Informatik aktuell ((INFORMAT))

Zusammenfassung

Die konzeptionelle Modellierung des Weltausschnitts, der durch ein Informationssystem dargestellt werden soll, ist die entscheidende Phase beim Systementwurf, da das konzeptionelle Modell die Grundlage der Implementierung ist. Eine Sprache zur konzeptionellen Modellierung sollte daher auf einer soliden formalen Grundlage basieren, um einerseits die systematische Konstruktion einer Implementierung, andererseits eine frühe Animation zu ermöglichen.

In diesem Artikel wird die Sprache TROLL vorgestellt, die auf einem prozeßorientierten Objektmodell basiert. TROLL ermöglicht die deklarative Beschreibung der statischen sowie der dynamischen Aspekte eines zu beschreibenden Weltausschnittes mit Hilfe von Objekten.

Da deklarative Beschreibungsformalismen in der Regel nicht direkt ausführbar sind, werden Ideen zur Transformation von deklarativen in operationale Sprachkonstrukte eines Sprachkerns diskutiert. Für die Animation von Objektsystemen wird ein einfaches Ausführungsmodell zur Kommunikation von Objekten dargestellt und die Systemarchitektur eines verteilten Animationssystems erläutert.

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. Breutmann, B.; Burkhardt, R.: Objektorientierte Systeme. Grundlagen — Werkzeuge -Einsatz. Carl Hanser Verlag, München, 1992.

    Google Scholar 

  3. Booch, G.: Object-Oriented Design. Benjamin/Cummings, Menlo Park, CA, 1990.

    Google Scholar 

  4. de Champeaux, D.; Faure, P.: A Comparative Study of Object-Oriented Analysis Methods. Journal of Object-Oriented Programming, März/April 1992, S. 21–33.

    Google Scholar 

  5. 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.

    Google Scholar 

  6. Ehrich, H.-D.; Gogolla, M.; Lipeck, U.W.: Algebraische Spezifikation abstrakter Datentypen. Teubner, Stuttgart, 1989.

    Google Scholar 

  7. Ehrich, H.-D.; Goguen, J. A.; Sernadas, A.: A Categorial Theory of Objects as Observed Processes. In: deBakker, J.W.; deRoever, W.P.; Rozenberg, G. (Hrsg.): Proc. REX/FOOL Workshop, Noordwijkerhout (NL), 1990. LNCS 489, Springer, Berlin, S. 203–228.

    Google Scholar 

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

    Google Scholar 

  9. Ehrich, H.-D.; Sernadas, A.: Algebraic Implementation of Objects over Objects. In: deBakker, J. W.; deRoever, W.-P.; Rozenberg, G. (Hrsg.): Proc. REX Workshop “Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness”. LNCS 430, Springer, Berlin, 1990, S. 239–266.

    Google Scholar 

  10. Ehrich, H.-D.; Sernadas, A.: Fundamental Object Concepts and Constructions. In: Saake, G.; Sernadas, A. (Hrsg.): Information Systems — Correctness and Reusability. TU Braunschweig, Informatik-Bericht 91–03, 1991, S. 1–24.

    Google Scholar 

  11. Ehrich, H.-D.; Saake, G.; Sernadas, A.: Concepts of Object-Orientation. In: Proc. 2. Workshop “Informationssysteme und Künstliche Intelligenz: Modellierung”, Ulm. Springer IFB 303, 1992, S. 1–19.

    Chapter  Google Scholar 

  12. Gogolla, M.; Hohenstein, U.: Towards a Semantic View of an Extended Entity-Relationship Model. ACM Transactions on Database Systems, Band 16, 1991, S. 369–416.

    Article  MathSciNet  Google Scholar 

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

    Google Scholar 

  14. Hartmann, T.; Jungclaus, R.: Abstract Description of Distributed Object Systems. In: Tokoro, M.; Nierstrasz, O.; Wegner, P. (Hrsg.): Proc. ECOOP’91 Workshop on Object-Based Concurrent Computing. Genf (CH), 1991. Springer, LNCS 612, Berlin, 1992, S. 227–244.

    Google Scholar 

  15. Hartmann, T.; Jungclaus, R.; Saake, G.: Aggregation in a Behavior Oriented Object Model. In: Lehrmann Madsen, O. (Hrsg.): Proc. European Conference on Object-Oriented Programming (ECOOP’92). Springer, LNCS 615, Berlin, 1992, S. 57–77.

    Chapter  Google Scholar 

  16. 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 

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

    MATH  Google Scholar 

  18. Hagelstein, J.; Roelants, D.: Reconciling Operational and Declarative Specifications. In: Proc. 4th Conf. on Advanced Information Systems Engineering CAISE’92, Manchester (UK), 1992. Springer-Verlag, Berlin, 1992.

    Google Scholar 

  19. Jackson, M. A.: System Development. Prentice-Hall, Englewood Cliffs, New Jersey, 1983.

    MATH  Google Scholar 

  20. Jungclaus, R.; Hartmann, T.; Saake, G.: Relationships between Dynamic Objects. In: Kangassalo, H. (Hrsg.): Proc. 2nd Eurpean-Japanese Seminar on Information Modelling and Knowledge Bases, Hotel Ellivuori (SF). IOS Press, Amsterdam, erscheint 1992.

    Google Scholar 

  21. Jungclaus, R.; Saake, G.; Hartmann, T.: Language Features for Object-Oriented Conceptual Modeling. In: Teory, T.J. (Hrsg.): Proc. 10th Int. Conf. on the ER-Approach, San Mateo, 1991. S. 309–324.

    Google Scholar 

  22. Jungclaus, R.; Saake, G.; Hartmann, T.; Sernadas, C.: Object-Oriented Specification of Information Systems: The Troll Language. Informatik-Bericht 91–04, TU Braunschweig, 1991.

    Google Scholar 

  23. Jungclaus, R.; Saake, G.; Sernadas, C.: Formal Specification of Object Systems. In: Abramsky, S.; Maibaum, T. (Hrsg.): Proc. TAPSOFT’91, Brighton. Springer, Berlin, LNCS 494, 1991, S. 60–82.

    Google Scholar 

  24. Kim, W.; Lochovsky, F. H. (Hrsg.): Object-Oriented Concepts, Databases, and Applications. ACM Press/Addison-Wesley, New York, NY/Reading, MA, 1989.

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  27. Milner, R.: Operational and Algebraic Semantics of Concurrent Processes. In: Leeuwen, J. van (Hrsg.): Formal Models and Semantics. Elsevier Science Publishers B.V., 1990, S. 1201–1242.

    Google Scholar 

  28. Manna, Z.; Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems. Vol. 1: Specification. Springer-Verlag, New York, 1992.

    Book  Google Scholar 

  29. Nierstrasz, O.M.: A Survey of Object-Oriented Concepts. In: Kim, W.; Lochovsky, F. (Hrsg.): Object-Oriented Concepts, Databases and Applications. ACM Press and Addison-Wesley, 1989, S. 3–21.

    Google Scholar 

  30. Omohundro, S. M.: The Sather Language, Bericht des International Computer Science Institute (ICSI), Berkeley, Califonia, 1991.

    Google Scholar 

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

    Article  MATH  Google Scholar 

  32. Rumbaugh, J.; Blaha, M.; Premerlani, W.; Eddy, F.; Lorensen, W.: Object-Oriented Modeling and Design. Prentice-Hall, Englewood Cliffs, NJ, 1990.

    Google Scholar 

  33. Reuter, A.; Schwenkreis, F.; Wächter, H.: Zuverlässige Abwicklung großer verteilter Anwendungen mit ConTracts. In diesem Band, 1992.

    Google Scholar 

  34. Saake, G.: Spezifikation, Semantik und Überwachung von Objektlebensläufen in Datenbanken. Dissertation, Technische Universität Braunschweig, 1988.

    Google Scholar 

  35. Saake, G.: Objektorientierte Modellierung von Informationssystemen. Vorlesungsskript, TU Braunschweig, 1992.

    Google Scholar 

  36. Schwiderski, S.: Realisation von Objekten in einem Relationalen Datenbanksystem. Diplomarbeit, TU Braunschweig, 1992.

    Google Scholar 

  37. Sernadas, A.; Ehrich, H.-D.: What Is an Object, After All? In: Meersman, R.; Kent, W.; Khosla, S. (Hrsg.): Object-Oriented Databases: Analysis, Design and Construction (Proc. 4th IFIP WG 2.6 Working Conference DS-4, Windermere (UK)), Amsterdam, 1991. North-Holland, S. 39–70.

    Google Scholar 

  38. Sernadas, A.; Fiadeiro, J.; Sernadas, C.; Ehrich, H.-D.: The Basic Building Blocks of Information Systems. In: Falkenberg, E.; Lindgreen, P. (Hrsg.): Information System Concepts: An In-Depth Analysis, Namur (B), 1989. North-Holland, Amsterdam, 1989, S. 225–246.

    Google Scholar 

  39. Saake, G.; Jungclaus, R.: Konzeptioneller Entwurf von Objektgesellschaften. In: Appelrath, H.-J. (Hrsg.): Proc. Datenbanksysteme in Büro, Technik und Wissenschaft BTW’91. Informatik-Fachberichte IFB 270, Springer, Berlin, 1991, S. 327–343.

    Chapter  Google Scholar 

  40. Saake, G.; Jungclaus, R.: Specification of Database Applications in the TROLL-Language. In: Harper, D.; Norrie, M. (Hrsg.): Proc. Int. Workshop Specification of Database Systems, Glasgow, July 1991. Springer, London, 1992, S. 228–245.

    Google Scholar 

  41. Saake, G.; Jungclaus, R.; Ehrich, H.-D.: Object-Oriented Specification and Stepwise Refinement. In: de Meer, J.; Heymer, V.; Roth, R. (Hrsg.): Proc. Open Distributed Processing, Berlin (D), 8.–11. Okt. 1991. IFIP Transactions C: Communication Systems, Vol. 1, North-Holland, 1992, S. 99–121.

    Google Scholar 

  42. Saake, G.; Lipeck, U.W.: Using Finite-Linear Temporal Logic for Specifying Database Dynamics. In: Borger, E.; Kleine Büning, H.; Richter, M. M. (Hrsg.): Proc. CSL’88 2nd Workshop Computer Science Logic. Springer, Berlin, 1989, S. 288–300.

    Google Scholar 

  43. Schwiderski, S.; Saake, G.: Monitoring Temporal Permissions using Partially Evaluated Transition Graphs. In: Lipeck, U.; Thalheim, B. (Hrsg.): Proc. 4th International Workshop on Modelling Database Dynamics, Volkse, Oct. 1992, erscheint 1992.

    Google Scholar 

  44. Sernadas, A.; Sernadas, C.; Ehrich, H.-D.: Object-Oriented Specification of Databases: An Algebraic Approach. In: Hammerslay, P. (Hrsg.): Proc. 13th Int. Conf. on Very Large Databases VLDB’87, Brighton (GB), 1987. Morgan-Kaufmann, Palo Alto, 1987, S. 107–116.

    Google Scholar 

  45. Stein, L.A.: Delegation is Inheritance. OOPSLA ’87 Proceedings, ACM SIGPLAN Notices (Special Issue), Band 22, Nr. 12, 1987, S. 138–146.

    Article  Google Scholar 

  46. Stein, A.: Implementierung eines Parsers für eine objektorientierte Spezifikationssprache für Informationssysteme. Diplomarbeit, TU Braunschweig, erscheint 1992.

    Google Scholar 

  47. Stöcker, R.: Kontextsensitive Analyse von Troll Spezifikationen. Diplomarbeit, TU Braunschweig, erscheint 1992.

    Google Scholar 

  48. Wegner, P.: Concepts and Paradigms of Object-Oriented Programming. ACM SIGPLAN OOP Messenger, Band 1, Nr. 1, 1990, S. 7–87.

    Article  Google Scholar 

  49. Wirsing, M.: Algebraic Specification. In: Van Leeuwen, J. (Hrsg.): Handbook of Theoretical Computer Science, Vol. B: Formal Models and Semantics. Elsevier Sci. Publ. B.V., Amsterdam, 1990, S. 675–788.

    Google Scholar 

  50. Wächter, H.; Reuter, A.: Grundkonzepte und Realisierungsstrategien des ConTract-Modells. Informatik Forschung und Entwicklung, Band 5, 1990, S. 202–212.

    Google Scholar 

  51. Zamperoni, A.: Ein konzeptioneller Rahmen zur pragmatischen Modellgenerierung für EER-Schemata. Diplomarbeit, TU Braunschweig, 1992.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Abt. Datenbanken, Techn. Universität Braunschweig, Postfach 3329, W-3300, Braunschweig, Deutschland

    Thorsten Hartmann, Ralf Jungclaus, Gunter Saake & Hans-Dieter Ehrich

Authors
  1. Thorsten Hartmann
    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

  3. Gunter Saake
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Hans-Dieter Ehrich
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Informatik, TU München, Arcisstr. 21, W-8000, München 2, Deutschland

    R. Bayer

  2. Fachbereich Informatik, Universität Kaiserslautern, Erwin-Schrödinger-Straße, W-6750, Kaiserslautern, Deutschland

    T. Härder

  3. Institut für Programmstrukturen und Datenorganisation, Universität Karlsruhe, Postfach 6980, W-7500, Karlsruhe, Deutschland

    P. Lockemann

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hartmann, T., Jungclaus, R., Saake, G., Ehrich, HD. (1992). Spezifikation von Objektsystemen. In: Bayer, R., Härder, T., Lockemann, P. (eds) Objektbanken für Experten. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-77873-5_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-77873-5_10

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-56074-6

  • Online ISBN: 978-3-642-77873-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation