Negative scenarios for implied scenario elicitation

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn , Issue , 2002, Pages 109-118

  Uchitel, Sebastian ^a   Kramer, Jeff ^a   Magee, Jeff ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

Implied scenarios; MSC; Negative scenarios

Indexed keywords

ALGORITHMS; COMPUTER ARCHITECTURE; COMPUTER HARDWARE DESCRIPTION LANGUAGES; CONSTRAINT THEORY;

LABELLED TRANSITION SYSTEMS; MESSAGE SEQUENCE CHARTS;

SOFTWARE ENGINEERING;

EID: 0038011025     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/605466.605484     Document Type: Conference Paper

References (18)

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.
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.
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.
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.
5. Holzmann, G. J., Protocol Synthesis (Chapter 10), in Design and Validation of Computer Protocols. 1990, Prentice Hall.
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.
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.
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.
10. Magee, J. and J. Kramer, Concurrency: State Models and Java Programs. 1999, New York: John Wiley & Sons Ltd.
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.
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.
13. Saleh, K., Synthesis of Communication Protocols. Computer Communication Review, 1996, 26(5): p. 40-59.
14. Smith, R.L., et al. Propel: An Approach Supporting Property Elucidation in IEEE International Conference on Software Engineering (ICSE'02). 2002. Orlando.
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.
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.
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.