Abstract
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.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
M. Adiba; N.B. Quang; J. Palazzo M. de Oliveira. Time concept in generalized data bases. In: ACM Annual Conference, Denver, Oct. 14–16, 1985. Proceedings. New York, ACM, 1985. p.214–23.
M. Adiba; N.B. Quang; C. Collet. Aspect temporels, historiques et dynamiques des bases de données, TSI — Technique et Science Informatiques, AFCET-Bordas. v.6, n.5, p.457–478, 1987.
J.F. Allen. Maintaining knowledge about temporal intervals. Communications of the ACM, New York, v.26, n.11, p.832–43, Nov. 1983.
C. Arapis. Specifying object interactions. D. Tsichritzis (ed.) Objects Composition. Gencbra, Université de Genève, 1991. p.303–22.
A. Bolour; L.J. Dekeyser. Abslraclions in temporal information. Information Systems, Great Britain, v.8, n.1, p.41–9, 1983.
J. Carmo; A. Sernadas. A Temporal logic framework for a layered approach to systems specification and verification. In: C. Rolland; F. Bodart; M. Leonard (eds.) Temporal Aspects in Information Systems. Amsterdam, North-Holland, 1988. p.31–46.
J.M.V. Castilho: M.A. Casanova: A.L. Furtado. A Temporal framework for database specifications. In: International Conference On Very Large Data Bases, 8., Mexico City, Sept. 1982. Proceedings. Mexico City, 1982. p.280–91.
J. Clifford; A. Croker. Objects in time. Data Engineering, Washington, v.11, n.4, p.11–18, Dec. 1988.
J. Clifford; A. Rao. A Simple, general structure for temporal domains. In: C. Rolland; F. Bodart; M. Leonard (eds.) Temporal Aspects in Information Systems. Amsterdam, North-Holland, 1988. p. 17–28.
E. Corsetti: E. Crivelli; A. Mandrioli; A. Montanari; A.C. Morzenti; P. San Pietro; E. Ratto. Dealing with different time scales in formal specifications. International Workshop On Software Specification And Design, 6., Como, Italy, Oct. 25–6, 1991. Proceedings. IEEE Computer Society Press, 1991. p.92–101.
V. Deantonellis; B. Pernici: P. Samarati. F-ORM Method: a F-ORM Methodology for reusing specifications. In: F.V. Assche; B. Moulin; C. Rolland (eds.) Object Oriented Approach in Information Systems. Amsterdam, North-Holland, 1991. p.117–35.
M. Finger; P. Mcbrien; R. Owens. Databases and executable temporal logic. In: Esprit '91 Annual Esprit Conference, Brussels, Nov. 25–29, 1991. Proceedings. Brussels, ECSC, 1991. p.289–302.
D. Gabbay; P. Mcbrian. Temporal logic & historical databases. In: International Conference On Very Large Databases, 17., Barcelona, Sept. 3–6, 1991. Proceedings. Barcelona, Industria Grafica, 1991. p.423–30.
S.J. Greenspan; A. Borgida; J. Mylopoulos. A Requirements modeling language and its logic. In: M.L. Brodie: J. Mylopoulos (eds.) On Knowledge Base Systems. Springer-Verlag. New York, 1986. p.471–502.
C.S. Jensen et al. A Glossary of temporal database concepts. SIGMOD Record, v.21, n.3, p.35–43. Sept. 1992.
R. Kowalski; M. Sergot. A Logic based calculus of events. New Generation Computing, 4, 1986. p.67–95.
U.W. Lipeck, G. Saake. Monitoring dynamic integrity constraints based on temporal logic. Information Systems. GB, v.12, n.3, p.255–69, 1987.
P. Loucopoulos: P. Mcbrien; U. Persson; F. Schumacker; P. Vasey. TEMPORA — Integrating database technology, rule-based systems and temporal reasoning for information systems development. (to be included in the IEEE Knowledge Engineering Newsletters, Feb. 1991.
R. Maiocchi; B. Pernici: F. Barbie. Automatic deduction of temporal information. University of Udine, Dipartimento de Matematica e Informatica, 1991. 58p. (Research Report), (to be published in ACM Transactions on Database Systems)
Z. Manna; A. Pnueli. Verification of concurrent programs: the temporal framework. In: B. Moore (ed.) The Correctness Problem of Computer Science. Academic Press, 1981. p.215–73.
J. Mylopoulos; A. Borgida; M. Jarke: M. Koubarakis. Telos: representing knowledge about information systems. ACM Transactions on Information Systems, New York, v.8, n.4, p.325–62, Oct. 1990.
B. Pernici. Objects with Roles. In: Conference on Information Systems, Cambridge, Massachusselts, April 25–27, 1990. Proceedings. SIGOIS Bulletin, v.11,n.2–3,p.205–15. 1990.
U. Schiel. An Abstract introduction to the Temporal-Hierarchic Data Model (THM). International Conference On Very Large Data Bases, 9., Florence (Italy). Oct. 31–Nov. 2, 1983. Proceedings. Italy, VLDB, 1983. p.322–30.
Segev,A. & Shoshani,A. Modeling temporal semantics. In: Rolland,C.; Bodart,F.; Leonard,M. (eds.) Temporal Aspects in Information Systems. Amsterdam, North-Holland, 1988. p.47–57.
R. Snodgrass; I. Ahn. A Taxonomy of time in databases. In: ACM SIGMOD International Conference On Management Of Data, Texas, May 28–31, 1985. Proceedings. New York, ACM, 1985. p.236–46.
G. Wiederhold; S. Jajodia; W. Litwin. Dealing with granularity of time in temporal databases. In: International Conference CAISE'91, 3, Trondheim, Norway, May 13–15, 1991. Proceedings. Berlin, Springer-Verlag. 1991. p.124–40.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Edelweiss, N., de Oliveira, J.P.M., Pernici, B. (1993). An object-oriented temporal model. In: Rolland, C., Bodart, F., Cauvet, C. (eds) Advanced Information Systems Engineering. CAiSE 1993. Lecture Notes in Computer Science, vol 685. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56777-1_21
Download citation
DOI: https://doi.org/10.1007/3-540-56777-1_21
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56777-6
Online ISBN: 978-3-540-47735-8
eBook Packages: Springer Book Archive