Constructing systems as object communities

  • Hans-Dieter Ehrich
  • Grit Denker
  • Amilcar Sernadas
Invited Survey
Part of the Lecture Notes in Computer Science book series (LNCS, volume 668)

Abstract

We give a survey of concepts for system specification and design based on the viewpoint that a system is a community of objects. Objects are self-contained units of structure and behavior capable of operating independently and cooperating concurrently. Our approach integrates concepts from semantic data modeling and concurrent processes, adopting structuring principles partly developed in the framework of object-orientation and partly in that of abstract data types. A theory of object specification based on temporal logic is briefly outlined.

References

  1. [Bo91]
    Booch,G.: Object-Oriented Design. Addison-Wesley, Reading (Mass.) 1991Google Scholar
  2. [Br91]
    Broy,M.: Compositional Refinement of Interactive Systems. Technical Report, Tech. Univ. München and DEC System Research Center, Palo Alto, 1991Google Scholar
  3. [Br92]
    Braß,S.: Defaults in deduktiven Datenbanken. Dissertation, Universität Hannover 1992Google Scholar
  4. [CHJ86]
    Cohen,B.;Harwood,W.T.;Jackson,M.: The Specification of Complex Systems. Addison Wesley, Reading 1986Google Scholar
  5. [Co90]
    Cox,B.J.: Planning the Software Industrial Revolution. IEEE Software, vol 7, no 6, 1990, 25–33CrossRefGoogle Scholar
  6. [CSS89]
    Costa,J.-F.;Sernadas,A.;Sernadas,C.: OBL-89 Users Manual (version 2.3). Internal Report, INESC, Lisbon 1989Google Scholar
  7. [CY91]
    Coad,P.;Yourdon,E.: Object-Oriented Design. Pergamon Press, Englewood Cliffs 1991Google Scholar
  8. [EGL89]
    Ehrich,H.-D.;Gogolla,M.;Lipeck,U.: Algebraische Spezifikation Abstrakter Datentypen. Teubner-Verlag, Stuttgart 1989Google Scholar
  9. [EGS91]
    Ehrich, H.-D.; Goguen, J.A.; Sernadas, A.: A Categorial Theory of Objects as Observed Processes. Proc. REX/FOOL School/Workshop, deBakker, J.W. et. al. (eds.), LNCS 489, Springer-Verlag, Berlin 1991, 203–228Google Scholar
  10. [EGS92]
    Ehrich,H.-D.;Gogolla,M.;Sernadas,A.: Objects and Their Specification. Proc. 8th Workshop on Abstract Data Types, M. Bidoit, C. Choppy (eds.), LNCS 655, Springer-Verlag, Berlin 1992, 40–66Google Scholar
  11. [EM85]
    Ehrig,H.;Mahr,B.: Fundamentals of Algebraic Specification 1. Springer-Verlag, Berlin 1985Google Scholar
  12. [EM90]
    Ehrig,H.;Mahr,B,: Fundamentals of Algebraic Specification 2. Springer-Verlag, Berlin 1985Google Scholar
  13. [ES91]
    Ehrich, H.-D.; Sernadas, A.: Fundamental Object Concepts and Constructions. Information Systems — Correctness and Reusability, Proc. ISCORE Workshop'91 (G. Saake, A. Sernadas, eds.), Informatik-Berichte 91-03, Techn. Univ. Braunschweig 1991, 1–24Google Scholar
  14. [ESS89]
    Ehrich,H.-D.;Sernadas,A.;Semadas,C.: Objects, Object Types, and Object Identification. In Categorical Methods in Computer Science (H. Ehrig et al, eds.), LNCS 393, Springer-Verlag, Berlin 1989, 142–156Google Scholar
  15. [ESS92]
    Ehrich,H.-D.;Saake,G.;Sernadas,A.: Concepts of Object-Orientation. Proc. 2nd Workshop Informationssysteme und Künstliche Intelligenz: Modellierung, Informatik-Fachberichte 303, Springer-Verlag, Berlin 1992, 1–19Google Scholar
  16. [FM92]
    Fiadeiro,J.;Maibaum,T.: Temporal Theories as Modularisation Units for Concurrent System Specification. Formal Aspects of Computing 4 (1992), 239–272CrossRefGoogle Scholar
  17. [FSMS92]
    Fiadeiro,J.;Sernadas,C.;Maibaum,T.;Sernadas,A.: Describing and Structuring Objects for Conceptual Schema Development. Conceptual Modelling, Databases and CASE: An Integrated View of Information Systems Development (P. Loucopoulos, R. Zicari,eds.), John Wiley, New York 1992, 117–138Google Scholar
  18. [GB92]
    Goguen,J.A.;Burstall,R.M.: Institutions: Abstract Model Theory for Specification and Programming. Journal of the ACM 39 (1992), 95–146CrossRefGoogle Scholar
  19. [GKP92]
    Gray,P.M.D.;Kulkarni,K.G.;Paton,N.W.: Object-Oriented Databases: A Semantic Data Model Approach. Prentice Hall, Reading 1992Google Scholar
  20. [Gr91]
    Graham,I.: Object-Oriented Methods. Addison Wesley, New York 1991Google Scholar
  21. [He88]
    Hennessy,M.: Algebraic Theory of Processes. The MIT Press, Cambridge 1988Google Scholar
  22. [HK87]
    Hull,R.;King,R.: Semantic Database Modelling: Survey, Applications, and Research Issues. ACM Computing Surveys 19(1987), 201–260CrossRefGoogle Scholar
  23. [Ho72]
    Hoare,C.A.R.: Proof of Correctness of Data Representations. Acta Informatica 1 (1972), 271–281CrossRefGoogle Scholar
  24. [Ho85]
    Hoare,C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs 1985Google Scholar
  25. [JF88]
    Johnson,R.E.;Foote,B.: Designing Reusable Classes. Journal of 00 Programming, vol 1, no 2, 1988, 22–35Google Scholar
  26. [JSHS91]
    Jungclaus,R.; Saake,G.; Hartmann,T.; Sernadas,C.: Object-Oriented Specification of Information Systems: The TROLL Language. Informatik-Bericht, TU Braunschweig 1991Google Scholar
  27. [Ju93]
    Jungclaus,R.: Logic-Based Modeling of Dynamic Object Systems. Doktorarbeit, TU Braunschweig 1993Google Scholar
  28. [Lo93]
    Löhr-Richter,P.: Generische Methoden für die frühen Entwurfsphasen von Informationssystemen. Doktorarbeit, TU Braunschweig 1993Google Scholar
  29. [Mi89]
    Milner,R.: Communication and Concurrency. Prentice Hall, Englewood Cliffs 1989Google Scholar
  30. [Pn77]
    Pnueli,A.: The Temporal Logic of Programs. Proc. 18th FOCS 1977, 46–57Google Scholar
  31. [RBPEL91]
    Rumbaugh,J.;Blaha,M.;Premerlani,W.;Eddy,F.;Lorensen,W.: Object-Oriented Modeling and Design. Prentice-Hall, Englewood Cliffs 1991Google Scholar
  32. [RC92]
    Rolland,C.;Cauvet,C.: Trends and Perspectives in Conceptual Modeling. Conceptual Modelling, Databases and CASE: An Integrated View of Information Systems Development (P. Loucopoulos, R. Zicari,eds.), John Wiley, New York 1992Google Scholar
  33. [Re85]
    Reisig,W.: Petri Nets: An Introduction. Springer-Verlag, Berlin 1985Google Scholar
  34. [REX89]
    de Bakker,J.W.;de Roever,W.-P.;Rozenberg,G.(editors): Stepwise Refinement of Distributed Systems: Models, Formalism, Correctness. Proc. REX Workshop 1989, LNCS 430, Springer-Verlag, Berlin 1990Google Scholar
  35. [Sa92]
    Saake,G.: Objektorientierte Spezifikation von Informationssystemen: Konzepte und Sprachvorschläge. Habilitationsschrift, TU Braunschweig 1992Google Scholar
  36. [SCS92]
    Sernadas,A.;Costa,J.F.;Sernadas,C.: An Institution of Object Behaviour. Preprint 22/92, IST Lisbon 1992Google Scholar
  37. [Se80]
    Sernadas,A.: Temporal Aspects of Logical Procedure Definition. Information Systems 5 (1980), 167–187CrossRefGoogle Scholar
  38. [SE91]
    Sernadas,A.;Ehrich,H.-D.: What is an Object, After All? Object Oriented Databases: Analysis, Design and Construction (R. Meersman, W. Kent, S. Khosla, eds.), North Holland, Amsterdam 1991, 39–69Google Scholar
  39. [SF91]
    Sernadas,C.;Fiadeiro,J.: Towards Object-Oriented Conceptual Modelling. Data and Knowledge Engineering 6(6), 1991, 47–508CrossRefGoogle Scholar
  40. [SGS92]
    Sernadas,C.;Gouveia,P.;Sernadas,A.: Refinement: Layered Definition of Conceptual Schemata. Information System Concepts (E. Falkcnberg,C. Rolland,E.N. El-Sayed, eds.), North-Holland, Amsterdam 1992, 19–51Google Scholar
  41. [SJE92]
    Saake,G.;Jungclaus,R.;Ehrich,H.-D.: Object-Oriented Specification and Stepwise Refinement. IFIP Transactions C: Communication Systems, Vol. 1: Proc. Open Distributed Processing, J. de Meer, V. Heymer, R. Roth (eds.), North-Holland, Berlin 1992, 99–121Google Scholar
  42. [SSC92]
    Sernadas,A.;Sernadas,C.;Costa,J.F.: Object Specification Logic. Preprint 20/92, IST Lisbon 1992Google Scholar
  43. [SSE87]
    Sernadas,A.;Sernadas,C.;Ehrich,H.-D.: Object-Oriented Specification of Databases: An Algebraic Approach. Proc. 13th VLDB, Stocker,P.M.; Kent,W. (eds.), MorganKaufmann Publ. Inc., Los Altos 1987, 107–116Google Scholar
  44. [TNG92]
    Tsichritzis,D.;Nierstrasz,O.;Gibbs,S.: Beyond Objects: Objects. Int. J. of Intelligent and Cooperative Information Systems, vol 1, no 1, 1992, 43–60CrossRefGoogle Scholar

Copyright information

© Springer-Verlag 1993

Authors and Affiliations

  • Hans-Dieter Ehrich
    • 1
  • Grit Denker
    • 1
  • Amilcar Sernadas
    • 2
  1. 1.Abteilung DatenbankenTechnische UniversitätBraunschweigGermany
  2. 2.Computer Science GroupINESCLisbon CodexPortugal

Personalised recommendations