Abstract
In this paper, we report on our experiences integrating OCL evaluation support in an industrial-strength (meta-)modeling infrastructure. We focus on the approach taken to improve efficiency through what we call impact analysis of model changes to decrease the number of necessary (re-)evaluations. We show how requirements derived from application scenarios have led to design decisions that depart from or resp. extend solutions found in (academic) literature.
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.
References
Object Management Group: MDA Guide (June 2003)
Object Management Group: Meta Object Facility (MOF) Specification (April 2002), http://www.omg.org/docs/formal/02-04-03.pdf
Object Management Group: OCL 2.0 Specification (ptc/2005-06-06) (June 2005)
Object Management Group: UML 2.0 Superstructure Specification (pct/03-08-02) (August 2003)
Cabot, J., Teniente, E.: Determining the Structural Events that May Violate an Integrity Constraint. In: Baar, T., Strohmeier, A., Moreira, A., Mellor, S.J. (eds.) Proc. 7th Int. Conf. on the Unified Modeling Language (UML’04). LNCS, vol. 3273, pp. 173–187. Springer, Heidelberg (2004)
Cabot, J., Teniente, E.: Computing the Relevant Instances that May Violate an OCL constraint. In: Pastor, Ó., Falcão e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, pp. 48–62. Springer, Heidelberg (2005)
Cabot, J., Teniente, E.: Incremental Evaluation of OCL Constraints. In: Dubois, E., Pohl, K. (eds.) CAiSE 2006. LNCS, vol. 4001, Springer, Heidelberg (2006)
Giese, M., Hähnle, R., Larsson, D.: Rule-based simplification of OCL constraints. In: Workshop on OCL and Model Driven Engineering at UML2004, pp. 84–89 (2004)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Altenhofen, M., Hettel, T., Kusterer, S. (2007). OCL Support in an Industrial Environment. In: Kühne, T. (eds) Models in Software Engineering. MODELS 2006. Lecture Notes in Computer Science, vol 4364. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69489-2_21
Download citation
DOI: https://doi.org/10.1007/978-3-540-69489-2_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69488-5
Online ISBN: 978-3-540-69489-2
eBook Packages: Computer ScienceComputer Science (R0)