Formalizing the Decoupling Constraints of Design Patterns
Abstract
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.
Domains
Computer Science [cs]| Origin | Files produced by the author(s) |
|---|
Loading...