SPECIFICATION IN INFORMATION SYSTEMS

Traditional logic-based specification approaches fix the structure and the dynamics of an object system at specification time. Information systems are applications with a very long life-time. Therefore, object and specification evolution is needed to react to changing requirements. Hence, this is a relevant aspect of describing information systems as object societies. We present a logical specification framework for evolving objects. Our frame­ work is based on the concepts of object developed for the languages Troll and Gnome and the underlying temporal logic OSLo The syntactic notion of ob­ ject descriptions is extended to explicitly manipulate temporal axioms during behaviour evolution. An extension of OSL called dyOSL establishes a logical framework where basic temporal formulae are evaluated by a second logical layer. dyOSL allows to explicitly manipulate state-dependent sets of temporal formulae to model evolution of object axioms.

[1]  Dov M. Gabbay,et al.  Making Inconsistency Respectable: Part 2 - Meta-level handling of inconsistency , 1993, ECSQARU.

[2]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

[3]  Colette Rolland,et al.  Object Oriented Approach in Information Systems , 1991 .

[4]  Ralf Jungclaus.  Modeling of dynamic object systems - a logic-based approach , 1993, Vieweg advanced studies in computer science.

[5]  Amílcar Sernadas,et al.  Constructing Systems as Object Communities , 1993, TAPSOFT.

[6]  T. S. E. Maibaum,et al.  The Prescription and Description of State Based Systems , 1987, Temporal Logic in Specification.

[7]  Stefan Conrad,et al.  A Logic Primer , 1998, Logics for Databases and Information Systems.

[8]  Cristina Sernadas,et al.  A Temporal Logic Approach to Object Certification , 1996, Data Knowl. Eng..

[9]  Stefan Conrad,et al.  A Basic Calculus for Verifying Properties of Interacting Objects , 1996, Data Knowl. Eng..

[10]  Gunter Saake,et al.  Extending Temporal Logic for Capturing Evolving Behaviour , 1997, ISMIS.

[11]  Cristina Sernadas,et al.  Object Specification Logic , 1995, J. Log. Comput..

[12]  Gunter Saake,et al.  TROLL: a language for object-oriented specification of information systems , 1996, TOIS.

[13]  Jan Chomicki,et al.  Temporal Logic in Information Systems , 1998, Logics for Databases and Information Systems.

[14]  R. Goldblatt.  Logics of Time and Computation , 1987 .

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