Models within models: taming model complexity using the sub-model lattice
FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
UOST: UML/OCL aggressive slicing technique for efficient verification of models
SAM'10 Proceedings of the 6th international conference on System analysis and modeling: about models
Proceedings of the 14th international conference on Model driven engineering languages and systems
Evaluation of tools and slicing techniques for efficient verification of UML/OCL class diagrams
Advances in Software Engineering
Hi-index | 0.00 |
The UML metamodel has been increased in its size and complexity due to many needs for supporting various platforms and domains. The large size of the metammodel can prevent tool developers from understanding the UML metamodel and thus from developing UML-based tools. In this paper, we propose an approach to managing the complexity of the UML metamodel by modularizing the metamodel into a set of small metamodels for each UML diagram type. To that goal, we propose a slicing algorithm for extracting diagram-specific metamodels from the UML metamodel.