Abstract
State automata are an attractive means for formally representing scenarios. Scenarios describe how users interact with a system. However, the current approaches treat every scenario as a separate entity.
This paper introduces a statechart-based model that allows the formal composition of all scenarios of a system into an integrated, consistent model of external system behavior. The scenarios remain visible as building blocks in the model. The meaning of the integrated model is derived from the meanings of the constituent scenarios and from the semantics of the composition rules.
The paper defines the composition rules and shows their application. The capabilities for analyzing and verifying the model are demonstrated. An extension of the scenario model to a general system model is sketched.
Preview
Unable to display preview. Download preview PDF.
References
Anderson, J. S., B. Durney (1993). Using Scenarios in Deficiency-Driven Requirements Engineering. Proc. IEEE Int. Symposium on Requirements Engineering, San Diego. 134–141.
Coleman, D., F. Hayes, S. Bear (1992). Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design. IEEE Transactions on Software Engineering 18, 1 (Jan 1992), 9–18.
Glinz, M. (1993). Hierarchische Verhaltensbeschreibung in objektorientierten System-modellen — eine Grundlage für modellbasiertes Prototyping. In: Züllighoven, H. et. al. (eds.): Requirements Engineering '93: Prototyping. (Report 41 of the German Chapter of the ACM). Stuttgart: Teubner. 175–192. [Hierarchical Description of Behavior in Object-Oriented System Models — a Foundation for Model-Based Prototyping (in German)]
Harel, D. (1987). Statecharts: A Visual Formalism for Complex Systems. Sci. Computer Program. 8 (1987). 231–274.
Harel, D. (1988). On Visual Formalisms. Communications of the ACM 31, 5 (May 1988). 514–530.
Hsia, P., J. Samuel, J. Gao, D. Kung (1994). Formal Approach to Scenario Analysis. IEEE Software 11, 2 (March 1994). 33–41.
Jacobson, I., M. Christerson, P. Jonsson, G. Övergaard (1992). Object-Oriented Software Engineering: A Use Case Driven Approach. Amsterdam, etc: Addison-Wesley.
Leveson, N.G. et al. (1994). Requirements Specification for Process-Control Systems. IEEE Transactions on Software Engineering 20, 9 (Sept. 1994). 684–707.
Rubin, K.S., A. Goldberg (1992). Object Behavior Analysis. Communications of the ACM 35, 2 (Sept 1992). 48–62.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Glinz, M. (1995). An integrated formal model of scenarios based on statecharts. In: Schäfer, W., Botella, P. (eds) Software Engineering — ESEC '95. ESEC 1995. Lecture Notes in Computer Science, vol 989. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60406-5_19
Download citation
DOI: https://doi.org/10.1007/3-540-60406-5_19
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60406-8
Online ISBN: 978-3-540-45552-3
eBook Packages: Springer Book Archive