Advertisement

Modelling information systems as object societies

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

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.

Keywords

Temporal Logic Object Class Composite Object Automatic Teller Machine Role Class 
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. [BLR93]
    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. [Boo91]
    G. Booch. Object Oriented Design with Applications. Benjamin/Cummings, Redwood City, 1991.Google Scholar
  3. [CGH92]
    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. [CY91]
    P. Coad and E. Yourdon. Object-Oriented Design. Prentice Hall, Englewood Cliffs, New Jersey, 1991.Google Scholar
  5. [DBM88]
    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. [DDP93]
    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. [EDS93]
    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. [EM85]
    H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1. Equations and Initial Semantics. Springer-Verlag, Berlin, 1985.Google Scholar
  9. [ESS92]
    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. [HK87]
    R. Hull and R. King. Semantic Database Modeling: Survey, Applications, and Research Issues. ACM Computing Surveys, 19(3):201–260, 1987.Google Scholar
  11. [HS93]
    T. Hartmann and G. Saake. Abstract Specification of Object Interaction. Informatik-Bericht 93-08, Technische Universität Braunschweig, 1993.Google Scholar
  12. [HSJ+93]
    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. [JHS93]
    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. [JSHS91]
    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. [Jun93]
    R. Jungclaus. Modeling of Dynamic Object Systems—A Logic-Based Approach. Advanced Studies in Computer Science. Vieweg Verlag, Braunschweig/Wiesbaden, 1993.Google Scholar
  16. [KS91]
    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. [MP92]
    Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Vol. 1: Specification. Springer-Verlag, New York, 1992.Google Scholar
  18. [MW93]
    J.-J. Ch. Meyer and R. J. Wieringa, editors. Deontic Logic in Computer Science. Normative System Specification. Wiley, Chichester, 1993.Google Scholar
  19. [RBP+90]
    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. [Saa91]
    G. Saake. Descriptive Specification of Database Object Behaviour. Data & Knowledge Engineering, 6(1):47–74, 1991. North-Holland.Google Scholar
  21. [Saa93]
    G. Saake. Objektorientierte Spezifikation von Informationssystemen. Teubner, Stuttgart/Leipzig, 1993. Habilitationsschrift.Google Scholar
  22. [SJH93]
    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. [SSC92]
    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. [SSE87]
    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. [SSSJ93]
    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. [Ste87]
    L.A. Stein. Delegation is Inheritance. SIGPLAN Notices, Special Issue OOPSLA87, 22(12):138–146, 1987.Google Scholar
  27. [Su91]
    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. [WJ91]
    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. [Wie90]
    R.J. Wieringa. Algebraic Foundations for Dynamic Conceptual Models. PhD thesis, Vrije Universiteit, Amsterdam, 1990.Google Scholar
  30. [WJH+93]
    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

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • Gunter Saake
    • 1
  • Thorsten Hartmann
    • 1
  1. 1.Abt. DatenbankenTechn. Universität BraunschweigBraunschweig

Personalised recommendations