Part of the book series:Lecture Notes in Computer Science ((LNPSE,volume 6182))
Included in the following conference series:
1934Accesses
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
Subscribe and save
- Get 10 units per month
- Download Article/Chapter or eBook
- 1 Unit = 1 Article or 1 Chapter
- Cancel anytime
Buy Now
- Chapter
- JPY 3498
- Price includes VAT (Japan)
- eBook
- JPY 5719
- Price includes VAT (Japan)
- Softcover Book
- JPY 7149
- Price includes VAT (Japan)
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
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
Software Systems Engineering, Institute for Computer Science and Business Information Systems, University of Duisburg-Essen, 45117, Essen
Ernst Sikora, Marian Daun & Klaus Pohl
- Ernst Sikora
You can also search for this author inPubMed Google Scholar
- Marian Daun
You can also search for this author inPubMed Google Scholar
- Klaus Pohl
You can also search for this author inPubMed Google Scholar
Editor information
Editors and Affiliations
University of Twente, Enschede, The Netherlands
Roel Wieringa
School of Humanities and Informatics, University of Skövde, P.O. Box 408, SE-541 28, Skövde, Sweden
Anne Persson
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
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)
Share this paper
Anyone you share the following link with will be able to read this content:
Sorry, a shareable link is not currently available for this article.
Provided by the Springer Nature SharedIt content-sharing initiative