Skip to main content
SpringerLink
Log in
Book cover

European Software Engineering Conference

ESEC 1995: Software Engineering — ESEC '95 pp 254–271Cite as

An integrated formal model of scenarios based on statecharts

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 989))

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.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

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.

    Google Scholar 

  • 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.

    Article  Google Scholar 

  • 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)]

    Google Scholar 

  • Harel, D. (1987). Statecharts: A Visual Formalism for Complex Systems. Sci. Computer Program. 8 (1987). 231–274.

    Article  Google Scholar 

  • Harel, D. (1988). On Visual Formalisms. Communications of the ACM 31, 5 (May 1988). 514–530.

    Article  Google Scholar 

  • Hsia, P., J. Samuel, J. Gao, D. Kung (1994). Formal Approach to Scenario Analysis. IEEE Software 11, 2 (March 1994). 33–41.

    Article  Google Scholar 

  • Jacobson, I., M. Christerson, P. Jonsson, G. Övergaard (1992). Object-Oriented Software Engineering: A Use Case Driven Approach. Amsterdam, etc: Addison-Wesley.

    Google Scholar 

  • Leveson, N.G. et al. (1994). Requirements Specification for Process-Control Systems. IEEE Transactions on Software Engineering 20, 9 (Sept. 1994). 684–707.

    Article  Google Scholar 

  • Rubin, K.S., A. Goldberg (1992). Object Behavior Analysis. Communications of the ACM 35, 2 (Sept 1992). 48–62.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Informatik, University of Zurich, CH-8057, Zurich, Switzerland

    Martin Glinz

Authors
  1. Martin Glinz
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Wilhelm Schäfer Pere Botella

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation