[ERCIM04] "Charmy:
A Framework for Designing and Validating Architectural Specifications" Authors:
M. Caporuscio, P. Inverardi, H. Muccini and P. Pelliccione. In: ERCIM News No. 58 (July 2004), Special Theme on Automated
Software Engineering.
Abstract: CHARMY is a tool-supported framework, initially
proposed in 2001 to check the consistency
between architectural models. Since then the approach has
evolved and can now be employed
in a number of ways: to check the validity of
architectural properties with respect to a
software architecture specification; to incrementally
create an architectural prototype; to use
a compositional approach for the verification of
middleware-based applications; to verify
architectural patterns.
