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
Alexander Egyed, David S. Wile