Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Patterns of Enterprise Application Architecture
Patterns of Enterprise Application Architecture
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Declarative Reasoning about the Structure of Object-Oriented Systems
TOOLS '98 Proceedings of the Technology of Object-Oriented Languages and Systems
Automatic Design Pattern Detection
IWPC '03 Proceedings of the 11th IEEE International Workshop on Program Comprehension
Cognitive support features for software development tools
Cognitive support features for software development tools
Verification and Validation for Quality of UML 2.0 Models
Verification and Validation for Quality of UML 2.0 Models
Design Pattern Detection Using Similarity Scoring
IEEE Transactions on Software Engineering
Model driven engineering: an emerging technical space
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
Towards systematic model assessment
ER'05 Proceedings of the 24th international conference on Perspectives in Conceptual Modeling
Pattern Language Verification in Model Driven Design
Information Sciences: an International Journal
| Hi-index | 0.00 |
Models are the main artifacts in Model Driven Engineering (MDE). Hence, the quality assessment of models is an important issue in MDE. Using pattern languages, while building software in the MDE approach, is of special interest to designers. Two major issues in using a pattern are ''what pattern to choose?'' and ''how to apply the selected pattern to have a consistent model?'' These issues have direct impact on the quality of models and should be given due attention. In this paper, we discuss how the idea of supporting patterns in MDE can be viewed as part of an overall verification process. Then, we present one of the core processes that can be used for verification of the application of a pattern language in a UML design. Our process is based on a UML profile defined for Fowler's ''Patterns of Enterprise Application Architecture.'' Finally, we show how the process can be integrated into a modeling tool and help the designer in designing more consistent models.