Advertisement

Aggregation in a behavior oriented object model

  • Thorsten Hartmann
  • Ralf Jungclaus
  • Gunter Saake
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 615)

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.

Keywords

Static Aggregation Complex Object Dynamic Aggregation Object Identifier Abstract Data Type 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [BB84]
    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. [BM86]
    Brodie, M. L.; Mylopoulos, J. (eds.): On Knowledge Management Systems. Springer-Verlag, Berlin, 1986.Google Scholar
  3. [BMO+89]
    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. [Boo90]
    Booch, G.: Object-Oriented Design. Benjamin/Cummings, Menlo Park, CA, 1990.Google Scholar
  5. [DGL87]
    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. [EGS90]
    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. [EM85]
    Ehrig, H.; Mahr, B.: Fundamentals of Algebraic Specification I: Equations and Initial Semantics. Springer-Verlag, Berlin, 1985.Google Scholar
  8. [ES91]
    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. [FS90]
    Fiadeiro, J.; Sernadas, A.: Logics of Modal Terms for System Specification. Journal of Logic and Computation, Vol. 1, No. 2, 1990, pp. 187–227.MathSciNetGoogle Scholar
  10. [Gri82]
    Griethuysen, J.J. van: Concepts and Terminology for the Conceptual Schema and the Information Base. Report N695, ISO/TC97/SC5, 1982.Google Scholar
  11. [HJ91]
    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. [HK87]
    Hull, R.; King, R.: Semantic Database Modeling: Survey, Applications, and Research Issues. ACM Computing Surveys, Vol. 19, No. 3, 1987, pp. 201–260.CrossRefGoogle Scholar
  13. [Hoa85]
    Hoare, C. A. R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs, NJ, 1985.Google Scholar
  14. [JHSS91]
    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. [JSH91]
    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. [JSHS91]
    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. [JSS91a]
    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. [JSS91b]
    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. [Kin89]
    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. [KL89]
    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. [KS91]
    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. [Lip90]
    Lipeck, U.W.: Transformation of Dynamic Integrity Constraints into Transaction Specifications. Theoretical Computer Science, Vol. 76, 1990, pp. 115–142.zbMATHCrossRefMathSciNetGoogle Scholar
  23. [LRV88]
    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. [Mai86]
    Maier, D.: A Logic for Objects. Technical Report CS/E-86-012, Oregon Graduate Center, 1986.Google Scholar
  25. [Mey88]
    Meyer, B.: Object-Oriented Software Construction. Prentice-Hall, Englewood Cliffs, NJ, 1988.Google Scholar
  26. [NT89]
    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. [PM88]
    Peckham, J.; Maryanski, F.: Semantic Data Models. ACM Computing Surveys, Vol. 20, No. 3, 1988, pp. 153–189.CrossRefGoogle Scholar
  28. [RBP+90]
    Rumbaugh, J.; Blaha, M.; Premerlani, W.; Eddy, F.; Lorensen, W.: Object-Oriented Modeling and Design. Prentice-Hall, Englewood Cliffs, NJ, 1990.Google Scholar
  29. [RS87]
    Rowe, L. A.; Stonebraker, M. R.: The POSTGRES Data Model. In: Proc. 13th VLDB, 1987, pp. 83–96.Google Scholar
  30. [Saa91]
    Saake, G.: Descriptive Specification of Database Object Behaviour. Data & Knowledge Engineering, Vol. 6, No. 1, 1991, pp. 47–74. North-Holland.CrossRefGoogle Scholar
  31. [SE91]
    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. [SJ92]
    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. [SJE91]
    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. [SS90]
    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. [ST89]
    Schmidt, J. W.; Thanos, C. (eds.): Foundations of Knowledge Base Management. Springer-Verlag, Berlin, 1989.Google Scholar
  36. [UD86]
    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. [Weg90]
    Wegner, P.: Concepts and Paradigms of Object-Oriented Programming. ACM SIGPLAN OOP Messenger, Vol. 1, No. 1, 1990, pp. 7–87.Google Scholar
  38. [Wie90]
    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

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Thorsten Hartmann
    • 1
  • Ralf Jungclaus
    • 1
  • Gunter Saake
    • 1
  1. 1.Abt. DatenbankenTU BraunschweigBraunschweig

Personalised recommendations