A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf
.
Systematically combining specifications of internal and external system behavior using statecharts
2004
"Third International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM04)" W5S Workshop - 26th International Conference on Software Engineering
unpublished
In contemporary model-based specifications, we typically find a naive combination of models of the externally visible behavior of a system (typically expressed as scenarios or use cases) and of the internal system behavior (partially represented in explicit state models and partially expressed as data). However, a systematic combination and integration of the two behavior aspects has not yet been investigated. In this paper, I sketch a systematic approach for modeling both external and internal
doi:10.1049/ic:20040232
fatcat:xsyvzndocnbwpnh3x2k4sj325q