Article

Negative scenarios for implied scenario elicitation

Authors:

Sebastian Uchitel,

Jeff MageeAuthors Info & Claims

SIGSOFT '02/FSE-10: Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering

Pages 109 - 118

https://doi.org/10.1145/587051.587069

Published: 18 November 2002 Publication History

Abstract

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 other they outline the system architecture. A mismatch between architecture and behaviour may give rise to implied scenarios. Implied scenarios occur because a component's local view of the system state is insufficient to enforce specified system behaviour. An implied scenario indicates a gap in the MSC specification that needs to be clarified. It may simply mean that an acceptable scenario has been overlooked and should be added to the scenario specification. Alternatively, it may represent an unacceptable behaviour which should be documented and avoided in the final implementation. Thus implied scenarios can be used to iteratively drive requirements elicitation. However, in order to do so, tools for coping with rejected implied scenarios are needed. The contributions of this paper are twofold. Firstly, we define a language for describing negative scenarios. Secondly, we complement existing implied scenario detection methods with techniques for accommodating negative scenarios.

References

[1]

Alur, R., K. Etessami, and M. Yannakakis. Inference of Message Sequence Charts in 22nd IEEE International Conference on Software Engineering (ICSE'00). 2000. Limerick.

Digital Library

[2]

Alur, R., G.J. Holzmann, and D. Peled. An Analyser for Message Sequence Charts in 2nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'96). 1996. Passau: Springer.

Digital Library

[3]

Ben-Abdhallah, H. and S. Leue. Syntactic Detection of Process Divergence and Non-Local Choice in Message Sequence Charts in 3rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'97). 1997: Springer.

Digital Library

[4]

Harel, D. and W. Damm. LSCs: Breathing Life into Message Sequence Charts in 3rd IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems. 1999. New York: Kluwer Academic.

Digital Library

[5]

Holzmann, G.J., Protocol Synthesis (Chapter 10), in Design and Validation of Computer Protocols. 1990, Prentice Hall.

Digital Library

[6]

Hunter, A. and B. Nuseibeh, Managing Inconsistent Specifications: Reasoning, Analysis and Action. ACM Transactions on Software Engineering and Methodology, 1998. 7(4): p. 335--367.

Digital Library

[7]

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

[8]

Krüger, I., et al., From MSCs to Statecharts, in Distributed and Parallel Embedded Systems, F.J. Rammig, Editor. 1999, Kluwer Academic Publishers. p. 61--71.

Digital Library

[9]

Lamsweerde, A.v. and L. Willemet, Inferring Declarative Requirements Specifications from Operational Scenarios. IEEE Transactions on Software Engineering, 1998. 24(12): p. 1089--1114.

Digital Library

[10]

Magee, J. and J. Kramer, Concurrency: State Models and Java Programs. 1999, New York: John Wiley & Sons Ltd.

Digital Library

[11]

Mäkinen, E. and T. Systä. MAS - An Interactive Synthesizer to Support Behavioral Modeling in UML, in 23rd IEEE International Conference on Software Engineering (ICSE '01). 2001. Toronto.

Digital Library

[12]

Muscholl, A., D. Peled, and Z. Su. Deciding Properties of Message Sequence Charts in 1st International Conference on the Foundations of Software Science and Computation Structure, (FOSSACS'98). 1998. Lisbon: Springer.

Digital Library

[13]

Saleh, K., Synthesis of Communication Protocols. Computer Communication Review, 1996. 26(5): p. 40--59.

Digital Library

[14]

Smith, R.L., et al. Propel: An Approach Supporting Property Elucidation in IEEE International Conference on Software Engineering (ICSE'02). 2002. Orlando.

Digital Library

[15]

Uchitel, S. and J. Kramer. A Workbench for Synthesising Behaviour Models from Scenarios in International Conference on Software Engineering (ICSE'01). 2001. Toronto: IEEE Computer Society.

Digital Library

[16]

Uchitel, S., J. Kramer, and J. Magee. Detecting Implied Scenarios in Message Sequence Chart Specifications in Joint 8th European Software Engineering Conference (ESEC'01) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE'01). 2001. Vienna: ACM Press.

Digital Library

[17]

Uchitel, S., J. Kramer, and J. Magee. Detecting Implied Scenarios in the Presence of Behaviour Constraints in International Workshop on Validation and Implementation of Scenario-based Specifications (VISS'02) a satellite workshop of the 5th European Joint Conferences on Theory and Practice of Software (ETAPS'02). 2002. Grenoble: Electronic Notes in Theoretical Computer Science.

[18]

Whittle, J. and J. Schumann. Generating Statechart Designs from Scenarios in 22nd International Conference on Software Engineering (ICSE'00). 2000. Limerick, Ireland.

Digital Library

Cited By

Lee CWang CKim EHelal S(2017)Blueprint Flow: A Declarative Service Composition Framework for Cloud ApplicationsIEEE Access10.1109/ACCESS.2017.27486225(17634-17643)Online publication date: 2017
https://doi.org/10.1109/ACCESS.2017.2748622
Asteasuain FBraberman V(2017)Declaratively building behavior by means of scenario clausesRequirements Engineering10.1007/s00766-015-0242-222:2(239-274)Online publication date: 1-Jun-2017
https://dl.acm.org/doi/10.1007/s00766-015-0242-2
Moshirpour MEl-Sherif SAlhajj RFar B(2015)Verification of lack of emergent behavior in extending a social network of agentsSocial Network Analysis and Mining10.1007/s13278-014-0242-05:1Online publication date: 9-Jan-2015
https://doi.org/10.1007/s13278-014-0242-0
Show More Cited By

Index Terms

Negative scenarios for implied scenario elicitation
1. Software and its engineering
  1. Software creation and management
    1. Software development techniques
  2. Software notations and tools
    1. System description languages
      1. Specification languages

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 ...
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios

Behavior modeling has proved to be successful in helping uncover design flaws of concurrent and distributed systems. Nevertheless, it has not had a widespread impact on practitioners because model construction remains a difficult task and because the ...
An approach to identifying causes of implied scenarios using unenforceable orders

Context: The implied scenarios are unexpected behaviors in the scenario specifications. Detecting and handling them is essential for the correctness of the scenario specifications. To handle such implied scenarios, identifying the causes of implied ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

SIGSOFT '02/FSE-10: Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering

November 2002

184 pages

ISBN:1581135149

DOI:10.1145/587051

General Chair:
Mary Lou Soffa
University of Pittsburgh
,
Program Chair:
William Griswold
University of California, San Diego

Copyright © 2002 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: 18 November 2002

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

SIGSOFT02/FSE-10

Sponsor:

SIGSOFT02/FSE-10: 10th Int'l Symposium on the Foundations of Software Engineering

November 18 - 22, 2002

South Carolina, Charleston, USA

Acceptance Rates

SIGSOFT '02/FSE-10 Paper Acceptance Rate 17 of 128 submissions, 13%;

Overall Acceptance Rate 17 of 128 submissions, 13%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

32
Total Citations
View Citations
885
Total Downloads

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

Reflects downloads up to 22 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

Lee CWang CKim EHelal S(2017)Blueprint Flow: A Declarative Service Composition Framework for Cloud ApplicationsIEEE Access10.1109/ACCESS.2017.27486225(17634-17643)Online publication date: 2017
https://doi.org/10.1109/ACCESS.2017.2748622
Asteasuain FBraberman V(2017)Declaratively building behavior by means of scenario clausesRequirements Engineering10.1007/s00766-015-0242-222:2(239-274)Online publication date: 1-Jun-2017
https://dl.acm.org/doi/10.1007/s00766-015-0242-2
Moshirpour MEl-Sherif SAlhajj RFar B(2015)Verification of lack of emergent behavior in extending a social network of agentsSocial Network Analysis and Mining10.1007/s13278-014-0242-05:1Online publication date: 9-Jan-2015
https://doi.org/10.1007/s13278-014-0242-0
Moshirpour MEl-Sherif SAlhajj RFar BRokne JFaloutsos C(2013)Analyzing the scalability of a social network of agentsProceedings of the 2013 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining10.1145/2492517.2492571(1-7)Online publication date: 25-Aug-2013
https://dl.acm.org/doi/10.1145/2492517.2492571
Moshirpour MMohassel PEberlein AFar B(2012)Detection of emergent behavior for internet filtering systems2012 IEEE International Conference on Systems, Man, and Cybernetics (SMC)10.1109/ICSMC.2012.6377991(1755-1760)Online publication date: Oct-2012
https://doi.org/10.1109/ICSMC.2012.6377991
Moshirpour MEl-Sherif SFar BAlhajj R(2012)Detecting Emergent Behavior in a Social Network of AgentsThe Influence of Technology on Social Network Analysis and Mining10.1007/978-3-7091-1346-2_17(393-409)Online publication date: 21-Dec-2012
https://doi.org/10.1007/978-3-7091-1346-2_17
Maoz SRingert JRumpe B(2011)Modal object diagramsProceedings of the 25th European conference on Object-oriented programming10.5555/2032497.2032517(281-305)Online publication date: 25-Jul-2011
https://dl.acm.org/doi/10.5555/2032497.2032517
Moshirpour MAlhajj RMoussavi MFar B(2011)Detecting emergent behavior in distributed systems using an ontology based methodology2011 IEEE International Conference on Systems, Man, and Cybernetics10.1109/ICSMC.2011.6084038(2407-2412)Online publication date: Oct-2011
https://doi.org/10.1109/ICSMC.2011.6084038
Whittle JJayaraman P(2010)Synthesizing hierarchical state machines from expressive scenario descriptionsACM Transactions on Software Engineering and Methodology10.1145/1656250.165625219:3(1-45)Online publication date: 1-Feb-2010
https://dl.acm.org/doi/10.1145/1656250.1656252
Moshirpour MMousavi AFar B(2010)Model based detection of implied scenarios in multi agent systems2010 IEEE International Conference on Information Reuse & Integration10.1109/IRI.2010.5558962(63-68)Online publication date: Aug-2010
https://doi.org/10.1109/IRI.2010.5558962
Show More Cited By

View Options

Get Access

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.

Media

Figures

Other

Tables

View Table of Contents