Object-Oriented Design of Information Systems: Troll Language Features

  • G. Saake
  • T. Hartmann
  • R. Jungclaus
  • H-D. Ehrich
Part of the International Centre for Mechanical Sciences book series (CISM, volume 347)


We present features of the language Troll for the abstract specification of information systems. Information systems are regarded to be reactive systems with a large database. Before we present the constructs of Troll, we briefly explain the basic ideas on which the language relies. The Universe of Discourse is regarded to be a collection of interacting objects. An object is modeled as a process with an observable state. The language Troll allows for the integrated description of structure and behavior of objects. We explain the abstraction mechanisms provided by Troll, namely roles, specialization, and aggregation. To support the description of systems composed from objects, the concepts of relationships and interfaces may be used.


Saving Account Object Description Composite Object Abstract Data Type Check Account 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Z. Manna and A. Pnueli. The Anchored Version of the Temporal Framework. In J. de Bakker, W. de Roever, and G. Rozenberg, editors, Linear Time, Branching Tome and Partial Order in Logics and Models for Concurrency, pages 201–284. LNCS 354, Springer-Verlag, Berlin, 1989.Google Scholar
  2. 2.
    J. J. van Griethuysen. Concepts and Terminology for the Conceptual Schema and the Information Base. Report N695, ISO/TC97/SC5, 1982.Google Scholar
  3. 3.
    H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification I: Equations and Initial Semantics. Springer-Verlag, Berlin, 1985.CrossRefzbMATHGoogle Scholar
  4. 4.
    H.-D. Ehrich, M. Gogolla, and U.W. Lipeck. Algebraische Spezifikation abstrakter Datentypen. Teubner, Stuttgart, 1989.CrossRefzbMATHGoogle Scholar
  5. 5.
    H.-D. Ehrich. Key Extensions of Abstract Data Types, Final Algebras, and Database Semantics. In D. Pitt et al., editors, Proc. Workshop on Category Theory and Computer Programming, pages 412–433. Springer, Berlin, LNCS series, 1986.CrossRefGoogle Scholar
  6. 6.
    H.-D. Ehrich, K. Drosten, and M. Gogolla. Towards an Algebraic Semantics for Database Specification. In R.A. Meersmann and A. Sernadas, editors, Proc. 2nd IFIP WG 2.6 Working Conf. on Database Semantics “Data and Knowledge” (DS-2), pages 119–135, Albufeira (Portugal), 1988. North-Holland, Amsterdam.Google Scholar
  7. 7.
    C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs, NJ, 1985.zbMATHGoogle Scholar
  8. 8.
    R. Milner. Communication and Concurrency. Prentice-Hall, Englewood Cliffs, 1989.zbMATHGoogle Scholar
  9. 9.
    A. Sernadas. Temporal Aspects of Logical Procedure Definition. Information Systems, 5: 167–187, 1980.CrossRefzbMATHGoogle Scholar
  10. 10.
    G. Saake. Conceptual Modeling of Database Applications. In D. Karagiannis, editor, Proc. 1st IS/KI Workshop, Ulm (Germany), 1990, pages 213–232. Springer, Berlin, LNCS 474, 1991.Google Scholar
  11. 11.
    P. P. Chen. The Entity-Relationship Model-Toward a Unified View of Data. ACM Transactions on Database Systems, 1 (1): 9–36, 1976.CrossRefGoogle Scholar
  12. 12.
    J. Mylopoulos, P. A. Bernstein, and H. K. T. Wong. A Language Facility for Designing Interactive Database-Intensive Applications. ACM Transactions on Database Systems, 5 (2): 185–207, 1980.CrossRefGoogle Scholar
  13. 13.
    M. Brodie, J. Mylopoulos, and J. W. Schmidt. On Conceptual Modelling-Perspectives from Artificial Intelligence, Databases, and Programming Languages. Springer-Verlag, Berlin, 1984.Google Scholar
  14. 14.
    A. Borgida. Features of Languages for the Development of Information Systems at the Conceptual Level. IEEE Software, 2 (1): 63–73, 1985.CrossRefGoogle Scholar
  15. 15.
    G. Engels, M. Gogolla, U. Hohenstein, K. Hülsmann, P. Löhr-Richter, G. Saake, and H.-D. Ehrich. Conceptual modelling of database applications using an extended ER model. Data 6 Knowledge Engineering, North-Holland, 9 (2): 157–204, 1992.Google Scholar
  16. 16.
    M. L. Brodie and J. Mylopoulos, editors. On Knowledge Management Systems. Springer-Verlag, Berlin, 1986.zbMATHGoogle Scholar
  17. 17.
    J. W. Schmidt and C. Thanos, editors. Foundations of Knowledge Base Management. Springer-Verlag, Berlin, 1989.zbMATHGoogle Scholar
  18. 18.
    J. Mylopoulos and M. Brodie, editors. Readings in Artificial Intelligence ê~ Databases. Morgan Kaufmann Publ. San Mateo, 1989.Google Scholar
  19. 19..
    A. Sernadas, C. Sernadas, and H.-D. Ehrich. Object-Oriented Specification of Databases: An Algebraic Approach. In P.M. Stoecker and W. Kent, editors, Proc. 13th Int. Conf. on Very Large Databases VLDB’87, pages 107–116. VLDB Endowment Press, Saratoga (CA), 1987.Google Scholar
  20. 20.
    A. Sernadas, J. Fiadeiro, C. Sernadas, and H.-D. Ehrich. The Basic Building Blocks of Information Systems. In E. Falkenberg and P. Lindgreen, editors, Information System Concepts: An In-Depth Analysis, pages 225–246, Namur (B), 1989. North-Holland, Amsterdam, 1989.Google Scholar
  21. 21.
    A. Sernadas and H.-D. Ehrich. What Is an Object, After All? In R. Meersman, W. Kent, and S. Khosla, editors, Object-Oriented Databases: Analysis, Design and Construction (Proc. 4th IFIP WG 2.6 Working Conference DS-4, Windermere (UK)), pages 39–70, Amsterdam, 1991. North-Holland.Google Scholar
  22. 22.
    H.-D. Ehrich, J. A. Goguen, and A. Sernadas. A Categorial Theory of Objects as Observed Processes. In J.W. deBakker, W.P. deRoever, and G. Rozenberg, editors, Proc. REX/FOOL Workshop, pages 203–228, Noordwijkerhood (NL), 1990. LNCS 489, Springer, Berlin.Google Scholar
  23. 23.
    H.-D. Ehrich and A. Sernadas. Fundamental Object Concepts and Constructions. In G. Saake and A. Sernadas, editors, Information Systems — Correctness and Reusability, pages 1–24. TU Braunschweig, Informatik Bericht 91–03, 1991.Google Scholar
  24. 24.
    J. Fiadeiro, C. Sernadas, T. Maibaum, and G. Saake. Proof-Theoretic Semantics of Object-Oriented Specification Constructs. In R. Meersman, W. Kent, and S. Khosla, editors, Object-Oriented Databases: Analysis, Design and Construction (Proc. 4th IFIP WG 2.6 Working Conference DS-4, Windermere (UK)), pages 243–284, Amsterdam, 1991. North-Holland.Google Scholar
  25. 25.
    J. Fiadeiro and T. Maibaum. Temporal Reasoning over Deontic Specifications. Journal of Logic and Computation, 1 (3): 357–395, 1991.CrossRefzbMATHMathSciNetGoogle Scholar
  26. 26.
    R. Jungclaus, G. Saake, and C. Sernadas. Formal Specification of Object Systems. In S. Abramsky and T. Maibaum, editors, Proc. TAPSOFT’91, Brighton, pages 60–82. Springer, Berlin, LNCS 494, 1991.Google Scholar
  27. 27.
    G. Saake and R. Jungclaus. Konzeptioneller Entwurf von Objektgesellschaften. In H.-J. Appelrath, editor, Proc. Datenbanksysteme in Büro, Technik und Wissenschaft BTW’91, pages 327–343. Informatik-Fachberichte IFB 270, Springer, Berlin, 1991.Google Scholar
  28. 28.
    G. Saake and R. Jungclaus. Specification of Database Applications in the TROLL-Language. In D. Harper and M. Norrie, editors, Proc. Int. Workshop Specification of Database Systems, Glasgow, July 1991, pages 228–245. Springer, London, 1992.Google Scholar
  29. 29.
    R. Jungclaus, G. Saake, and T. Hartmann. Language Features for Object-Oriented Conceptual Modeling. In T.J. Teory, editor, Proc. 10th Int. Conf. on the ER-approach, pages 309–324, San Mateo, 1991.Google Scholar
  30. 30.
    R. Jungclaus, G. Saake, T. Hartmann, and C. Sernadas. Object-Oriented Specification of Information Systems: The TROLL Language. Informatik-Bericht 91–04, TU Braunschweig, 1991.Google Scholar
  31. 31.
    A. Goldberg and D. Robson. Smalltalk-80: The Language and Its Implementation. Addison-Wesley, Reading, MA, 1983.zbMATHGoogle Scholar
  32. 32.
    B. Meyer. Object-Oriented Software Construction. Prentice-Hall, Englewood Cliffs, NJ, 1988.Google Scholar
  33. 33.
    J. D. McGregor and T. (Guest editors) Korson. Special Issue on Object-Oriented Design. Communications of the ACM, 33 (9), 1990.Google Scholar
  34. 34.
    P. Coad and E. Yourdon. Object-Oriented Analysis. Yourdon Press/Prentice Hall, Englewood Cliffs, NJ, 1989.Google Scholar
  35. 35.
    J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modeling and Design. Prentice-Hall, Englewood Cliffs, NJ, 1991.Google Scholar
  36. 36.
    K. R. Dittrich and U. Dayal, editors. Proceedings of the 1986 International Workshop on Object-Oriented Database Systems, Pacific Grove, CA, 1986. IEEE Computer Society Press, Washington, 1986.Google Scholar
  37. 37.
    K. R. Dittrich, editor. Advances in Object-Oriented Database Systems. Lecture Notes in Comp. Sc. 334. Springer Verlag, Berlin, 1988.Google Scholar
  38. 38.
    M. Atkinson, F. Bancilhon, D. DeWitt, K. R. Dittrich, D. Maier, and S. B. Zdonik. The Object-Oriented Database System Manifesto. In W. Kim, J.-M. Nicolas, and S. Nishio, editors, Proc. Int. Conf. on Deductive and Object-Oriented Database Systems, pages 40–57, Kyoto, Japan, December 1989.Google Scholar
  39. 39.
    W. Kim and F. H. Lochovsky, editors. Object-Oriented Concepts, Databases, and Applications. ACM Press/Addison-Wesley, New York, NY/Reading, MA, 1989.Google Scholar
  40. 40.
    A. Heuer. Objektorientierte Datenbanken. Addison-Wesley, Bonn (D), 1992. In German.Google Scholar
  41. 41.
    E. Verharen. Object-Oriented System Development-An Overview. In G. Saake and A. Sernadas, editors, Information Systems Correctness and Reusability. Informatik-Bericht 91–03, TU Braunschweig, 1991.Google Scholar
  42. 42.
    D. C. Tsichritzis and O. M. Nierstrasz. Directions in Object-Oriented Research. In W. Kim and F. H. Lochovsky, editors, Object-Oriented Concepts, Databases, and Applications, pages 523–536. ACM Press/Addison-Wesley, New York, NY/Reading, MA, 1989.Google Scholar
  43. 43.
    U. W. Lipeck. Zur dynamischen Integrität von Datenbanken: Grundlagen der Spezifikation und Überwachung. Informatik-Fachbericht 209. Springer, Berlin, 1989.Google Scholar
  44. 44.
    H.-D. Ehrich, R. Jungclaus, G. Denker, and A. Sernadas. Object-oriented design of information systems: Theoretical foundations, 1993. This volume.Google Scholar
  45. 45.
    J. Fiadeiro and A. Sernadas. Logics of Modal Terms for System Specification. Journal of Logic and Computation, 1 (2): 187–227, 1990.CrossRefzbMATHMathSciNetGoogle Scholar
  46. 46.
    S. Schwiderski, T. Hartmann, and G. Saake. Monitoring Temporal Preconditions in a Behaviour Oriented Object Model. Informatik-Bericht 93–07, TU Braunschweig, 1993.Google Scholar
  47. 47.
    ISO. Information Processing Systems, Definition of the Temporal Ordering Specification Language LOTOS. Report N1987, ISO/TC97/16, 1984.Google Scholar
  48. 48.
    T. Hartmann, R. Jungclaus, and G. Saake. Aggregation in a Behavior Oriented Object Model. In O. Lehrmann Madsen, editor, Proc. European Conference on Object-Oriented Programming (ECOOP’92), pages 57–77. Springer, LNCS 615, Berlin, 1992.Google Scholar
  49. 49.
    T. Hartmann and G. Saake. Abstract Specification of Object Interaction. Informatik-Bericht 93–08, Technische Universität Braunschweig, 1993.Google Scholar
  50. 50.
    G. Saake. Objektorientierte Spezifikation von Informationssystemen. Teubner, Leipzig, 1993.CrossRefGoogle Scholar
  51. 51.
    R. Jungclaus. Modeling of Dynamic Object Systems—A Logic-Based Approach. Advanced Studies in Computer Science. Vieweg Verlag, Braunschweig/Wiesbaden, 1993.Google Scholar
  52. 52.
    R. J. Wieringa. Algebraic Foundations for Dynamic Conceptual Models. PhD thesis, Vrije Universiteit, Amsterdam, 1990.Google Scholar
  53. 53.
    B. Batory and A. Buchmann. Molecular Objects, Abstract Data Types and Data Models: A Framework. In U. Dayal, G. Schlageter, and L. H. Seng, editors, Proc. 10th Int. Conf. on Very Large Databases VLDB’84, pages 172–184, Singapore, 1984.Google Scholar
  54. 54.
    H.-D. Ehrich and A. Sernadas. Algebraic Implementation of Objects over Objects. In J. W. deBakker, W.-P. deRoever, and G. Rozenberg, editors, Proc. REX Workshop “Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness”, pages 239–266. LNCS 430, Springer, Berlin, 1990.Google Scholar
  55. 55.
    S. Conrad, M. Gogolla, and R. Herzig. TROLL light: A Core Language for Specifying Objects. Informatik-Bericht 92–02, TU Braunschweig, 1992.Google Scholar

Copyright information

© Springer-Verlag Wien 1994

Authors and Affiliations

  • G. Saake
    • 1
  • T. Hartmann
    • 1
  • R. Jungclaus
    • 1
  • H-D. Ehrich
    • 1
  1. 1.Technical University of BraunschweigBraunschweigGermany

Personalised recommendations