Formalizing the Decoupling Constraints of Design Patterns

In this paper we adapt the Access Graph notation of Ardourel and Huchard for static access rights to express decoupling constraints. These constraints are pervasive in design patterns albeit in a very informal and often not very explicit way. This new formalism will be used in the RNTL LUTIN project to detect design problems and propose solutions using program or model transformations.

[1]  Ladan Tahvildari,et al.  A software transformation framework for quality-driven object-oriented re-engineering , 2002, International Conference on Software Maintenance, 2002. Proceedings..

[2]  Linda Rising,et al.  The Pattern Almanac , 2000 .

[3]  Marianne Huchard,et al.  Access Graphs: Another View on Static Access Control for a Better Understanding and Use , 2002, J. Object Technol..

[4]  Ellen Agerbo,et al.  How to preserve the benefits of design patterns , 1998, OOPSLA '98.

[5]  Mikal Ziane.  Towards tool support for design patterns using program transformations , 2004 .

[6]  Oliver Ciupke,et al.  Automatic detection of design problems in object-oriented reengineering , 1999, Proceedings of Technology of Object-Oriented Languages and Systems - TOOLS 30 (Cat. No.PR00278).

[7]  Yann-Gaël Guéhéneuc,et al.  Using design patterns and constraints to automate the detection and correction of inter-class design defects , 2001, Proceedings 39th International Conference and Exhibition on Technology of Object-Oriented Languages and Systems. TOOLS 39.

[8]  James O. Coplien.  Software design patterns: common questions and answers , 1998 .

[9]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .