Formal specification of object systems

  • Ralf Jungclaus
  • Gunter Saake
  • Cristina Sernadas
CCPSD Colloquium On Combining Paradigms For Software Development
Part of the Lecture Notes in Computer Science book series (LNCS, volume 494)


The conceptual modeling of the Universe of Discourse (UoD) is an important phase for the development of information systems because the conceptual model is the basis for system development. Conceptual model specifications must be formal in order to be precise and unambiguous and to support consistency and completeness checks. The object-oriented paradigm is suitable for providing an integrated formal description of all relevant static and dynamic aspects of the UoD structured in objects. In this paper we introduce a formal concept of object suitable to represent the UoD by a collection of concurrent interacting objects. The Oblog +-language for object-oriented UoD-specification based on this concept supports the integrated description of data about objects, the development of objects through time and of various relationships between objects taking into account static and dynamic aspects of object interaction.


Object Class Object Type Abstract Data Type Birth Event Library Book 
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.


  1. [ABD+]
    [ABD+89] Atkinson, M.; Bancilhon, F.; DeWitt, D.; Dittrich, K. R.; Maier, D.; Zdonik, S. B.: The Object-Oriented Database System Manifesto. In: Kim, W.; Nicolas, J.-M.; Nishio, S. (eds.): Proc. Int. Conf. on Deductive and Object-Oriented Database Systems, Kyoto, Japan, December 1989. pp. 40–57.Google Scholar
  2. [ACO85]
    Albano, A.; Cardelli, L.; Orsini, R.: Galileo: A Strongly Typed Interactive Conceptual Language. ACM Transactions on Database Systems, Vol. 10, 1985, pp. 230–260.Google Scholar
  3. [AH87]
    Abiteboul, S.; Hull, R.: IFO — A Formal Semantic Database Model. ACM Transactions on Database Systems, Vol. 12, No. 4, 1987, pp. 525–565.Google Scholar
  4. [B+]
    [B+85] Bauer, F. L. et al.: The Munich Project CIP. Volume I: The Wide Spectrum Language CIP-L. LNCS 183. Springer-Verlag, Berlin, 1985.Google Scholar
  5. [Bal81]
    Balzer, R.: Final Report on GIST. Technical report, USC/ISI, Marina del Rey, CA, 1981.Google Scholar
  6. [BG77]
    Burstall, R.; Goguen, J. A.: Putting Theories Together to Make Specifications. In: Proc. 5th Int. Joint Conf. on Artificial Intelligence IJCAI'77, Cambridge, MA, 1977. pp. 1045–1058.Google Scholar
  7. [BJM+]
    [BJM+89] Borgida, A.; Jarke, M.; Mylopoulos, J.; Schmidt, J. W.; Vassiliou, Y.: The Software Development Environment as a Knowledge Base Management System. In: Schmidt, J. W.; Thanos, C. (eds.): Foundations of Knowledge Base Management. Springer-Verlag, Berlin, 1989, pp. 411–439.Google Scholar
  8. [BK86]
    Bergstra, J. A.; Klop, J. W.: Algebra of Communicating Processes. In: de Bakker, J. W.; Hazewinkel, M.; Lenstra, J. K. (eds.): Mathematics and Computer Science, CWI Monographs 1. North-Holland, Amsterdam, 1986, pp. 89–138.Google Scholar
  9. [BM86]
    Brodie, M. L.; Mylopoulos, J. (eds.): On Knowledge Management Systems. Springer-Verlag, Berlin, 1986.Google Scholar
  10. [BMS84]
    Brodie, M. L.; Mylopoulos, J.; Schmidt, J. W.: On Conceptual Modelling — Perspectives from Artificial Intelligence, Databases, and Programming Languages. Springer-Verlag, Berlin, 1984.Google Scholar
  11. [Boo90]
    Booch, G.: Object-Oriented Design. Bejamin/Cummings, Menlo Park, CA, 1990.Google Scholar
  12. [Che76]
    Chen, P.P.: The Entity-Relationship Model — Toward a Unified View of Data. ACM Transactions on Database Systems, Vol. 1, No. 1, 1976, pp. 9–36.Google Scholar
  13. [CHJ86]
    Cohen, B.; Harwood, W. T.; Jackson, M. I.: The Specification of Complex Systems. Addison-Wesley, Reading, MA, 1986.Google Scholar
  14. [DeM79]
    DeMarco, T.: Structured Analysis and System Specification. Prentice-Hall, Englewood cliffs, NJ, 1979.Google Scholar
  15. [EGS90]
    Ehrich, H.-D.; Goguen, J. A.; Sernadas, A.: A Categorial Theory of Objects as Observed Processes. In: Proc. REX/FOOL Workshop, Noordwijkerhood (NL), 1990. To appear.Google Scholar
  16. [ELG89]
    Ehrich, H.-D.; Lipeck, U. W.; Gogolla, M.: Algebraische Spezifikation abstrakter Datentypen. Teubner Verlag, Stuttgart, 1989.Google Scholar
  17. [EM85]
    Ehrig, H.; Mahr, B.: Fundamentals of Algebraic Specification I: Equations and Initial Semantics. Springer-Verlag, Berlin, 1985.Google Scholar
  18. [ES89]
    Ehrich, H.-D.; Sernadas, A.: Algebraic Implementation of Objects over Objects. In: deRoever, W. (ed.): Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness, Mood (NL), 1989. LNCS 394, Springer Verlag, Berlin, 1989, pp. 239–266.Google Scholar
  19. [FGJM85]
    Futatsugi, K.; Goguen, J. A.; Jouannaud, J.-P.; Meseguer, J.: Principles of OBJ2. In: Proc. 12th ACM Symp. on Principles of Programming Languages, New Orleans, 1985. pp. 52–66.Google Scholar
  20. [FM90]
    Fiadeiro, J.; Maibaum, T.: Describing, Structuring and Implementing Objects. In: REX90: Foundations of Object-Oriented Languages, Noordwijkerhood (NL), 1990. Springer-Verlag, Berlin. To appear.Google Scholar
  21. [FSMS90]
    Fiadeiro, J.; Sernadas, C.; Maibaum, T.; Saake, G.: Proof-Theoretic Semantics of Object-Oriented Specification Constructs. In: Meersman, R.; Kent, W. (eds.): Object-Oriented Databases: Analysis, Design and Construction (Proc. 4th IFIP WG 2.6 Working Conference DS-4), Windermere (UK), 1990. North-Holland, Amsterdam. In print.Google Scholar
  22. [GMB86]
    Greenspan, S.; Borgida, A. T.; Mylopoulos, J.: A Requirements Modelling Language and its Logic. In: Brodie, M. L.; Mylopoulos, J. (eds.): On Knowledge Base Management Systems. Springer-Verlag, Berlin, 1986, pp. 471–502.Google Scholar
  23. [GM87]
    Goguen, J. A.; Meseguer, J.: Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics. In: Shriver, B.; Wegner, P. (eds.): Research Directions in Object-Oriented Programming. MIT Press, 1987, pp. 417–477.Google Scholar
  24. [vGr82]
    van Griethuysen, J.: Concepts and Terminology for the Conceptual Schema and the Information Base. Report N695, ISO/TC97/SC5, 1982.Google Scholar
  25. [Hen88]
    Hennessy, M.: Algebraic Theory of Processes. The MIT Press, Cambridge, MA, 1988.Google Scholar
  26. [HG88]
    Hohenstein, U.; Gogolla, M.: A Calculus for an Extended Entity-Relationship Model Incorporating Arbitrary Data Operations and Aggregate Functions. In: Proc. 7th Int. Conf. on the Entity-Relationship Approach, Rome, 1988. North-Holland, Amsterdam, 1988.Google Scholar
  27. [HK87]
    Hull, R.; King, R.: Semantic Database Modeling: Survey, Applications, and Research Issues. ACM Computing Surveys, Vol. 19, No. 3, 1987, pp. 201–260.Google Scholar
  28. [HM81]
    Hammer, M. M.; McLeod, D. J.: Database Description with SDM: A Semantic Database Model. ACM Transactions on Database Systems, Vol. 6, No. 3, 1981, pp. 351–381.Google Scholar
  29. [Hoa85]
    Hoare, C. A. R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs, NJ, 1985.Google Scholar
  30. [ISO84]
    ISO: Information Processing Systems, Definition of the Temporal Ordering Specification Language LOTOS. Report N1987, ISO/TC97/16, 1984.Google Scholar
  31. [Jac83]
    Jackson, M. A.: System Development. Prentice-Hall, Englewood Cliffs, NJ, 1983.Google Scholar
  32. [JSS90]
    Jungclaus, R.; Saake, G.; Sernadas, C.: Using Active Objects for Query Processing. In: Meersman, R.; Kent, W. (eds.): Object-Oriented Databases: Analysis, Design and Construction (Proc. 4th IFIP WG 2.6 Working Conference DS-4), Windermere (UK), 1990. North-Holland, Amsterdam. In print.Google Scholar
  33. [KM90]
    Korson, T.; McGregor, J. D.: Understanding Object-Oriented: A Unifying Paradigm. Communications of the ACM, Vol. 33, No. 9, 1990, pp. 40–60.Google Scholar
  34. [KS90]
    Kappel, G.; Schrefl, M.: Object/Behavior Diagrams. Technical Report CD-TR 90/12, TU Wien, 1990. To appear in Proc. Int. Conf. on Data Engineering 1991.Google Scholar
  35. [LF82]
    London, P.; Feather, M.: Implementing Specification Freedoms. Science of Computer Programming, Vol. 2, 1982, pp. 91–131.Google Scholar
  36. [MBW80]
    Mylopoulos, J.; Bernstein, P. A.; Wong, H. K. T.: A Language Facility for Designing Interactive Database-Intensive Applications. ACM Transactions on Database Systems, Vol. 5, No. 2, 1980, pp. 185–207.Google Scholar
  37. [Mey88]
    Meyer, B.: Object-Oriented Software Construction. Prentice-Hall, Englewood Cliffs, NJ, 1988.Google Scholar
  38. [Mil89]
    Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs, 1989.Google Scholar
  39. [Nix84]
    Nixon, B. (ed.): TAXIS'84: Selected Papers. Technical Report CSRG-160, Dept. of CS, U. of Toronto, 1984.Google Scholar
  40. [Par90]
    Partsch, H. A.: Specification and Transformation of Programs: A Formal Approach to Software Development. Springer-Verlag, Berlin, 1990.Google Scholar
  41. [PM88]
    Peckham, J.; Maryanski, F.: Semantic Data Models. ACM Computing Surveys, Vol. 20, No. 3, 1988, pp. 153–189.Google Scholar
  42. [Saa90]
    Saake, G.: Descriptive Specification of Database Object Behaviour. Data & Knowledge Engineering, Vol. 5, 1990. In print.Google Scholar
  43. [SE90]
    Sernadas, A.; Ehrich, H.-D.: What Is an Object, After All? In: Meersman, R.; Kent, W. (eds.): Object-Oriented Databases: Analysis, Design and Construction (Proc. 4th IFIP WG 2.6 Working Conference DS-4), Windermere (UK), 1990. North-Holland, Amsterdam. In print.Google Scholar
  44. [Ser80]
    Sernadas, A.: Temporal Aspects of Logical Procedure Definition. Information Systems, Vol. 5, 1980, pp. 167–187.Google Scholar
  45. [SFL83]
    Smith, J. M.; Fox, S. A.; Landers, T.: ADAPLEX: Rationale and Reference Manual. Technical Report CCA-83-08, Computer Corp. of America, Cambridge, MA, 1983.Google Scholar
  46. [SFSE89]
    Sernadas, A.; Fiadeiro, J.; Sernadas, C.; Ehrich, H.-D.: The Basic Building Blocks of Information Systems. In: Falkenberg, E.; Lindgreen, P. (eds.): Information System Concepts: An In-Depth Analysis, Namur (B), 1989. North-Holland, Amsterdam, 1989, pp. 225–246.Google Scholar
  47. [SJ90]
    Saake, G.; Jungclaus, R.: Information about Objects versus Derived Objects. In: Göers, J.; Heuer, A. (eds.): Second Workshop on Foundations and Languages for Data and Objects, Aigen (A), 1990. Informatik-Bericht 90/3, Technische Universität Clausthal, pp. 59–70.Google Scholar
  48. [SS85]
    Sernadas, A.; Sernadas, C.: Capturing Knowledge about the Organization Dynamics. In: Methlie, L.; Sprague, R. (eds.): Knowledge Representation for Decision Support Systems. North-Holland, Amsterdam, 1985, pp. 255–267.Google Scholar
  49. [SS89]
    Sernadas, C.; Saake, G.: Formal Semantics of Object-Oriented Languages for Conceptual Modelling. IS-CORE Report, INESC, Lisbon, 1989.Google Scholar
  50. [SSE87]
    Sernadas, A.; Sernadas, C.; Ehrich, H.-D.: Object-Oriented Specification of Databases: An Algebraic Approach. In: Hammerslay, P. (ed.): Proc. 13th Int. Conf. on Very Large Databases VLDB'87, Brighton (GB), 1987. Morgan-Kaufmann, Palo Alto, 1987, pp. 107–116.Google Scholar
  51. [ST89]
    Schmidt, J. W.; Thanos, C. (eds.): Foundations of Knowledge Base Management. Springer-Verlag, Berlin, 1989.Google Scholar
  52. [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
  53. [Weg87]
    Wegner, P.: Dimensions of Object-Based Language Design. In: OOPSLA Conference Proceedings, Orlando, FL, 1987. ACM, New York, 1987, pp. 168–182. (Special Issue of SIGPLAN Notices, Vol. 22, No. 12, November 1987).Google Scholar
  54. [Wie90a]
    Wieringa, R. J.: Algebraic Foundations for Dynamic Conceptual Models. PhD thesis, Vrije Universiteit, Amsterdam, 1990.Google Scholar
  55. [Wie90b]
    Wieringa, R.J.: Equational Specification of Dynamic Objects. In: Meersman, R.; Kent, W. (eds.): Object-Oriented Databases: Analysis, Design and Construction (Proc. 4th IFIP WG 2.6 Working Conference DS-4), Windermere (UK), 1990. North-Holland, Amsterdam. In print.Google Scholar
  56. [YZ80]
    Yeh, R. T.; Zave, P.: Specifying Software Requirements. Proc. IEEE, Vol. 68, No. 9, 1980, pp. 1077–1085.Google Scholar
  57. [Zav79]
    Zave, P.: A Comprehensive Approach to Requirements Problems. In: Proc. COMPSAC'79, Chicago, IL, 1979. pp. 117–127.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Ralf Jungclaus
    • 1
  • Gunter Saake
    • 1
  • Cristina Sernadas
    • 2
  1. 1.Abt. DantenbankenTechn. Universität BraunschweigBraunschweigFRG
  2. 2.INESCLisboa CodexPortugal

Personalised recommendations