Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Proceedings of the 20th international conference on Software engineering
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
Precise Visual Specification of Design Patterns
ECCOP '98 Proceedings of the 12th European Conference on Object-Oriented Programming
Core J2EE Patterns (Core Design Series): Best Practices and Design Strategies
Core J2EE Patterns (Core Design Series): Best Practices and Design Strategies
A UML-Based Pattern Specification Technique
IEEE Transactions on Software Engineering
Reverse Engineering of Design Patterns from Java Source Code
ASE '06 Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering
Using SCL to Specify and Check Design Intent in Source Code
IEEE Transactions on Software Engineering
Formalising Design Patterns in Predicate Logic
SEFM '07 Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods
LePUS3: An Object-Oriented Design Description Language
Diagrams '08 Proceedings of the 5th international conference on Diagrammatic Representation and Inference
Past, Present, and Future Trends in Software Patterns
IEEE Software
On the Composition of Design Patterns
QSIC '08 Proceedings of the 2008 The Eighth International Conference on Quality Software
Specifying Behavioural Features of Design Patterns in First Order Logic
COMPSAC '08 Proceedings of the 2008 32nd Annual IEEE International Computer Software and Applications Conference
Tool Support for Design Pattern Recognition at Model Level
COMPSAC '09 Proceedings of the 2009 33rd Annual IEEE International Computer Software and Applications Conference - Volume 01
Formal specification of the variants and behavioural features of design patterns
Journal of Systems and Software
On the Theoretical Foundation of Meta-Modelling in Graphically Extended BNF and First Order Logic
TASE '10 Proceedings of the 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
An institution theory of formal meta-modelling in graphically extended BNF
Frontiers of Computer Science in China
Towards an approach for modeling and formalizing SOA design patterns with Event-B
Proceedings of the 28th Annual ACM Symposium on Applied Computing
ACM Transactions on Software Engineering and Methodology (TOSEM) - In memoriam, fault detection and localization, formal methods, modeling and design
Building correct by construction SOA design patterns: modeling and refinement
ECSA'13 Proceedings of the 7th European conference on Software Architecture
Hi-index | 0.00 |
Design patterns are rarely used on their own. They are almost always to be found composed with each other in real applications. So it is crucial that we can reason about their compositions. In our previous work, we defined a set of operators on patterns so that pattern compositions can be represented as expressions on patterns. In this paper, we investigate the algebraic properties of these operators, prove a set of algebraic laws that they obey, and use the laws to show the equivalence of pattern compositions.