Skip to main content
SpringerLink
Log in

Modelling information systems as object societies

  • Conference paper
  • First Online:
Management and Processing of Complex Data Structures (IS/KI 1994)

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

Included in the following conference series:

Abstract

Conceptual modelling of complex information systems requires the use of a formal design approach covering both static and dynamic aspects of the system and the modelled Universe of Discourse. Viewing an information system as a collection of communicating objects is close to the intuitive perception of such systems on a conceptual level. Objects have a local state, show a specific behaviour, communicate with other objects and may be itself composed from smaller objects. This article presents an abstract concept of such dynamic objects and discusses language features of a specification language for describing object systems. The presented language Troll2 supports structuring mechanisms of semantic data models together with process specification constructs to cover object dynamics. Extensions of the presented framework are discussed covering the step from communicating objects to cooperating agents allowing more flexible system structures.

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

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. S. Brass, U.W. Lipeck, and P. Resende. Specification of Object Behaviour with Defaults. In U.W. Lipeck and G. Koschorreck, editors, Proc. Intern. Workshop on Information Systems — Correctness and Reusability IS-CORE '93, Technical Report, University of Hannover No. 01/93, pages 155–177, 1993.

    Google Scholar 

  2. G. Booch. Object Oriented Design with Applications. Benjamin/Cummings, Redwood City, 1991.

    Google Scholar 

  3. S. Conrad, M. Gogolla, and R. Herzig. TROLL light: A Core Language for Specifying Objects. Informatik-Bericht 92–02, TU Braunschweig, 1992.

    Google Scholar 

  4. P. Coad and E. Yourdon. Object-Oriented Design. Prentice Hall, Englewood Cliffs, New Jersey, 1991.

    Google Scholar 

  5. U. Dayal, A.P. Buchmann, and D.R. McCarthy. Rules are Objects Too: A Knowledge Model for an Object-Oriented Database System. In K.R. Dittrich, editor, Advances in Object-Oriented Database Systems, pages 129–143. Springer, Berlin, LNCS 341, 1988.

    Google Scholar 

  6. E. Dubois, P. Du Bois, and M. Petit. O-O Requirements Analysis: An Agent Perspective. In O. Nierstrasz, editor, ECOOP'93—Object-Oriented Programming (Proc. 7th European Conference), pages 458–481, Kaiserslautern, 1993. LNCS 707, Springer-Verlag, Berlin, 1993.

    Google Scholar 

  7. H.-D. Ehrich, G. Denker, and A. Sernadas. Constructing Systems as Object Communities. In M.-C. Gaudel and J.-P. Jouannaud, editors, Proc. TAPSOFT'93: Theory and Practice of Software Development, pages 453–467. LNCS 668, Springer, Berlin, 1993.

    Google Scholar 

  8. H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1. Equations and Initial Semantics. Springer-Verlag, Berlin, 1985.

    Google Scholar 

  9. H.-D. Ehrich, G. Saake, and A. Sernadas. Concepts of Object-Orientation. In Proc. of the 2nd Workshop of “Informationssysteme und Künstliche Intelligenz: Modellierung”, Ulm (Germany), pages 1–19. Springer IFB 303, 1992.

    Google Scholar 

  10. R. Hull and R. King. Semantic Database Modeling: Survey, Applications, and Research Issues. ACM Computing Surveys, 19(3):201–260, 1987.

    Google Scholar 

  11. T. Hartmann and G. Saake. Abstract Specification of Object Interaction. Informatik-Bericht 93-08, Technische Universität Braunschweig, 1993.

    Google Scholar 

  12. T. Hartmann, G. Saake, R. Jungclaus, P. Hartel, and J. Kusch. Revised Version of the Modelling Language TROLL. ”Informatik-Bericht”, TU Braunschweig, 1993. In preparation.

    Google Scholar 

  13. R. Jungclaus, T. Hartmann, and G. Saake. Relationships between Dynamic Objects. In H. Kangassalo, H. Jaakkola, K. Hori, and T. Kitahashi, editors, Information Modelling and Knowledge Bases IV: Concepts, Methods and Systems (Proc. 2nd European-Japanese Seminar, Hotel Ellivuori (SF)), pages 425–438. IOS Press, Amsterdam, 1993.

    Google Scholar 

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

  15. R. Jungclaus. Modeling of Dynamic Object Systems—A Logic-Based Approach. Advanced Studies in Computer Science. Vieweg Verlag, Braunschweig/Wiesbaden, 1993.

    Google Scholar 

  16. G. Kappel and M. Schrefl. Object/Behavior Diagrams. In Proc. 7th Int. Conf. on Data Engineering, pages 530–539, Kobe, Japan, 1991. IEEE Computer Society Press, Los Alamitos.

    Google Scholar 

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

    Google Scholar 

  18. J.-J. Ch. Meyer and R. J. Wieringa, editors. Deontic Logic in Computer Science. Normative System Specification. Wiley, Chichester, 1993.

    Google Scholar 

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

    Google Scholar 

  20. G. Saake. Descriptive Specification of Database Object Behaviour. Data & Knowledge Engineering, 6(1):47–74, 1991. North-Holland.

    Google Scholar 

  21. G. Saake. Objektorientierte Spezifikation von Informationssystemen. Teubner, Stuttgart/Leipzig, 1993. Habilitationsschrift.

    Google Scholar 

  22. G. Saake, R. Jungclaus, and T. Hartmann. Application Modelling in Heterogeneous Environments using an Object Specification Language. In M. Huhns, M.P. Papazoglou, and G. Schlageter, editors, Int. Conf. on Intelligent & Cooperative Information Systems (ICI-CIS'93), pages 309–318. IEEE Computer Society Press, 1993.

    Google Scholar 

  23. A. Sernadas, C. Sernadas, and J. F. Costa. Object Specification Logic. Research report, INESC/DMIST, Lisbon (P), 1992. To appear in Journal of Logic and Computation.

    Google Scholar 

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

  25. Gunter Saake, Amílcar Sernadas, Cristina Sernadas, and Ralf Jungclaus. Evolving Object Specifications. Technical report, INESC Lisbon & TU Braunschweig, Draft Version, 1993.

    Google Scholar 

  26. L.A. Stein. Delegation is Inheritance. SIGPLAN Notices, Special Issue OOPSLA87, 22(12):138–146, 1987.

    Google Scholar 

  27. J. Su. Dynamic Constraints and Object Migration. In G. M. Lohmann, A. Sernadas, and R. Camps, editors, Proc. Intern. Conf. on Very Large Databases VLDB'91, Barcelona, pages 233–242, 1991.

    Google Scholar 

  28. R. Wieringa and W. de Jonge. The Identification of Objects and Roles — Object Identifiers Revisited. Technical Report IR-267, Vrije Universiteit, Amsterdam, 1991.

    Google Scholar 

  29. R.J. Wieringa. Algebraic Foundations for Dynamic Conceptual Models. PhD thesis, Vrije Universiteit, Amsterdam, 1990.

    Google Scholar 

  30. R. Wieringa, R. Jungclaus, P. Hartel, T. Hartmann, and G. Saake. omTroll — Object Modeling in Troll. In U.W. Lipeck and G. Koschorreck, editors, Proc. Intern. Workshop on Information Systems — Correctness and Reusability IS-CORE '93, Technical Report, University of Hannover No. 01/93, pages 267–283, 1993.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Abt. Datenbanken, Techn. Universität Braunschweig, POBox 3329, D-38023, Braunschweig

    Gunter Saake & Thorsten Hartmann

Authors
  1. Gunter Saake
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Thorsten Hartmann
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Kai von Luck Heinz Marburger

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Saake, G., Hartmann, T. (1994). Modelling information systems as object societies. In: von Luck, K., Marburger, H. (eds) Management and Processing of Complex Data Structures. IS/KI 1994. Lecture Notes in Computer Science, vol 777. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57802-1_9

Download citation

  • DOI: https://doi.org/10.1007/3-540-57802-1_9

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57802-4

  • Online ISBN: 978-3-540-48335-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation