Advertisement

Object-Oriented Design of Information Systems: Theoretical Foundations

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

Abstract

Information systems are reactive systems with a database. For their specification and design, concepts from conceptual data modeling and concurrent processes are relevant. In this paper, we outline a unifying theory borrowing ideas from these approaches and from abstract data type theory. Our approach utilizes a variant of temporal logic. It has been used to give a formal semantics for TROLL, the object-oriented information systems specification language developed at TU Braunschweig.

Keywords

Formal Semantic Language Feature Template Specification Reduction Functor Signature Morphism 
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. 1.
    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
  2. 2.
    H.-D. Ehrich, M. Gogolla, and A. Sernadas. Objects and their Specification. In M. Bidoit and C. Choppy, editors, Proc. 8th Workshop on Abstract Data Types (ADT’91), pages 40–65. Springer, Berlin, LNCS 655, 1992.Google Scholar
  3. 3.
    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
  4. 4.
    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
  5. 5.
    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
  6. 6.
    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
  7. 7.
    C. Sernadas and J. Fiadeiro. Towards Object-Oriented Conceptual Modelling. Data @ Knowledge Engineering, 6: 479–508, 1991.CrossRefGoogle Scholar
  8. 8.
    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
  9. 9.
    G. Saake, R. Jungclaus, and H.-D. Ehrich. Object-Oriented Specification and Stepwise Refinement. In J. de Meer, V. Heymer, and R. Roth, editors, Proc. Open Distributed Processing, Berlin (D), 8.–11. Okt. 1991 (IFIP Transactions C: Communication Systems, Vol. 1), pages 99–121. North-Holland, 1992.Google Scholar
  10. 10.
    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
  11. 11.
    G. Saake. Objektorientierte Spezifikation von Informationssystemen. Teubner, Leipzig, 1993.CrossRefGoogle Scholar
  12. 12.
    G. Saake, T. Hartmann, R. Jungclaus, and H.-D. Ehrich. Object-oriented design of information systems: TROLL language features. This volume.Google Scholar
  13. 13.
    J. Costa, A. Sernadas, and C. Sernadas. OBL-87: Manual do Utilizador. INESC, Lisbon, 1988.Google Scholar
  14. 14.
    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
  15. 15.
    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
  16. 16.
    A. Sernadas, C. Sernadas, P. Gouveia, P. Resende, and J. Gouveia. OBLOG-ObjectOriented Logic: An Informal Introduction. Internal report, INESC, Lisbon, 1991.Google Scholar
  17. 17.
    C. Sernadas, P. Resende, P. Gouveia, and A. Sernadas. In-The-Large Object-Oriented Design of Information Systems. In E. Falkenberg, C. Rolland, and E. N. El-Sayed, editors, Information Systems Concepts: Improving the Understanding, Alexandria, 1992. IFIP Transactions A, North-Holland, Amsterdam, 1992.Google Scholar
  18. 18.
    C. Sernadas, P. Gouveia, J. Gouveia, A. Sernadas, and P. Resende. The Reification Dimension in Object-Oriented Data Base Design. In D. Harper and M. Norrie, editors, Specification of Data Base Systems, pages 275–299. Springer-Verlag, London, 1992.CrossRefGoogle Scholar
  19. 19.
    S. Conrad, M. Gogolla, and R. Herzig. TROLL light: A Core Language for Specifying Objects. Informatik-Bericht 92–02, TU Braunschweig, 1992.Google Scholar
  20. 20.
    N. Vlachantonis, R. Herzig, M. Gogolla, G. Denker, S. Conrad, and H.-D. Ehrich. Towards Reliable Information Systems: The KORSO Approach. In C. Rolland, F. Bodart, and C. Cauvet, editors, Proc. 5th Int. Conf. on Advanced Information Systems Engineering (CAiSE’93), pages 463–482. Springer, Berlin, LNCS 685, 1993.Google Scholar
  21. 21.
    A. Sernadas. Temporal Aspects of Logical Procedure Definition. Information Systems, 5: 167–187, 1980.CrossRefMATHGoogle Scholar
  22. 22.
    J. Fiadeiro and T. Maibaum. Temporal Theories as Modularisation Units for Concurrent System Specification. Formal Aspects of Computing, 4 (3): 239–272, 1992.CrossRefMATHGoogle Scholar
  23. 23.
    J. A. Goguen and J. Meseguer. Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics. In B. Shriver and P. Wegner, editors, Research Directions in Object-Oriented Programming, pages 417–477. MIT Press, 1987.Google Scholar
  24. 24.
    J. Goguen and D. Wolfram. On types and foops. In R. Meersman, W. Kent, and S. Khosla, editors, Object-Oriented Databases: Analysis, Design and Construction (Proc. IFIP WG 2.6 Working Conference DS-4). Windermere (UK), 1990. North-Holland, Amsterdam, 1991.Google Scholar
  25. 25.
    L. Rapanotti and A. Socorro. Introducing foops. Report PRG-TR-28–92, Programming Research Group, Oxford University Computing Lab, 1992.Google Scholar
  26. 26.
    E. Astesiano, A. Giovini, G. Reggio, and E. Zucca. An integrated algebraic approach to the specification of data types, processes, and objects. In Algebraic Methods - Tools and Applications, pages 9.1–116. LNCS 394, Springer-Verlag, Berlin, 1989.Google Scholar
  27. 27.
    J. Meseguer and X. Qian. A logical semantics for object-oriented databases. In Proc. of the 1993 ACM SIGMOD Int. Conf. on Management of Data, pages 89–98. SIGMOD Record Vol. 22, Issue 2, 1993.Google Scholar
  28. 28.
    B. Cohen, W. T. Harwood, and M. I. Jackson. The Specification of Complex Systems. Addison-Wesley, Reading, MA, 1986.Google Scholar
  29. 29.
    H.-D. Ehrich, M. Gogolla, and U.W. Lipeck. Algebraische Spezifikation abstrakter Datentypen. Teubner, Stuttgart, 1989.CrossRefMATHGoogle Scholar
  30. 30.
    H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification I: Equations and Initial Semantics. Springer-Verlag, Berlin, 1985.CrossRefMATHGoogle Scholar
  31. 31.
    M. Hennessy. Algebraic Theory of Processes. The MIT Press, Cambridge, 1988.MATHGoogle Scholar
  32. 32.
    C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs, NJ, 1985.MATHGoogle Scholar
  33. 33.
    R. Milner. Communication and Concurrency. Prentice-Hall, Englewood Cliffs, 1989.MATHGoogle Scholar
  34. 34.
    W. Reisig. Petri Nets. Springer-Verlag, Berlin, 1985.MATHGoogle Scholar
  35. 35.
    G. Booch. Object-Oriented Design. Benjamin/Cummings, Menlo Park, CA, 1990.MATHGoogle Scholar
  36. 36.
    P. Coad and E. Yourdon. Object-Oriented Analysis. Yourdon Press/Prentice Hall, Englewood Cliffs, NJ, 1989.Google Scholar
  37. 37.
    P.M.D. Gray, K.G. Kulkarni, and N.W. Paton. Object-Oriented Databases: A Semantic Data Model Approach. Prentice Hall, Englewood Cliffs, NJ, 1992.MATHGoogle Scholar
  38. 38.
    I. Graham. Object-Oriented Methods. Addison Wesley, Reading, MA, 1991.MATHGoogle Scholar
  39. 39.
    R. Hull and R. King. Semantic Database Modeling: Survey, Applications, and Research Issues. ACM Computing Surveys, 19 (3): 201–260, 1987.CrossRefGoogle Scholar
  40. 40.
    J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modeling and Design. Prentice-Hall, Englewood Cliffs, NJ, 1991.Google Scholar
  41. 41.
    C. Rolland and C. Cauvet. Trends and Perspectives in Conceptual Modeling. In P. Loucopoulos and R. Zicari, editors, Conceptual Modeling, Databases, and Case, pages 27–48. John Wiley & Sons, New York, 1992.Google Scholar
  42. 42.
    R. Jungclaus. Modeling of Dynamic Object Systems—A Logic-Based Approach. Advanced Studies in Computer Science. Vieweg Verlag, Braunschweig/Wiesbaden, 1993.Google Scholar
  43. 43.
    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
  44. 44.
    J.A. Goguen and R. Burstall. Institutions: Abstract Model Theory for Specification and Programming. Journal of the ACM, 39: 95–146, 1992.CrossRefMATHMathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Wien 1994

Authors and Affiliations

  • H-D. Ehrich
    • 1
  • R. Jungclaus
    • 1
  • G. Denker
    • 1
  • A. Sernadas
    • 2
  1. 1.Technical University of BraunschweigBraunschweigGermany
  2. 2.INESCLisbonPortugal

Personalised recommendations