Evolving Logical 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.

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

[2]  Gunter Saake,et al.  From Object Specification towards Agent Design , 1995, OOER.

[3]  Sushil Jajodia,et al.  Temporal Databases: Theory, Design, and Implementation , 1993 .

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

[5]  Gunter Saakey,et al.  Evolving Object Speciications , 1995 .

[6]  Bernhard Thalheim,et al.  Modelling Database Dynamics: Selected Papers from the 4th International Workshop on Foundations of Models and Languages for Data and Objects, Volkse, Germany 19-22 October 1992 , 1993 .

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

[8]  Gunter Saake,et al.  Dynamically Changing Behavior: An Agent-Oriented View to Modeling Intelligent Information Systems , 1996, ISMIS.

[9]  Cristina Sernadas,et al.  Object Speciication Logic , 1995 .

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

[11]  Ralf Jungclaus.  Logic-Based Modeling of Dynamic Object Systems (Abstract) , 1993, Datenbank Rundbr..

[12]  Pierre-Yves Schobbens.  Extensions of Initial Models and their Second-Order Proof Systems , 1993, HOA.

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

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

[15]  Bernhard Möller,et al.  Ordered and Continuous Models of Higher-Order Specifications , 1993, HOA.

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

[17]  Michael Kifer,et al.  A Logic for Programming Database Transactions , 1998, Logics for Databases and Information Systems.

[18]  José Meseguer,et al.  A logical theory of concurrent objects and its realization in the Maude language , 1993 .

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

[20]  Specifying Evolving Temporal Behaviour , 1996 .

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

[22]  Roel Wieringa,et al.  A Formalization of Objects Using Equational Dynamic Logic , 1991, DOOD.

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

[24]  José Meseguer,et al.  Conditioned Rewriting Logic as a United Model of Concurrency , 1992, Theor. Comput. Sci..

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

[26]  Gunter Saake,et al.  Logics for databases and information systems , 1998 .

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

[28]  Amir Pnueli,et al.  Temporal Logic in Specification , 1987, Lecture Notes in Computer Science.

[29]  Yuri Gurevich,et al.  Logic in Computer Science , 1993, Current Trends in Theoretical Computer Science.

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

[31]  José Luiz Fiadeiro,et al.  Temporal reasoning over deontic specifications , 1991, J. Log. Comput..

[32]  Eric Dubois,et al.  O-O Requirements Analysis: an Agent Perspective , 1993, ECOOP.

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

[34]  Remco Feenstra,et al.  LCM 3.0: A Language for describing Conceptual Models , 1993 .

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

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