Domain-specific languages: an annotated bibliography
ACM SIGPLAN Notices
The Rational Unified Process: An Introduction
The Rational Unified Process: An Introduction
Real-time system modeling with ACCORD/UML methodology: illustration through an automotive case study
Languages for system specification
On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing
ICST '08 Proceedings of the 2008 International Conference on Software Testing, Verification, and Validation
Automatic Model Generation Strategies for Model Transformation Testing
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Barriers to systematic model transformation testing
Communications of the ACM
Extending OCL to ensure model transformations
ER'07 Proceedings of the 2007 conference on Advances in conceptual modeling: foundations and applications
Weaving executability into object-oriented meta-languages
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Static type checking of model transformation programs
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Metamodel usage analysis for identifying metamodel improvements
SLE'10 Proceedings of the Third international conference on Software language engineering
Random thoughts on multi-level conceptual modelling
The evolution of conceptual modeling
Estimating footprints of model operations
Proceedings of the 33rd International Conference on Software Engineering
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
ReuseMe - towards aspect-driven reuse in modelling method development
MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
Using multiple feature models to design applications for mobile phones
Proceedings of the 15th International Software Product Line Conference, Volume 2
Proceedings of the 14th international conference on Model driven engineering languages and systems
Development of an automated MBT toolchain from UML/SysML models
Innovations in Systems and Software Engineering
Reusable model transformations
Software and Systems Modeling (SoSyM)
Standards harmonization: theory and practice
Software and Systems Modeling (SoSyM)
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Weaving-based configuration and modular transformation of multi-layer systems
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Verification of ATL transformations using transformation models and model finders
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
Genericity for model management operations
Software and Systems Modeling (SoSyM)
From types to type requirements: genericity for model-driven engineering
Software and Systems Modeling (SoSyM)
An ontology for ISO software engineering standards: 1) Creating the infrastructure
Computer Standards & Interfaces
Hi-index | 0.00 |
Large and complex meta-models such as those of Uml and its profiles are growing due to modelling and inter-operability needs of numerous stakeholders. The complexity of such meta-models has led to coining of the term meta-muddle . Individual users often exercise only a small view of a meta-muddle for tasks ranging from model creation to construction of model transformations. What is the effective meta-model that represents this view? We present a flexible meta-model pruning algorithm and tool to extract effective meta-models from a meta-muddle. We use the notion of model typing for meta-models to verify that the algorithm generates a super-type of the large meta-model representing the meta-muddle. This implies that all programs written using the effective meta-model will work for the meta-muddle hence preserving backward compatibility. All instances of the effective meta-model are also instances of the meta-muddle. We illustrate how pruning the original Uml meta-model produces different effective meta-models.