Abstract
One way to validate a conceptual specification is to transform it to an executable form and in this way have a prototype of the system, based directly on the specification. Before finding a proper transformation, a suitable representation in the executable form has to be found. This paper describes a way to represent a specification made with the TEMPORA conceptual model in the PROLOG-based object oriented programming language Amore.
This work has been partly supported by the National Swedish Board for Technical Development (STU).
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
Z. Palaskas, "AMORE: Object Oriented Prolog Extensions Concepts, use, and implementation", E928/UMIST/ UMIST.
A. Borgida, "Modeling Class Hierarchies with Contradictions", in "Proceedings of ACM SIGMOD", pp. 434–443, 1988.
D.G. Bobrow and T. Winograd "An Overview of KRL, A Knowledge Representation Language", in Cognitive Science1(1), pp 3–46, 1977
A. Björnerstedt and C. Hultén, "Version Control in an Object-Oriented Architecture", in "Object-Oriented Concepts, Databases and Applications", Ed. W. Kim and F. Lochovsky, pp. Addison-Wesley, 1988.
W. Kim and H. Chou, "Versions of Schema for Object-Oriented Databases", "14th Conference on Very Large Data Bases", Ed. pp. 148–159, Los Angeles, 1988.
W. Kim, E. Bertino and G. J. F., "Composite Objects Revisited", "Proceedings of ACM SIGMOD", pp. 337–347, 1989.
D. A. Moon, "Object-Oriented Programming with Flavors", "OOPSLA '86 Proceedings", Ed. pp. 1986.
"Rubric Implementation Manual", Esprit project E928, 1989.
A. H. Skarra and S. B. Zdonik, "Type Evolution in an Object-Oriented Database", in "Research Directions in Object-Oriented Programming", Ed. B. Shriver and P. Wegner, pp. 393–415, The MIT Press, Cambridge, Massachusetts, 1987.
M. Stefik and D. G. Bobrow, "Object-Oriented Programming: Themes and Variations", The AI Magazine, vol. no. pp. 40–62, 1986.
"TEMPORA Concepts Manual", Esprit project E2469, UMIST, Manchester, 1989.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Oelmann, A. (1991). Representing a system specification with a temporal dimension in an object-oriented language. In: Andersen, R., Bubenko, J.A., Sølvberg, A. (eds) Advanced Information Systems Engineering. CAiSE 1991. Lecture Notes in Computer Science, vol 498. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54059-8_103
Download citation
DOI: https://doi.org/10.1007/3-540-54059-8_103
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54059-5
Online ISBN: 978-3-540-47378-7
eBook Packages: Springer Book Archive