Abstract
[Context and motivation] In scenario-based requirements engineering for complex software-intensive systems, scenarios must be specified and kept consistent across several levels of abstraction such as system and component level. [Question/problem] Existing scenario-based approaches do not provide a systematic support for the transitions between different abstraction levels such as defining component scenarios based on the system scenarios and the system architecture or checking whether the component scenarios are consistent with the system scenarios. [Principal ideas/results] This paper presents a systematic approach for developing scenarios at multiple abstraction levels supported by automated consistency checks of scenarios across these abstraction levels. [Contribution] We have implemented the consistency check in a tool prototype and evaluated our approach by applying it to a (simplified) adaptive cruise control (ACC) system.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Gorschek, T., Wohlin, C.: Requirements Abstraction Model. Requirements Engineering Journal (REJ) 11, 79–101 (2006)
International Telecommunication Union. Recommendation Z.120 - Message Sequence Charts, MSC (2004)
De Alfaro, L., Henzinger, T.A.: Interface Automata. In: Proc. of the ACM SIGSOFT Symp. on the Foundations of Software Engineering, pp. 109–120 (2001)
RTCA: DO-178B – Software Considerations in Airborne Systems and Equipment Certification (1992)
Potts, C.: Using Schematic Scenarios to Understand User Needs. In: Proc. of the ACM Symposium on Designing Interactive Systems – Processes, Practices, Methods and Techniques (DIS 1995), pp. 247–266. ACM, New York (1995)
Pohl, K.: Requirements Engineering – Foundations, Principles, Techniques. Springer, Heidelberg (to appear 2010)
Peled, D.: Specification and Verification using Message Sequence Charts. Electr. Notes Theor. Comp. Sci. 65(7), 51–64 (2002)
Whittle, J., Schumann, J.: Generating Statechart Designs from Scenarios. In: Proc. of the Intl. Conference on Software Engineering, pp. 314–323 (2000)
Khendek, F., Bourduas, S., Vincent, D.: Stepwise Design with Message Sequence Charts. In: Proc. of the IFIP TC6/WG6.1, 21st Intl. Conference on Formal Techniques for Networked and Distributed Systems, pp. 19–34. Kluwer, Dordrecht (2001)
Krüger, I., Grosu, R., Scholz, P., Broy, M.: From MSCs to Statecharts. In: Proc. of the IFIP WG10.3/WG10.5, Intl. Workshop on Distributed and Parallel Embedded Systems, pp. 61–71. Kluwer, Dordrecht (1999)
Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation, 3rd edn. Addison-Wesley, Reading (2006)
Milner, R.: Communication and Mobile Systems – The Pi Calculus. Cambridge University Press, Cambridge (1999)
Gansner, E., North, S.: An Open Graph Visualization System and its Applications to Software Eengineering. Software - Practice and Experience (1999)
Robert Bosch GmbH: ACC Adaptive Cruise Control. The Bosch Yellow Jackets (2003), http://www.christiani-tvet.com/
Regnell, B., Davidson, A.: From Requirements to Design with Use Cases. In: Proc. 3rd Intl. Workshop on Requirements Engineering – Foundation for Software Quality, Barcelona (1997)
Harel, D., Marelly, R.: Come, Let’s Play – Scenario-Based Programming Using LSCs and the Play-Engine. Springer, Heidelberg (2003)
Ohlhoff, C.: Consistent Refinement of Sequence Diagrams in the UML 2.0. Christian Albrechts Universität, Kiel (2006)
Fricker, S., Gorscheck, T., Byman, C., Schmidle, A.: Handshaking with Impementation Proposals: Negotiating Requirements Understanding. IEEE Software 27(2), 72–80 (2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sikora, E., Daun, M., Pohl, K. (2010). Supporting the Consistent Specification of Scenarios across Multiple Abstraction Levels. In: Wieringa, R., Persson, A. (eds) Requirements Engineering: Foundation for Software Quality. REFSQ 2010. Lecture Notes in Computer Science, vol 6182. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14192-8_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-14192-8_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-14191-1
Online ISBN: 978-3-642-14192-8
eBook Packages: Computer ScienceComputer Science (R0)