Introduced in the early stages of software development, the CHARMY framework assists the software architect in makingand evaluating architectural choices. Rarely, the software architecture of a system can be established once and forever. Most likelypoorly defined and understood architectural constraints and requirements force the software architect to accept ambiguities and moveforward to the construction of a suboptimal software architecture. CHARMY aims to provide an easy and practical tool for supporting theiterative modeling and evaluation of software architectures. From an UML-based architectural design, an executable prototype isautomatically created. CHARMY simulation and model checking features help in understanding the functioning of the system anddiscovering potential inconsistencies of the design. When a satisfactory and stable software architecture is reached, Java codeconforming to structural software architecture constraints is automatically generated through suitable transformations. The overallapproach is tool supported.

CHARMY: A Framework for Designing and Verifying Architectural Specifications

PELLICCIONE, PATRIZIO;
2009

Abstract

Introduced in the early stages of software development, the CHARMY framework assists the software architect in makingand evaluating architectural choices. Rarely, the software architecture of a system can be established once and forever. Most likelypoorly defined and understood architectural constraints and requirements force the software architect to accept ambiguities and moveforward to the construction of a suboptimal software architecture. CHARMY aims to provide an easy and practical tool for supporting theiterative modeling and evaluation of software architectures. From an UML-based architectural design, an executable prototype isautomatically created. CHARMY simulation and model checking features help in understanding the functioning of the system anddiscovering potential inconsistencies of the design. When a satisfactory and stable software architecture is reached, Java codeconforming to structural software architecture constraints is automatically generated through suitable transformations. The overallapproach is tool supported.
Software architectures, model checking
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.12571/17840
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 55
  • ???jsp.display-item.citation.isi??? 33
social impact