Article

Monitoring and control in scenario-based requirements analysis

Authors:

Emmanuel Letier,

Sebastian UchitelAuthors Info & Claims

ICSE '05: Proceedings of the 27th international conference on Software engineering

Pages 382 - 391

https://doi.org/10.1145/1062455.1062527

Published: 15 May 2005 Publication History

Abstract

Scenarios are an effective means for eliciting, validating and documenting requirements. At the requirements level, scenarios describe sequences of interactions between the software-to-be and agents in the environment. Interactions correspond to the occurrence of an event that is controlled by one agent and monitored by another.This paper presents a technique to analyse requirements-level scenarios for unforeseen, potentially harmful, consequences. Our aim is to perform analysis early in system development, where it is highly cost-effective. The approach recognises the importance of monitoring and control issues and extends existing work on implied scenarios accordingly. These so-called input-output implied scenarios expose problematic behaviours in scenario descriptions that cannot be detected using standard implied scenarios. Validation of these implied scenarios supports requirements elaboration. We demonstrate the relevance of input-output implied scenarios using a number of examples.

References

[1]

R. Alur, G.J. Holzmann, and D. Peled, "An analyzer for message sequence charts", Software Concepts and Tools, vol. 17, no. 2, pp. 70(77), 1996.]]

[2]

R. Alur and M. Yannakakis, "Model checking of message sequence charts", in 10th International Conference on Concurrency Theory, 1999, LNCS 1664, pp. 114--129.]]

Digital Library

[3]

R. Alur, K. Etessami, and M. Yannakakis. Inference of message sequence charts, in 22nd International Conference on Software Engineering, 2000.]]

Digital Library

[4]

H. Ben-Abdallah, S. Leue: MESA: Support for Scenario-Based Design of Concurrent Systems, in 4th Intl. Conf. on Tools and Algorithms for the Construction and Analysis of Systems, 1998.]]

Digital Library

[5]

G. Berry and G. Gonthier. The synchronous programming language ESTEREL: Design, semantics, implementation. Sci. of Comp. Prog., 19(2):87--152, 1992.]]

Digital Library

[6]

R. Chatley, J. Kramer, J. Magee and S. Uchitel, Model-based Simulation of Web Applications for Usability Assessment, in ICSE Workshop on Bridging the Gaps between Software Engineering and Human-Computer Interaction, 2003.]]

[7]

M. Feather, "Language Support for the Specification and Development of Composite Systems", ACM Trans. on Programming Languages and Systems 9(2), Apr. 87, 198--234.]]

Digital Library

[8]

Harel, D. Marelly, R. Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine, Springer, New York. 2003.]]

Digital Library

[9]

C. Heitmeyer, R.D. Jeffords and B. G. Labaw, "Automated Consistency Checking of Requirements Specifications", ACM Trans. on Software Eng. and Methodology 5, 3, July 1996, 231--261.]]

Digital Library

[10]

International Telecommunications Union Telecommunication Standardisation Sector, Message Sequence Charts, 1996.]]

[11]

M. Jackson, Software Requirements & Specifications - A Lexicon of Practice, Principles and Prejudices. ACM Press, Addison-Wesley, 1995.]]

Digital Library

[12]

A. van Lamsweerde and L. Willement, Inferring Declarative Requirements Specifications from Operational Scenarios. IEEE Transactions on Software Engineering, 24 (12). 1089--1114, 1998.]]

Digital Library

[13]

A. van Lamsweerde, Requirements Engineering in the Year 00: A Research Perspective, 22nd International Conference on Software Engineering, Limerick, 2000.]]

Digital Library

[14]

E. Letier and A. van Lamsweerde, Agent-Based Tactics for Goal-Oriented Requirements Elaboration, in 24th Intl. Conference on Software Engineering, 2002.]]

Digital Library

[15]

S. Leue, L. Mehrmann, M. Reza: Synthesizing ROOM Models from Message Sequence Chart Specifications, 13th IEEE Conference on Automated Software Engineering, 1998.]]

Digital Library

[16]

A. Muscholl, D. Peled, and Z. Su, Deciding properties of message sequence charts," in Foundations of Software Sci. and Comp. Structures, 1998.]]

Digital Library

[17]

J. Niu, J. Atlee, N. Day, Template Semantics for Model-Based Notations, IEEE Transactions on Software Engineering, 29(10) 866--882, 2003.]]

Digital Library

[18]

D.L. Parnas and J. Madey, "Functional Documents for Computer Systems", Science of Computer Programming, Vol. 25, 1995, 41--61.]]

Digital Library

[19]

Sutcliffe A.G., Maiden N.A.M., Minocha S. & Manuel D. (1998), Supporting Scenario Based Requirements engineering, IEEE Transactions on Software Engineering, 24(12), pp 1072--1088.]]

Digital Library

[20]

Object Management Group, Unified Modelling Language, 2002.]]

[21]

S. Uchitel, J. Kramer, and J. Magee, Incremental elaboration of scenario-based specifications and behavior models using implied scenarios, ACM Transactions on Software Engineering and Methodology, pp 37--85, 13(1), 2004.]]

Digital Library

[22]

Whittle, J. and Schumann, J. "Generating Statechart Designs from Scenarios" in 22nd International Conference on Software Engineering, 2000.]]

Digital Library

[23]

P. Zave and M. Jackson, "Four Dark Corners of Require-ments Engineering", ACM Transactions on Software Engineering and Methodology, 1997, 1--30.]]

Digital Library

Cited By

Daun MBrings JWeyer T(2023)Model inspections in the engineering of collaborative cyber‐physical systems with instance‐level review diagramsJournal of Software: Evolution and Process10.1002/smr.239235:5Online publication date: 25-Apr-2023
https://dl.acm.org/doi/10.1002/smr.2392
Campos VCampos RMota PJorge A(2022)Tweet2Story: A Web App to Extract Narratives from TwitterAdvances in Information Retrieval10.1007/978-3-030-99739-7_32(270-275)Online publication date: 5-Apr-2022
https://doi.org/10.1007/978-3-030-99739-7_32
Jahan MAbad ZFar B(2020)Detecting Emergent Behavior in Scenario-Based Specifications using a Probabilistic Model2020 IEEE Tenth International Model-Driven Requirements Engineering (MoDRE)10.1109/MoDRE51215.2020.00010(31-38)Online publication date: Aug-2020
https://doi.org/10.1109/MoDRE51215.2020.00010
Show More Cited By

Index Terms

Monitoring and control in scenario-based requirements analysis
1. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Requirements analysis

Recommendations

Negative scenarios for implied scenario elicitation

Scenario-based specifications such as Message Sequence Charts (MSCs) are popular for requirement elicitation and specification. MSCs describe two distinct aspects of a system: on the one hand they provide examples of intended system behaviour and on the ...
Negative scenarios for implied scenario elicitation
SIGSOFT '02/FSE-10: Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering

Scenario-based specifications such as Message Sequence Charts (MSCs) are popular for requirement elicitation and specification. MSCs describe two distinct aspects of a system: on the one hand they provide examples of intended system behaviour and on the ...
Supporting Scenario-Based Requirements Engineering

Scenarios have been advocated as a means of improving requirements engineering yet few methods or tools exist to support scenario-based RE. The paper reports a method and software assistant tool for scenario-based RE that integrates with use case ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

ICSE '05: Proceedings of the 27th international conference on Software engineering

May 2005

754 pages

ISBN:1581139632

DOI:10.1145/1062455

General Chair:
Gruia-Catalin Roman
Washington University in St. Louis
,
Program Chairs:
William Griswold
University of California, San Diego
,
Bashar Nuseibeh
The Open University, UK

Copyright © 2005 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 15 May 2005

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

ICSE05

Sponsor:

ICSE05: 27th International Conference on Software Engineering

May 15 - 21, 2005

MO, St. Louis, USA

Acceptance Rates

Overall Acceptance Rate 276 of 1,856 submissions, 15%

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

36
Total Citations
View Citations
1,262
Total Downloads

Downloads (Last 12 months)9
Downloads (Last 6 weeks)0

Reflects downloads up to 05 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Daun MBrings JWeyer T(2023)Model inspections in the engineering of collaborative cyber‐physical systems with instance‐level review diagramsJournal of Software: Evolution and Process10.1002/smr.239235:5Online publication date: 25-Apr-2023
https://dl.acm.org/doi/10.1002/smr.2392
Campos VCampos RMota PJorge A(2022)Tweet2Story: A Web App to Extract Narratives from TwitterAdvances in Information Retrieval10.1007/978-3-030-99739-7_32(270-275)Online publication date: 5-Apr-2022
https://doi.org/10.1007/978-3-030-99739-7_32
Jahan MAbad ZFar B(2020)Detecting Emergent Behavior in Scenario-Based Specifications using a Probabilistic Model2020 IEEE Tenth International Model-Driven Requirements Engineering (MoDRE)10.1109/MoDRE51215.2020.00010(31-38)Online publication date: Aug-2020
https://doi.org/10.1109/MoDRE51215.2020.00010
Gadelha RVieira LMonteiro DVidal FMaia P(2020)Scen@rist: an approach for verifying self-adaptive systems using runtime scenariosSoftware Quality Journal10.1007/s11219-019-09486-xOnline publication date: 16-Jan-2020
https://doi.org/10.1007/s11219-019-09486-x
Jahan MAbad ZFar BChechik MStrüber DVarró D(2019)Detecting emergent behaviors and implied scenarios in scenario-based specificationsProceedings of the 11th International Workshop on Modelling in Software Engineerings10.1109/MiSE.2019.00009(8-14)Online publication date: 26-May-2019
https://dl.acm.org/doi/10.1109/MiSE.2019.00009
Daun MBrings JWeyer TBures TFitzgerald JSchmerl BWeyns D(2018)A semi-automated approach to foster the validation of collaborative networks of cyber-physical systemsProceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems10.1145/3196478.3196483(6-12)Online publication date: 27-May-2018
https://dl.acm.org/doi/10.1145/3196478.3196483
Aceituna D(2016)Elicitation Practices That Can Decrease Vulnerability to Off-Nominal Behaviors: Lessons from using the Causal Component ModelSAE International Journal of Passenger Cars - Electronic and Electrical Systems10.4271/2016-01-810910:1(83-94)Online publication date: 27-Sep-2016
https://doi.org/10.4271/2016-01-8109
Jurkiewicz JNawrocki J(2015)Automated events identification in use casesInformation and Software Technology10.1016/j.infsof.2014.09.01158(110-122)Online publication date: Feb-2015
https://doi.org/10.1016/j.infsof.2014.09.011
Hendijani Fard FFar B(2015)On the Usage of Network Visualization for Multiagent System VerificationOnline Social Media Analysis and Visualization10.1007/978-3-319-13590-8_10(201-228)Online publication date: 15-Jan-2015
https://doi.org/10.1007/978-3-319-13590-8_10
Sarmiento ELeite JAlmentero E(2014)C&L: Generating model based test cases from natural language requirements descriptions2014 IEEE 1st International Workshop on Requirements Engineering and Testing (RET)10.1109/RET.2014.6908677(32-38)Online publication date: Aug-2014
https://doi.org/10.1109/RET.2014.6908677
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten