by Alexander Egyed, David S. Wile
Abstract:
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 toolsupported.
Reference:
Statechart Simulator for Modeling Architectural Dynamics. (Alexander Egyed, David S. Wile), In Proceedings of the 2nd Conference on Software Architecture (WICSA), Amsterdam, The Netherlands, 2001.
Bibtex Entry:
@Conference{DBLP:conf/wicsa/EgyedW01,
author = {Alexander Egyed and David S. Wile},
title = {Statechart Simulator for Modeling Architectural Dynamics.},
booktitle = {Proceedings of the 2nd Conference on Software Architecture (WICSA), Amsterdam, The Netherlands},
year = {2001},
pages = {87-96},
abstract = {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 toolsupported.},
doi = {10.1109/WICSA.2001.948413},
file = {:Conferences\\WICSA 2001 - Statechart Simulator for Modeling Architectural Dynamics\\Statechart Simulator for Modeling Architectural Dynamics-preprint.pdf:PDF},
keywords = {},
}