Abstract | ||
---|---|---|
Model verification is the process of checking models for known problems (or anti-patterns). We propose a new approach to declaratively specify and automatically detect problems in domain-specific models using QVT (Query/View/Transformation). Problems are specified with QVT-Relations transformations from models where elements involved in problems are identified, to result models where problem occurrences are reported in a structured and concise manner. The approach uses a standard formalism, applies generically to any MOF-based modeling language and has well-defined detection semantics. We apply the approach by defining a catalog of problems for a particular but important kind of models, namely metamodels. We report on a case study where we used the catalog to verify recent revisions of the UML metamodel. We detected many problem occurrences that we analyzed and helped resolve in the (latest) UML 2.4 revision. As a result, the metamodel was found to have improved dramatically by the experts defining it. |
Year | DOI | Venue |
---|---|---|
2011 | 10.1007/978-3-642-21470-7_20 | ECMFA |
Keywords | Field | DocType |
concise manner,important kind,mof-based modeling language,problem occurrence,uml metamodel,known problem,qvt-relations transformation,domain-specific model,new approach,case study,domain-specific model verification | Programming language,Unified Modeling Language,UML tool,Computer science,Modeling language,Formalism (philosophy),Anti-pattern,Object Constraint Language,Metamodeling,Semantics | Conference |
Volume | ISSN | Citations |
6698 | 0302-9743 | 9 |
PageRank | References | Authors |
0.48 | 12 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Maged Elaasar | 1 | 71 | 11.72 |
Lionel C. Briand | 2 | 8795 | 481.98 |
Yvan Labiche | 3 | 2874 | 143.30 |