Affiliation:
1. University of L'Aquila, L'Aquila, Italy
Abstract
CHARMY is a framework for designing and validating architectural specifications. In the early stages of the software development process, the CHARMY framework assists the software architect in the design and validation phases. To increase its usability in an industrial context, the tool allows the use of UML-like notations to graphically design the system. Once the design is done, a formal prototype is automatically created for simulation and analysis purposes. The framework provides extensibility mechanisms to enable the introduction of new design and analysis features.
Publisher
Association for Computing Machinery (ACM)
Reference18 articles.
1. ADML
: Architecture Description Markup Language. http://www.opengroup.org/architecture/adml/adml_home.htm Last Modified: December 2002. Open Group. ADML: Architecture Description Markup Language. http://www.opengroup.org/architecture/adml/adml_home.htm Last Modified: December 2002. Open Group.
2. Formal Analysis of Architectural Patterns
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献