Not logged in.
Quick Search - Contribution
Contribution Details
| Type | Conference or Workshop Paper |
| Scope | Discipline-based scholarship |
| Published in Proceedings | Yes |
| Title | Systematically Combining Specifications of Internal and External System Behavior Using Statecharts |
| Organization Unit | |
| Authors |
|
| Presentation Type | paper |
| Item Subtype | Original Work |
| Refereed | Yes |
| Status | Published in final form |
| Page Range | 14 - 20 |
| Event Title | 3rd ICSE International Workshop on Scenarios and State Machines: Models, Algorithms and Tools |
| Event Type | workshop |
| Event Location | Edinburgh, UK |
| Event Start Date | May 1 - 2004 |
| Event End Date | May 1 - 2004 |
| Abstract Text | In contemporary mode-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 behavior of a system with statecharts in an integrated, non-redundant way. The main idea is to start with statecharts that model external behavior in the form of use cases or type scenarios and then add statecharts that model internal behavior only where the scenario/use case statecharts do not suffice for expressing the behavior of the system. |
| PDF File |
Download
|
| Export |
BibTeX
EP3 XML (ZORA)
|