Statechart Simulator for Modeling Architectural Dynamics. (bibtex)
by Alexander Egyed and 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 and David S. Wile: Statechart Simulator for Modeling Architectural Dynamics., 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  = {},
}
Powered by bibtexbrowser