Sciweavers

Share
IWPC
1996
IEEE

A Formal Architectural Design Patterns-Based Approach to Software Understanding

9 years 7 months ago
A Formal Architectural Design Patterns-Based Approach to Software Understanding
Mastering the complexity of programs and systems, particularly distributed systems, should lead to signi cant improvements in program and system understanding. In this paper we present a formal approach for (distributed) software understanding based action hierarchies represented by architectural design patterns. This approach allows us to model the distributed software applications through a formal model representing the underlying structure. The representation uses instances of architectural design patterns which can hide details that may be irrelevant in speci c situations. The formal models which are produced could be used as a basis for reasoning, code generation, and measuring the "goodness" of a design.
Paulo S. C. Alencar, Donald D. Cowan, Thomas Kunz,
Added 07 Aug 2010
Updated 07 Aug 2010
Type Conference
Year 1996
Where IWPC
Authors Paulo S. C. Alencar, Donald D. Cowan, Thomas Kunz, Carlos José Pereira de Lucena
Comments (0)
books