Reification - Changing Viewpoint but Preserving Truth

The aim of our work is the modelling and design of information systems in the object-oriented setting. An object-oriented specification covers structural as well as behavioural aspects of the system. A possibility to describe system dynamics is to use a temporal logic as it is done in the formal object-oriented specification language Troll. Temporal logics is particularly suited to deal with temporal behaviour and evolutionary aspects of systems.

[1]  Kevin Lano.  Z++, An Object-orientated Extension to Z , 1990, Z User Workshop.

[2]  Roelf J. Wieringa,et al.  A conceptual model specification language (CMSL Version 2) , 1992 .

[3]  Graeme Smith,et al.  The object-Z specification language: version 1 , 1991 .

[4]  Amílcar Sernadas,et al.  Local Specification of Distributed Families of Sequential Objects , 1994, COMPASS/ADT.

[5]  William E. Lorensen,et al.  Object-Oriented Modeling and Design , 1991, TOOLS.

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

[7]  Olaf Owe,et al.  Formal Development with ABEL , 1991, VDM Europe.

[8]  AbstractHans,et al.  Distributed Temporal Logic for Concurrent Object Families Extended , 1995 .

[9]  P. S. Thiagarajan,et al.  Temporal Logics for Communicating Sequential Agents: I , 1992, Int. J. Found. Comput. Sci..

[10]  Leslie Lamport,et al.  Specifying Concurrent Program Modules , 1983, TOPL.

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

[12]  Grit Denker,et al.  Transactions in Object-Oriented Specifications , 1994, COMPASS/ADT.

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

[14]  Gunter Saake,et al.  Revised Version of the Modelling Language TROLL , 1994 .

[15]  Grit Denker,et al.  Action Reification In Object-Oriented Specification , 1995 .

[16]  Gill Smith,et al.  Object-oriented analysis , 1988, WADAS '88.

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

[18]  Edsger W. Dijkstra,et al.  A Discipline of Programming , 1976 .

[19]  Grady Booch,et al.  Object-Oriented Analysis and Design with Applications , 1990 .

[20]  José Luiz Fiadeiro,et al.  Sometimes "Tomorrow" is "Sometime" - Action Refinement in a Temporal Logic of Objects , 1994, ICTL.

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

[22]  Grit Denker.  Verfeinerung in objektorientierten Spezifikationen: Von Aktionen zu Transaktionen , 1996, Ausgezeichnete Informatikdissertationen.

[23]  H. Wehrheim.  Action Reenement - an Application of Process Theory on Object-oriented Speciication Action Reenement -an Application of Process Theory on Object-oriented Speciication , 2007 .

[24]  G. Denker,et al.  An Event-Based Semantics for TransactionsG , 1995 .