Abstract
Effective use of model transformations in a MDA development relies on complex model generation scenarios. Their correct realizations require dedicated methods and constructs for specifying model transformations and assessing the resulting models. The aim of the work described here is to combine OCL language for expressing model constraints with a set of a dedicated high-level constructs that assess UML models involved in the transformation process. The proposed constructs are formalized in a UML profile that allows modelers to use intuitive constraint specification support. Our approach is illustrated by a model refinement operation within the context of real-time system design. The dedicated tool supporting our approach is also described.
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 (OMG): Object Constraint Language formal/06-05-01 (May 2006)
Object Management Group (OMG): Unified Modeling Language: Superstructure, ptc/06-04-02 (April 2006)
Stein, D., Hanenberg, S., Unland, R.: A Graphical Notation to Specify Model Queries for MDA Transformations on UML Models. In: Aßmann, U., Aksit, M., Rensink, A. (eds.) MDAFA 2003. LNCS, vol. 3599, pp. 77–92. Springer, Heidelberg (2005)
Object Management Group (OMG): MOF 2.0 Query/Views/Transformations, ptc/05-11-01 (November 2005)
Simmonds, D., France, R., Ghosh, S.: Using Directives to Implement Model Transformations. In: From MDD to Experiments and Illustrations, Hardback (2006)
Jouault, F., Kurtev, I.: On the Architectural Alignment of ATL and QVT. In: SAC 2006. Proceedings of the 2006 ACM Symposium on Applied Computing, pp. 1188–1195. ACM Press, New York (2006) (chapter Model transformation (MT 2006))
Baresi, L., Heckel, R.: Tutorial introduction to graph transformation: A software engineering perspective. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol. 2505, pp. 402–429. Springer, Heidelberg (2002)
Heckel, R.: Graph transformation in a nutshell. In: Bezivin, J., Heckel, R. (eds.) IBFI. Language Engineering for Model-Driven Software Development. Number 04101 in Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik, Schloss Dagstuhl, Germany. Dagstuhl Seminar Proceedings (2005)
Kuster, J.M., Heckel, R., Engels, G.: Defining and validating transformations of UML models. In: IEEE Symposium on Human Centric Computing Languages and Environments, 2003, pp. 145–152. IEEE Computer Society Press, Los Alamitos (2003)
Paige, R.F., Kolovos, D.S., Polack, F.A.: Refinement via Consistency Checking in MDA. Electronic Notes in Theoretical Computer Science 137(2), 151–161 (2005)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lagarde, F., Terrier, F., André, C., Gérard, S. (2007). Extending OCL to Ensure Model Transformations. In: Hainaut, JL., et al. Advances in Conceptual Modeling – Foundations and Applications. ER 2007. Lecture Notes in Computer Science, vol 4802. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-76292-8_15
Download citation
DOI: https://doi.org/10.1007/978-3-540-76292-8_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-76291-1
Online ISBN: 978-3-540-76292-8
eBook Packages: Computer ScienceComputer Science (R0)