An Object-Oriented Temporal Model

The representation of complex objects and behaviors (state transitions) in information systems is a central issue in software engineering. In an information system, supported by a conventional database, the only available state is the set of present values. The object's behavior is controlled by integrity constrains defining only the valid states. Almost all the representation of the dynamic evolution is lost in the traditional modeling process. In this paper the main concern is to present the extensions made on an Object-Oriented Model, the F-ORM model [11] to expand the representation of the object's evolution and to support the temporal aspects involved. Temporal object-oriented models can be used to specify behavioral requirements of information systems. Four different modeling concepts arc defined to represent temporal information: (i) a set of temporal data types and their associated functions, to be used in properties' definitions; (ii) time stamps associated to instances and to dynamic properties; (iii) a special null value for attribute values outside the validity period; and (iv) temporal conditions added to rules, written in a temporal logic language. An example showing the use of the Temporal F-ORM is developed.

[1]  Gunter Saake,et al.  Monitoring dynamic integrity constraints based on temporal logic , 1987, Inf. Syst..

[2]  Albert Croker,et al.  Objects in Time , 1988 .

[3]  Pierangela Samarati,et al.  F-ORM METHOD: a F-ORM Methodology for Reusing Specifications , 1991 .

[4]  Amílcar Sernadas,et al.  A Temporal Logic Framework for a Layered Approach to Systems Specification and Verification , 1987, Temporal Aspects in Information Systems.

[5]  E. Corsetti,et al.  Dealing with different time scales in formal specifications , 1991, Proceedings of the Sixth International Workshop on Software Specification and Design.

[6]  Antonio L. Furtado,et al.  A Temporal Framework for Database Specifications , 1982, VLDB.

[7]  Richard T. Snodgrass,et al.  A taxonomy of time databases , 1985, SIGMOD Conference.

[8]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

[9]  Michel E. Adiba,et al.  Aspects temporels, historiques et dynamiques des bases de données , 1987 .

[10]  Matthias Jarke,et al.  Telos: representing knowledge about information systems , 1990, TOIS.

[11]  Ulrich Schiel,et al.  An Abstract Introduction to the Temporal-Hierarchic Data Model (THM) , 1983, VLDB.

[12]  Sushil Jajodia,et al.  Dealing with Granularity of Time in Temporal Databases , 1991, CAiSE.

[13]  Barbara Pernici.  Objects with roles , 1990 .

[14]  Pericles Loucopoulos,et al.  TEMPORA — Integrating Database Technology, Rule Based Systems and Temporal Reasoning for Effective Software , 1990 .

[15]  Arie Shoshani,et al.  Modeling Temporal Semantics , 1987, Temporal Aspects in Information Systems.

[16]  Zohar Manna,et al.  Verification of concurrent programs, Part I: The temporal framework , 1981 .

[17]  James Clifford,et al.  A Simple, General Structure for Temporal Domains , 1986, Temporal Aspects in Information Systems.

[18]  Barbara Pernici,et al.  Automatic deduction of temporal information , 1992, TODS.

[19]  A. Bolour,et al.  Abstractions in temporal information , 1983, Information Systems.

[20]  Dov M. Gabbay,et al.  Temporal Logic & Historical Databases , 1991, VLDB.

[21]  Arie Segev,et al.  A glossary of temporal database concepts , 1992, SGMD.

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

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