Statechart Simulator for Modeling Architectural Dynamics.

Egyed, Alexander; Wile, David S.

doi:10.1109/WICSA.2001.948413

Statechart Simulator for Modeling Architectural Dynamics.

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:

Alexander Egyed, David S. Wile, "Statechart Simulator for Modeling Architectural Dynamics.", pp. 87-96, 2001.

Bibtex Entry:

@Conference{DBLP:conf/wicsa/EgyedW01,
  Title                    = {Statechart Simulator for Modeling Architectural Dynamics.},
  Author                   = {Alexander Egyed and David S. Wile},
  Booktitle                = {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                     = {Statechart Simulator for Modeling Architectural Dynamics:Conferences\\WICSA 2001 - Statechart Simulator for Modeling Architectural Dynamics\\Statechart Simulator for Modeling Architectural Dynamics.pdf:PDF},
  Keywords                 = {execution, mde}
}