Descripción
|
|
---|---|
Design patterns are reuse artifacts meant to improve the quality of software designs as well as the productivity of designers. Patterns (and their relationships) are mostly described in an informal fashion which leads to ambiguity and limits tools support. This has worsened with the growing number of well-established and candidate patterns. This paper discusses how to formally specify the "solution element" of patterns and their relationships using TLA+, the formal specification language of Temporal Logic of Actions (TLA). The paper first classifies and formally defines the most common relationships between patterns. Then, it shows how to automatically proof the existence of a "refines" relationship between patterns using TLC-the TLA+ Model Checker. | |
Internacional
|
Si |
Nombre congreso
|
6th WSEAS International Conference on Applied Computer Science (ACOS 2006) |
Tipo de participación
|
960 |
Lugar del congreso
|
Hangzhou, China |
Revisores
|
Si |
ISBN o ISSN
|
978-960-8457-61-4 |
DOI
|
|
Fecha inicio congreso
|
15/04/2007 |
Fecha fin congreso
|
17/04/2007 |
Desde la página
|
|
Hasta la página
|
|
Título de las actas
|