CHARMY: an extensible tool for architectural analysis

Authors:
Paola Inverardi;Henry Muccini;Patrizio Pelliccione
Affiliations:
University of L'Aquila, L'Aquila, Italy;University of L'Aquila, L'Aquila, Italy;University of L'Aquila, L'Aquila, Italy
Venue:
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Year:
2005

Citing 6
Cited 10

Architecture-level dependence analysis in support of software maintenance

ISAW '98 Proceedings of the third international workshop on Software architecture
A Classification and Comparison Framework for Software Architecture Description Languages

IEEE Transactions on Software Engineering
Software architecture: a roadmap

Proceedings of the Conference on The Future of Software Engineering
Compositional Verification of Middleware-Based Software Architecture Descriptions

Proceedings of the 26th International Conference on Software Engineering
Spin model checker, the: primer and reference manual

Spin model checker, the: primer and reference manual
TESTOR: deriving test sequences from model-based specifications

CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering

Towards an architectural approach for the dynamic and automatic composition of software components

Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis
Architecting Fault-tolerant Component-based Systems: from requirements to testing

Electronic Notes in Theoretical Computer Science (ENTCS)
SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems

ICSE '07 Proceedings of the 29th international conference on Software Engineering
Runtime monitoring of web service conversations

CASCON '07 Proceedings of the 2007 conference of the center for advanced studies on Collaborative research
An architectural approach to the correct and automatic assembly of evolving component-based systems

Journal of Systems and Software
Verifying distributed, event-based middleware applications using domain-specific software model checking

FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
Architectural verification of black-box component-based systems

RISE'06 Proceedings of the 3rd international conference on Rapid integration of software engineering techniques
A visualization framework for the modeling and formal analysis of high assurance systems

MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
A practical architecture-centric analysis process

QoSA'06 Proceedings of the Second international conference on Quality of Software Architectures
Reducing software architecture models complexity: a slicing and abstraction approach

FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems

Quantified Score

Hi-index	0.00

Visualization

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.