Abstract
The OCL 1.4 specification introduces let-declarations for adding auxiliary class features in static structures of the UML. We provide a type inference system and a big-step operational semantics for the OCL 1.4 that treat UML static structures and UML object models abstractly and accommodate for additional declarations; the operational semantics satisfies a subject reduction property with respect to the type inference system. We also discuss an alternative, non-operational interpretation of let-declarations as constraints.
Current affiliation: Fraunhofer Institute for Experimental Software Engineering.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
T. Baar and R. Hähnle. An Integrated Metamodel for OCL Types. In R. France, editor, Proc. OOPSLA’2000 Wsh. Refactoring the UML: In Search of the Core, Minneapolis, 2000.
M. Bickford and D. Guaspari. Lightweight Analysis of UML. Draft NAS1-20335/10, Odyssey Research Assoc., 1998. http://cgi.omg.org/cgi-bin/doc?ad/98-10-01.
M. V. Cengarle and A. Knapp. On the Expressive Power of Pure OCL. Technical Report 0101, Ludwig-Maximilians-Universität München, 2001.
T. Clark. Type Checking UML Static Diagrams. In R. B. France and B. Rumpe, editors, Proc. 2 nd Int. Conf. UML, volume 1723 of Lect. Notes Comp. Sci., pages 503–517. Springer, Berlin, 1999.
S. Drossopoulou and S. Eisenbach. Describing the Semantics of Java and Proving Typing Soundness. In J. Alves-Foss, editor, Formal Syntax and Semantics of Java, volume 1523 of Lect. Notes Comp. Sci., pages 41–82. Springer, Berlin, 1999.
A. Evans, S. Kent, and B. Selic, editors. Proc. 3 nd Int. Conf. UML, volume 1939 of Lect. Notes Comp. Sci. Springer, Berlin, 2000.
A. Hami, J. Howse, and S. Kent. Interpreting the Object Constraint Language. In Proc. Asia Pacific Conf. Software Engineering. IEEE Press, 1998.
H. Hußmann, B. Demuth, and F. Finger. Modular Architecture for a Toolset Supporting OCL. In Evans et al. [6], pages 278–293.
R. Milner, M. Tofte, R. Harper, and D. MacQueen. The Definition of Standard ML (Revised). MIT Press, Cambridge, Mass., 1997.
J. C. Mitchell. Foundations for Programming Languages. Foundations of Computing. MIT Press, Cambridge, Mass.-London, England, 1996.
Object Management Group. Unified Modeling Language Specification, Version 1.4. Draft, OMG, 2001. http://cgi.omg.org/cgi-bin/doc?ad/01-02-14.
M. Richters and M. Gogolla. On Formalizing the UML Object Constraint Language OCL. In T. W. Ling, S. Ram, and M. L. Lee, editors, Proc. 17 th Int. Conf. Conceptual Modeling, volume 1507 of Lect. Notes Comp. Sci., pages 449–464. Springer, Berlin, 1998.
M. Richters and M. Gogolla. Validating UML Models and OCL Constraints. In Evans et al. [6], pages 265–277.
M. Richters and M. Gogolla. OCL — Syntax, Semantics and Tools. In T. Clark and J. Warmer, editors, Advances in Object Modelling with the OCL, Lect. Notes Comp. Sci., pages 38–63. Springer, Berlin, 2001.
A. Schürr. New Type Checking Rules for OCL (Collection) Expressions. In T. Clark and J. Warmer, editors, Proc. UML’2000 Wsh. UML 2.0 — The Future of OCL, York, 2000.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cengarle, M.V., Knapp, A. (2001). A Formal Semantics for OCL 1.4. In: Gogolla, M., Kobryn, C. (eds) ≪UML≫ 2001 — The Unified Modeling Language. Modeling Languages, Concepts, and Tools. UML 2001. Lecture Notes in Computer Science, vol 2185. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45441-1_10
Download citation
DOI: https://doi.org/10.1007/3-540-45441-1_10
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42667-7
Online ISBN: 978-3-540-45441-0
eBook Packages: Springer Book Archive