Abstract
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.
This work was partially supported by the CEC under ESPRIT-2 BRA WG 3023 IS-CORE (Information Systems — COrrectness and REusability). The research work of Ralf Jungclaus is supported by Deutsche Forschungsgemeinschaft under Sa 465/1-1.
Chapter PDF
Similar content being viewed by others
Keywords
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.
References
[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.
Albano, A.; Cardelli, L.; Orsini, R.: Galileo: A Strongly Typed Interactive Conceptual Language. ACM Transactions on Database Systems, Vol. 10, 1985, pp. 230–260.
Abiteboul, S.; Hull, R.: IFO — A Formal Semantic Database Model. ACM Transactions on Database Systems, Vol. 12, No. 4, 1987, pp. 525–565.
[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.
Balzer, R.: Final Report on GIST. Technical report, USC/ISI, Marina del Rey, CA, 1981.
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.
[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.
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.
Brodie, M. L.; Mylopoulos, J. (eds.): On Knowledge Management Systems. Springer-Verlag, Berlin, 1986.
Brodie, M. L.; Mylopoulos, J.; Schmidt, J. W.: On Conceptual Modelling — Perspectives from Artificial Intelligence, Databases, and Programming Languages. Springer-Verlag, Berlin, 1984.
Booch, G.: Object-Oriented Design. Bejamin/Cummings, Menlo Park, CA, 1990.
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.
Cohen, B.; Harwood, W. T.; Jackson, M. I.: The Specification of Complex Systems. Addison-Wesley, Reading, MA, 1986.
DeMarco, T.: Structured Analysis and System Specification. Prentice-Hall, Englewood cliffs, NJ, 1979.
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.
Ehrich, H.-D.; Lipeck, U. W.; Gogolla, M.: Algebraische Spezifikation abstrakter Datentypen. Teubner Verlag, Stuttgart, 1989.
Ehrig, H.; Mahr, B.: Fundamentals of Algebraic Specification I: Equations and Initial Semantics. Springer-Verlag, Berlin, 1985.
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.
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.
Fiadeiro, J.; Maibaum, T.: Describing, Structuring and Implementing Objects. In: REX90: Foundations of Object-Oriented Languages, Noordwijkerhood (NL), 1990. Springer-Verlag, Berlin. To appear.
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.
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.
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.
van Griethuysen, J.: Concepts and Terminology for the Conceptual Schema and the Information Base. Report N695, ISO/TC97/SC5, 1982.
Hennessy, M.: Algebraic Theory of Processes. The MIT Press, Cambridge, MA, 1988.
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.
Hull, R.; King, R.: Semantic Database Modeling: Survey, Applications, and Research Issues. ACM Computing Surveys, Vol. 19, No. 3, 1987, pp. 201–260.
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.
Hoare, C. A. R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs, NJ, 1985.
ISO: Information Processing Systems, Definition of the Temporal Ordering Specification Language LOTOS. Report N1987, ISO/TC97/16, 1984.
Jackson, M. A.: System Development. Prentice-Hall, Englewood Cliffs, NJ, 1983.
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.
Korson, T.; McGregor, J. D.: Understanding Object-Oriented: A Unifying Paradigm. Communications of the ACM, Vol. 33, No. 9, 1990, pp. 40–60.
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.
London, P.; Feather, M.: Implementing Specification Freedoms. Science of Computer Programming, Vol. 2, 1982, pp. 91–131.
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.
Meyer, B.: Object-Oriented Software Construction. Prentice-Hall, Englewood Cliffs, NJ, 1988.
Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs, 1989.
Nixon, B. (ed.): TAXIS'84: Selected Papers. Technical Report CSRG-160, Dept. of CS, U. of Toronto, 1984.
Partsch, H. A.: Specification and Transformation of Programs: A Formal Approach to Software Development. Springer-Verlag, Berlin, 1990.
Peckham, J.; Maryanski, F.: Semantic Data Models. ACM Computing Surveys, Vol. 20, No. 3, 1988, pp. 153–189.
Saake, G.: Descriptive Specification of Database Object Behaviour. Data & Knowledge Engineering, Vol. 5, 1990. In print.
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.
Sernadas, A.: Temporal Aspects of Logical Procedure Definition. Information Systems, Vol. 5, 1980, pp. 167–187.
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.
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.
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.
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.
Sernadas, C.; Saake, G.: Formal Semantics of Object-Oriented Languages for Conceptual Modelling. IS-CORE Report, INESC, Lisbon, 1989.
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.
Schmidt, J. W.; Thanos, C. (eds.): Foundations of Knowledge Base Management. Springer-Verlag, Berlin, 1989.
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.
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).
Wieringa, R. J.: Algebraic Foundations for Dynamic Conceptual Models. PhD thesis, Vrije Universiteit, Amsterdam, 1990.
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.
Yeh, R. T.; Zave, P.: Specifying Software Requirements. Proc. IEEE, Vol. 68, No. 9, 1980, pp. 1077–1085.
Zave, P.: A Comprehensive Approach to Requirements Problems. In: Proc. COMPSAC'79, Chicago, IL, 1979. pp. 117–127.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jungclaus, R., Saake, G., Sernadas, C. (1991). Formal specification of object systems. In: Abramsky, S., Maibaum, T.S.E. (eds) TAPSOFT '91. TAPSOFT 1991. Lecture Notes in Computer Science, vol 494. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3540539816_61
Download citation
DOI: https://doi.org/10.1007/3540539816_61
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-53981-0
Online ISBN: 978-3-540-46499-0
eBook Packages: Springer Book Archive