Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Design pattern modelling and instantiation using DPML
CRPIT '02 Proceedings of the Fortieth International Conference on Tools Pacific: Objects for internet, mobile and embedded applications
Tool Support for Development Using Patterns
EDOC '01 Proceedings of the 5th IEEE International Conference on Enterprise Distributed Object Computing
Precise Visual Specification of Design Patterns
ECCOP '98 Proceedings of the 12th European Conference on Object-Oriented Programming
A Declarative Evolution Framework for Object-Oriented Design Patterns
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
A UML-Based Pattern Specification Technique
IEEE Transactions on Software Engineering
Refactoring to Patterns
Precise Modeling of Design Patterns in UML
Proceedings of the 26th International Conference on Software Engineering
Responsibilities and Rewards: Specifying Design Patterns
Proceedings of the 26th International Conference on Software Engineering
Precise modeling of design patterns
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
An MDA approach towards integrating formal and informal modeling languages
FM'05 Proceedings of the 2005 international conference on Formal Methods
A rigorous foundation for pattern-based design models
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Automated Formalisation for Verification of Diagrammatic Models
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |
This paper presents a formal but practical approach for defining and using design patterns. Initially we formalize the concepts commonly used in defining design patterns using Object-Z. We also formalize consistency constraints that must be satisfied when a pattern is deployed in a design model. Then we implement the pattern modeling language and its consistency constraints using an existing modeling framework, EMF, and incorporate the implementation as plug-ins to the Eclipse modeling environment. While the language is defined formally in terms of Object-Z definitions, the language is implemented in a practical environment. Using the plug-ins, users can develop precise pattern descriptions without knowing the underlying formalism, and can use the tool to check the validity of the pattern descriptions and pattern usage in design models. In this work, formalism brings precision to the pattern language definition and its implementation brings practicability to our pattern-based modeling approach.