Formal Specification of Object Systems

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.

[1]  Matthew Hennessy,et al.  Algebraic theory of processes , 1988, MIT Press series in the foundations of computing.

[2]  Pamela Zave,et al.  A comprehensive approach to requirements problems , 1979, COMPSAC.

[3]  D. A Jardine,et al.  Concepts and terminology for the conceptual schema and the information base , 1984 .

[4]  Amílcar Sernadas,et al.  Algebraic Implementation of Objects over Objects , 1989, REX Workshop.

[5]  P. Zave,et al.  Specifying software requirements , 1980, Proceedings of the IEEE.

[6]  Joseph A. Goguen,et al.  A Categorial Theory of Objects as Observed Processes , 1990, REX Workshop.

[7]  Serge Abiteboul,et al.  IFO: a formal semantic database model , 1987, TODS.

[8]  David Gries,et al.  Specification and Transformation of Programs: A Formal Approach to Software Development , 1990 .

[9]  Amílcar Sernadas,et al.  Temporal aspects of logical procedure definiton , 1980, Inf. Syst..

[10]  Amílcar Sernadas,et al.  What is an Object, After All? , 1990, DS-4.

[11]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[12]  Roger King,et al.  Semantic database modeling: survey, applications, and research issues , 1987, CSUR.

[13]  Michael Schrefl,et al.  Object/behavior diagrams , 1991, [1991] Proceedings. Seventh International Conference on Data Engineering.

[14]  John Mylopoulos,et al.  A requirements modeling language and its logic , 1986, Inf. Syst..

[15]  Joseph A. Goguen,et al.  Putting Theories Together to Make Specifications , 1977, IJCAI.

[16]  Gunter Saake,et al.  Proof-Theoretic Semantics of Object-Oriented Specification Constructs , 1990, DS-4.

[17]  Friedrich L. Bauer,et al.  The Munich Project CIP , 1988, Lecture Notes in Computer Science.

[18]  Gunter Saake.  Descriptive Specification of Database Object Behaviour , 1991, Data Knowl. Eng..

[19]  Roelf J. Wieringa,et al.  Algebraic Foundations for Dynamic Conceptual Models , 1990 .

[20]  John Mylopoulos,et al.  A language facility for designing interactive database-intensive applications , 1978, SIGMOD '78.

[21]  Roel Wieringa.  Equational Specification of Dynamic Objects , 1990, DS-4.

[22]  José Luiz Fiadeiro,et al.  Describing, Structuring and Implementing Objects , 1990, REX Workshop.

[23]  Peter Wegner,et al.  Dimensions of object-based language design , 1987, OOPSLA '87.

[24]  Matthias Jarke,et al.  The Software Development Environment as a Knowledge Base Management System , 1989, Foundations of Knowledge Base Management.

[25]  John D. McGregor,et al.  Understanding object-oriented: a unifying paradigm , 1990, CACM.

[26]  Cristina Sernadas,et al.  Object-Oriented Specification of Databases: An Algebraic Approach , 1987, VLDB.

[27]  Grzegorz Rozenberg,et al.  Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness , 1989, Lecture Notes in Computer Science.

[28]  Renzo Orsini,et al.  GALILEO: a strongly-typed, interactive conceptual language , 1985, TODS.

[29]  Martin Gogolla,et al.  Algebraische Spezifikation abstrakter Datentypen , 1989 .

[30]  John Mylopoulos,et al.  Foundations of Knowledge Base Management , 1989, Topics in Information Systems.

[31]  Jan Willem Klop,et al.  Algebra of communicating processes : part II , 1984 .

[32]  Joan Peckham,et al.  Semantic data models , 1988, CSUR.

[33]  H. Ehrig,et al.  Equational Specifications and Algebras , 1985 .

[34]  John Mylopoulos,et al.  A language facility for designing database-intensive applications , 1980, TODS.

[35]  Friedrich L. Bauer,et al.  The Munich Project CIP: Volume I: The Wide Spectrum Language CIP-L , 1985 .

[36]  Michael L. Brodie,et al.  On Conceptual Modelling , 1984, Topics in Information Systems.

[37]  Lois M. L. Delcambre,et al.  An analysis of the structural, dynamic, and temporal aspects of semantic data models , 1986, 1986 IEEE Second International Conference on Data Engineering.

[38]  Martin S. Feather,et al.  Implementing Specification Freedoms , 1986, Sci. Comput. Program..

[39]  Gunter Saake,et al.  Using Active Objects for Query Processing , 1990, DS-4.

[40]  Dennis McLeod,et al.  Database description with SDM: a semantic database model , 1981, TODS.

[41]  José Meseguer,et al.  Principles of OBJ2 , 1985, POPL.

[42]  Edward Yourdon,et al.  Object-oriented design , 1991, Yourdon Press Computing Series.

[43]  Michael L. Brodie.  On knowledge base management systems: integrating artificial intelligence and database technologies , 2011, Topics in information systems.

[44]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[45]  Bruce D. Shriver,et al.  Research Directions in Object-Oriented Programming , 1987 .

[46]  W. T. Harwood,et al.  The specification of complex systems , 1986 .

[47]  David J. DeWitt,et al.  The Object-Oriented Database System Manifesto , 1994, Building an Object-Oriented Database System, The Story of O2.

[48]  簡聰富,et al.  物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .

[49]  Tom DeMarco,et al.  Structured Analysis and System Specification , 1978 .

[50]  José Meseguer,et al.  Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics , 1987, Research Directions in Object-Oriented Programming.

[51]  José Luiz Fiadeiro,et al.  The Basic Building Blocks of Information Systems , 1989, ISCO.

[52]  Gunter Saake,et al.  Information about Objects versus Derived Objects (Extended Abstract) , 1990, Workshop on Foundations of Models and Languages for Data and Objects.

[53]  Michael L. Brodie.  On conceptual modelling - perspectives from artificial intelligence, databases and programming languages , 1984, Topics in information systems.

[54]  John Mylopoulos.  On knowledge base management systems , 1986 .

[55]  Martin Gogolla,et al.  A Calculus for an Extended Entity-Relationship Model Incorporating Arbitrary Data Operations and Aggregate Functions , 1988, International Conference on Conceptual Modeling.