Skip to main content
SpringerLink
Log in

Aggregation in a behavior oriented object model

  • Conference paper
  • First Online:
Book cover ECOOP ’92 European Conference on Object-Oriented Programming (ECOOP 1992)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 615))

Included in the following conference series:

Abstract

TROLL is a language to specify information systems with dynamic behavior. Here, we elaborate on the specification of object aggregation in TROLL. We distinguish between two kinds of aggregation, static and dynamic aggregation. Static aggregation means that the composition of objects is described using predicates over constant properties. Dynamic aggregation means that we may alter the composition of objects by invoking special operations (events) that are implicitly defined for each dynamic complex object. Additionally, we describe the specification of disjoint complex as a means for structuring a specification. We introduce language features to describe object aggregation and give some hints towards their semantics.

This work was partially supported by the CEC under ESPRIT-2 BRA WG 3023 IS-CORE (Information Systems — COrrectness and REusability). The research work of Ralf Jungclaus and Thorsten Hartmann is supported by Deutsche Forschungsgemeinschaft under Sa 465/1-1 and Sa 465/1-2.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Batory, B.; Buchmann, A.: Molecular Objects, Abstract Data Types and Data Models: A Framework. In: Proc. VLDB'84, Singapore, 1984. pp. 172–184.

    Google Scholar 

  2. Brodie, M. L.; Mylopoulos, J. (eds.): On Knowledge Management Systems. Springer-Verlag, Berlin, 1986.

    Google Scholar 

  3. Bretl, R.; Maier, D.; Otis, A.; Penney, J.; Schuchardt, B.; Stein, J.; Williams, E. H.; Williams, M.: The GemStone Data Management System. In: Kim, W.; Lochovsky, F. H. (eds.): Object-Oriented Concepts, Databases, and Applications. ACM Press/Addison-Wesley, New York, NY/Reading, MA, 1989, pp. 283–308.

    Google Scholar 

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

    Google Scholar 

  5. Dittrich, K.; Gotthard, W.; Lockemann, P.: Complex Entities for Engineering Applications. In: Proc. Int. Conf. on the ER-Approach. North-Holland, Amsterdam, 1987, 1987, pp. 421–440.

    Google Scholar 

  6. 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. (eds.): Proc. REX/FOOL Workshop, Noordwijkerhood (NL), 1990. LNCS 489, Springer, Berlin, pp. 203–228.

    Google Scholar 

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

    Google Scholar 

  8. Ehrich, H.-D.; Sernadas, A.: Fundamental Object Concepts and Constructions. In: Saake, G.; Sernadas, A. (eds.): Proc. ISCORE Workshop WS'91. TU Braunschweig, Informatik Berichte 91-03, 1991, pp. 1–24.

    Google Scholar 

  9. Fiadeiro, J.; Sernadas, A.: Logics of Modal Terms for System Specification. Journal of Logic and Computation, Vol. 1, No. 2, 1990, pp. 187–227.

    MathSciNet  Google Scholar 

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

    Google Scholar 

  11. Hartmann, T.; Jungclaus, R.: Abstract Description of Distributed Object Systems. In: Tokoro, M.; Nierstrasz, O.; Wegner, P.; Yonezawa, A. (eds.): Proc. ECOOP'91 Workshop on Object Based Concurrent Computing. Geneva (CH), 1991. Springer, LNCS Series, 1991. To appear.

    Google Scholar 

  12. Hull, R.; King, R.: Semantic Database Modeling: Survey, Applications, and Research Issues. ACM Computing Surveys, Vol. 19, No. 3, 1987, pp. 201–260.

    Article  Google Scholar 

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

    Google Scholar 

  14. Jungclaus, R.; Hartmann, T.; Saake, G.; Sernadas, C.: Introduction to TROLL — A Language for Object-Oriented Specification of Information Systems. In: Saake, G.; Sernadas, A. (eds.): Proc. ISCORE Workshop WS'91. TU Braunschweig, Informatik Berichte 91-03, 1991, pp. 97–128.

    Google Scholar 

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

    Google Scholar 

  16. Jungclaus, R.; Saake, G.; Hartmann, T.; Sernadas, C.: Object-Oriented Specification of Information Systems: The TROLL Language. Technical Report 91-04, TU Braunschweig, 1991.

    Google Scholar 

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

    Google Scholar 

  18. Jungclaus, R.; Saake, G.; Sernadas, C.: Using Active Objects for Query Processing. In: Meersman, R.; Kent, W.; Khosla, S. (eds.): Object-Oriented Databases: Analysis, Design and Construction (Proc. 4th IFIP WG 2.6 Working Conference DS-4, Windermere (UK), 1990), Amsterdam, 1991. North-Holland, pp. 285–304.

    Google Scholar 

  19. King, R.: My Cat Is Object-Oriented. In: Kim, W.; Lochovsky, F. H. (eds.): Object-Oriented Concepts, Databases, and Applications. ACM Press/Addison-Wesley, New York, NY/Reading, MA, 1989, pp. 23–30.

    Google Scholar 

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

    Google Scholar 

  21. Kappel, G.; Schrefl, M.: Object/Behavior Diagrams. In: Proc. Int. Conf. on Data Engineering, Kobe, 1991. IEEE Computer Society Press, 1991, pp. 530–539.

    Google Scholar 

  22. Lipeck, U.W.: Transformation of Dynamic Integrity Constraints into Transaction Specifications. Theoretical Computer Science, Vol. 76, 1990, pp. 115–142.

    Article  MATH  MathSciNet  Google Scholar 

  23. Lecluse, C.; Richard, P.; Velez, F.: O2, an Object-Oriented Data Model. In: Proc. ACM SIGMOD Conf. on Management of Data. ACM, New York, 1988, 1988.

    Google Scholar 

  24. Maier, D.: A Logic for Objects. Technical Report CS/E-86-012, Oregon Graduate Center, 1986.

    Google Scholar 

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

    Google Scholar 

  26. Nierstrasz, O.; Tsichritzis, D. C.: Integrated Office Systems. In: Kim, W.; Lochovsky, F. H. (eds.): Object-Oriented Concepts, Databases, and Applications. ACM Press/Addison-Wesley, New York, NY/Reading, MA, 1989, pp. 199–215.

    Google Scholar 

  27. Peckham, J.; Maryanski, F.: Semantic Data Models. ACM Computing Surveys, Vol. 20, No. 3, 1988, pp. 153–189.

    Article  Google Scholar 

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

    Google Scholar 

  29. Rowe, L. A.; Stonebraker, M. R.: The POSTGRES Data Model. In: Proc. 13th VLDB, 1987, pp. 83–96.

    Google Scholar 

  30. Saake, G.: Descriptive Specification of Database Object Behaviour. Data & Knowledge Engineering, Vol. 6, No. 1, 1991, pp. 47–74. North-Holland.

    Article  Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  33. Saake, G.; Jungclaus, R.; Ehrich, H.-D.: Object-Oriented Specification and Stepwise Refinement. In: Proc. Int. IFIP Workshop on Open Distributed Processing, Berlin (D). North-Holland, 1991. To appear.

    Google Scholar 

  34. Scholl, M. H.; Schek, H.-J.: A Synthesis of Complex Objects and Object-Orientation. In: Meersman, R.; Kent, W. (eds.): Proc. IFIP WG 2.6 Working Conference on Object-Oriented Databases (DS-4), Windermere (UK), 1990. North-Holland, Amsterdam, pp. 349–372.

    Google Scholar 

  35. Schmidt, J. W.; Thanos, C. (eds.): Foundations of Knowledge Base Management. Springer-Verlag, Berlin, 1989.

    Google Scholar 

  36. Urban, S. D.; Delcambre, L.: An Analysis of the Structural, Dynamic, and Temporal Aspects of Semantic Data Models. In: Proc. Int. Conf. on Data Engineering, Los Angeles, 1986. ACM, New York, 1986, pp. 382–387.

    Google Scholar 

  37. Wegner, P.: Concepts and Paradigms of Object-Oriented Programming. ACM SIGPLAN OOP Messenger, Vol. 1, No. 1, 1990, pp. 7–87.

    Google Scholar 

  38. Wieringa, R.J.: Equational Specification of Dynamic Objects. In: Meersman, R.; Kent, W.; Khosla, S. (eds.): Object-Oriented Databases: Analysis, Design and Construction (Proc. 4th IFIP WG 2.6 Working Conference DS-4), Windermere (UK), 1990. North-Holland, Amsterdam, 1991, pp. 415–438.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Abt. Datenbanken, TU Braunschweig, Postfach 3329, W-3300, Braunschweig

    Thorsten Hartmann, Ralf Jungclaus & Gunter Saake

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

Editor information

Ole Lehrmann Madsen

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. (1992). Aggregation in a behavior oriented object model. In: Madsen, O.L. (eds) ECOOP ’92 European Conference on Object-Oriented Programming. ECOOP 1992. Lecture Notes in Computer Science, vol 615. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0053030

Download citation

  • DOI: https://doi.org/10.1007/BFb0053030

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55668-8

  • Online ISBN: 978-3-540-47268-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation