Evaluating software architectures by coloured petri nets
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Automated abstraction of class diagrams
ACM Transactions on Software Engineering and Methodology (TOSEM)
Unfriendly COTS Integration-Instrumentation and Interfaces for Improved Plugability
Proceedings of the 16th IEEE international conference on Automated software engineering
Architecture differencing for self management
WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
Integrating COTS Software into Systems through Instrumentation and Reasoning
Automated Software Engineering
Towards supporting the architecture design process through evaluation of design alternatives
Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis
| Hi-index | 0.00 |
Software development is a constant endeavor to optimize qualities like performance and robustness while ensuring functional correctness. Architecture Description Languages (ADLs) form a foundation for modeling and analyzing functional and non-functional properties of software systems, but, short of programming, only the simulation of those models can ensure certain desired qualities and functionalities. This paper presents an adaptation to statechart simulation, as pioneered by David Harel. This extension supports architectural dynamism - the creation, replacement, and destruction of components. We distinguish between design-time dynamism, where system dynamics are statically proscribed (e.g., creation of a predefined component class in response to a trigger), and run-time dynamism, where the system is modified while it is running (e.g., replacement of a faulty component without shutting down the system). Our enhanced simulation language, with over 100 commands, is tool-supported.