Charmy
CHARMY: A Framework for Designing and Verifying Architectural Specifications. Introduced in the early stages of software development, the Charmy framework assists the software architect in making and evaluating architectural choices. Rarely, the software architecture of a system can be established once and forever. Most likely poorly defined and understood architectural constraints and requirements force the software architect to accept ambiguities and move forward to the construction of a suboptimal software architecture. Charmy aims to provide an easy and practical tool for supporting the iterative modeling and evaluation of software architectures. From an UML-based architectural design, an executable prototype is automatically created. Charmy simulation and model checking features help in understanding the functioning of the system and discovering potential inconsistencies of the design. When a satisfactory and stable software architecture is reached, Java code conforming to structural software architecture constraints is automatically generated through suitable transformations. The overall approach is tool supported.
Keywords for this software
References in zbMATH (referenced in 4 articles )
Showing results 1 to 4 of 4.
Sorted by year (- Bertolino, Antonia; Inverardi, Paola; Muccini, Henry: Software architecture-based analysis and testing: a look into achievements and future challenges (2013) ioport
- Chen, Dejiu; Feng, Lei; Qureshi, Tahir Naseer; Lönn, Henrik; Hagl, Frank: An architectural approach to the analysis, verification and validation of software intensive embedded systems (2013)
- Brosch, Petra; Egly, Uwe; Gabmeyer, Sebastian; Kappel, Gerti; Seidl, Martina; Tompits, Hans; Widl, Magdalena; Wimmer, Manuel: Towards scenario-based testing of UML diagrams (2012) ioport
- Inverardi, Paola; Mancinelli, Fabio; Muccini, Henry; Pelliccione, Patrizio: An experience in architectural extensions: Active objects in J2EE (2003)