Abstract
The use of formal language is a way to introduce rigour in the specification of the requirements for information systems. This stage is traditionally considered as the most informal one of the life-cycle stages. Thus, the choice of a model best suited for this purpose is still an open issue.
In this paper we propose a data model called Enity-Relationship-Time (ERT), which is able to capture the structural components of such a specification. It is part of the TEMPORA conceptual model and it is an extension of the binary relationship model including a number of additional features such as the possibility to explicitly refer to past or future states of the system, to model complex objects, etc.
Chapter PDF
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
Allen J.F. Maintaining Knowledge about Temporal Intervals CACM, 26(11) Nov.1983.
Balzer, R., Cheatham, T.E, Green, C. Software Technology in the 1990's: Using a New Paradigm, Computer, November 1983, pp. 39–45.
Chen P.P-C. The Entity-Relationship Model-Toward a Unified View of Data ACM TODS vol.1 no.1, pp.9–36, March 1976.
Information Systems Design Methodologies, T.W. Olle, H.G. Sol and A.A. Verrijn-Stuart(eds), North-Holland, 1982.
Information Systems Design Methodologies: Comparative View T.W. Olle, H.G. Sol and A.A. Verrijn-Stuart(eds), North-Holland, 1983.
Information Systems Design Methodologies: Improving the Practice T.W. Olle, H.G. Sol and A.A. Verrijn-Stuart(eds), North-Holland, 1986.
Dittrich K.R. Object-oriented Database Systems: The Notion and the Issues (extended abstract), Proc. OODB, Pacific Grove, Ca, Sept.1986.
Dubois E., Hagelstein J., Lahou E. et al The ERAE Model: A Case Study in CRIS-3.
Dubois E., Hagelstein J. Reasoning on Formal Requirements: A Lift Control System, Proceedings on S/W Specification and Design, 1987.
Falkenberg, E. Knowledge-Based Information Analysis Support, Proceedings IFIP TC2/TC8 Working Conference on "The Role of AI in Databases and Information Systems", Canton, China, July, 1988, North Holland.
Greenspan, S.J. Requirements Modeling: A Knowledge Representation Approach to Software Requirements Definition, Technical Report No. CSRG-155, University of Toronto, 1984.
Kent W. Limitations of Record-Based Information Models, TODS, 1979.
Kim W., Banerjee J., Chou H.T., Garza J.F., Woelk D. Composite Object Support in Object-Oriented Database Systems, in Proc. 2nd Int. Conf. on Object-Oriented Programming Systems, Languages and Applications, Orlando, Florida, Oct. 1987.
Kim W., Bertino E., Garza J.F. Composite Objects Revisited, SIGMOD RECORD 18(2), June 1989.
ESPRIT P107-LOKI, A Logic Oriented Approach to Knowledge and Databases Supporting Natural Language User Interfaces Institute of Computer Science, Research Center of Crete, Greece, March 1986.
Lorie R., Plouffe W. Complex Objects and Their Use in Design Transactions, in Proc. Databases for Engineering Applications, Database Week 1983 (ACM), San Jose, Calif., May 1983.
Loucopoulos, P. The RUBRIC Project-Integrating E-R, Object and Rule-based Paradigms, Workshop session on Design Paradigms, European Conference on Object Oriented Programming (ECOOP), 10–13 July 1989, Nottingham, U.K.
P.J. McBrien TEMPORA: Language Definition and Library, TEMPORA report, Imperial College, E2469/IC/T2.1/5.
Mylopoulos, J. The Role of Knowledge Representation in the Development of Specifications, In Information Processing 86, Kugler, H-J. (ed), Elsevier Science Publishers B.V. (c) IFIP 1986.
Nijssen G.M., Duke D.J., Twine S.M. The Entity-Relationship Data Model Considered Harmful, 6th Symposium on Empirical Foundations of Information and Software Sciences, Atlanta, Georgia (USA), October 1988.
Rabitti F., Woelk D., Kin W. A Model of Authorization for Object-Oriented and Semantic Databases, in Proc. Int. Conf. on Extending Database Technology, Venice, Italy, March 1988.
Roman G-C. A Taxonomy of Current Issues in Requirements Engineering IEEE Computer 18(1), 1985.
RUBRIC, ESPRIT Project 928, Concepts Manual, Nov. 1989.
RUBRIC, ESPRIT Project 928, Implementation Manual, Nov. 1989.
TEMPORA Technical Annex, Oct. 1988.
B.Theodoulidis The IS PART OF Relationship Reconsidered (Working Note), TEMPORA report, E2469/UMIST/T1.1/15, Sept. 1989.
Wangler B. On the Semantics of Complex Objects in TEMPORA, TEMPORA report, E2469/SISU/T1.1/13, October 1989.
Wangler B. On the Interpretation of timemarks in ERT schemas, TEMPORA report, E2469/SISU/T1.1/14, October 1989.
Van Assche, F., Layzell, P.J., Loucopoulos, P., Speltincx, G., Information Systems Development: A Rule-Based Approach, Journal of Knowledge Based Systems, September, 1988, pp. 227–234.
Villain M.B. A System for Reasoning about Time Proceedings of AAAI-82, Pittsburgh, Pa., Aug.1982.
Villain M.B., Kautz H. Constraint Propagation Algorithms for Temporal Reasoning Proc. of AAAI-86, 1986.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Theodoulidis, C., Wangler, B., Loucopoulos, P. (1990). Requirements specification in TEMPORA. In: Steinholtz, B., Sølvberg, A., Bergman, L. (eds) Advanced Information Systems Engineering. CAiSE 1990. Lecture Notes in Computer Science, vol 436. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0000597
Download citation
DOI: https://doi.org/10.1007/BFb0000597
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-52625-4
Online ISBN: 978-3-540-47078-6
eBook Packages: Springer Book Archive