Tutorial Introduction to Graph Transformation: A Software Engineering Perspective
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Composition for component-based modeling
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
On the architectural alignment of ATL and QVT
Proceedings of the 2006 ACM symposium on Applied computing
Refinement via Consistency Checking in MDA
Electronic Notes in Theoretical Computer Science (ENTCS)
A graphical notation to specify model queries for MDA transformations on UML models
MDAFA'03 Proceedings of the 2003 European conference on Model Driven Architecture: foundations and Applications
| Hi-index | 0.00 |
The growing number of UML profiles and the resulting extensive application of stereotypes, is turning themodeling 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.