Abstract
The growing number of UML profiles and the resulting extensive application of stereotypes, is turning the modeling process error-prone. In order to constrain their uses, OCL lacks mechanisms for effective evaluation of stereotypes and is sometimes cumbersome. This paper describes a set of mechanisms that allow more intuitive constraint specification. They exploit the meta-model architecture to constrain a model with a focus on use of stereotypes. Two examples are given to illustrate their applicability. A dedicated assessment tool 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): 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. Lecture Notes in Computer Science: Model Driven Architecture (2005)
Marcus, A., Ivan, P.: Difference and Union of Models. Technical Report 527, TUCS (April 2003)
Lin, Y., Zhang, J., Gray, J.: Model Comparison: A Key Challenge for Transformation Testing and Version Control in Model Driven Software Development. Best Practices for model Driven Software Development OOPSLA/GPCE Workshop (2004)
Object Management Group (OMG): MOF 2.0 Query/Views/Transformations, ptc/05-11-01 (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: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC 06), pp. 1188–1195. chapter Model transformation (MT 2006) (2006)
Wang, W.: Evaluation of UML Model Transformation Tools. Master’s thesis, OOLS. University of Vienna, Business Informatics Group (2005)
Kalnins, A., Celms, E., Sostaks, A.: Simple and Efficient Implementation of Pattern Matching in MOLA Tool. In: Proceedings of the 7th International Baltic Conference on Databases and Information Systems (Baltic 92006) pp. 159–167 (July 2006)
Object Management Group (OMG): UML Profile for Schedulability, Performance, and Time, ptc/05-01-02 (January 2005)
Paige, R.F., Kolovos, D.S., Polack, F.A.: Refinement via Consistency Checking in MDA. Electronic Notes in Theoretical Computer Science 137, 151–161 (2005)
Chen, R., Sgroi, M., Lavagno, L., Martin, G., Sangiovanni-Vincentelli, A., Rabaey, J.: UML and platform-based design. Technical report (2003)
Goessler, G., Sifakis, J.: Composition for Component-Based Modeling. Science of Computer Programming 55, 161–183 (2005)
de Alfaro, L., Henzinger, T.A.: Interface-based Design. In: Broy, M., Gruenbauer, J., Harel, D., Hoare, C.A.R. (eds.) Engineering Theories of Software-intensive Systems. NATO Science Series: Mathematics, Physics, and Chemistry, vol. 195, pp. 83–104. Springer, Heidelberg (2005)
Eclipse Modeling Framework Technology, http://www.eclipse.org/emft
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)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Lagarde, F., Terrier, F., André, C., Gérard, S. (2007). Constraints Modeling for (Profiled) UML Models. In: Akehurst, D.H., Vogel, R., Paige, R.F. (eds) Model Driven Architecture- Foundations and Applications. ECMDA-FA 2007. Lecture Notes in Computer Science, vol 4530. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72901-3_10
Download citation
DOI: https://doi.org/10.1007/978-3-540-72901-3_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-72900-6
Online ISBN: 978-3-540-72901-3
eBook Packages: Computer ScienceComputer Science (R0)