Detecting implied scenarios in message sequence chart specifications

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

Volumn , Issue , 2001, Pages 74-82

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

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

FSP; Implementability; Labelled transition systems; LTSA; Message sequence charts; Synthesis

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; REQUIREMENTS ENGINEERING;

SCENARIO-BASED SPECIFICATIONS;

SOFTWARE ENGINEERING;

EID: 0035783704     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/503271.503220     Document Type: Conference Paper

References (15)

1. Alur, R., Etessami, K. and Yannakakis, M., Inference of Message Sequence Charts. 22nd International Conference on Software Engineering (ICSE'00). Limerick, Ireland, 2000.
2. Broy, M., Krüger, I., Grosu, R. and Scholz, P., From MSCs to Statecharts. Distributed and Parallel Embedded Systems, 1999, Kluwer Academic Publishers.
3. Cobens, J.M.H., Engels, A., Mauw, S. and Reniers, M.A. Formal Semantics of Message Sequence Charts, Eindenhoven University of Technology, Eindhoven, The Netherlands, 1998.
4. Harel, D. and Damm, W., LSCs: Breathing Life into Message Sequence Charts. 3rd IFIP Int. Cond. of Formal Methods for Open Object-Based Distributed Systems, New York, 1999, Kluwer Academic.
5. Helouet, L. and LeMaigat, P., Decomposition of Message Sequence Charts. 2nd Workshop on SDL and MSC, Grenoble, France, 2000.
6. Holzmann, G.J. and Peled, D. The state of Spin, CAV'96, LNCS 1102, 1996.
7. ITU-T Recommendation Z.120. Message Sequence Charts (MSC'96), ITU Telecommunication Standardisation Sector, Geneva, 1996.
8. Magee, J. and Kramer, J. Concurrency: State Models and Java Programs. John Wiley & Sons Ltd., New York, 1999.
9. Magee, J., Kramer, J., Giannakopoulou, D. and Pryce, N., Graphical Animation of Behavior Models. 22nd International Conference on Software Engineering (ICSE'00), Limerick, Ireland, 2000.
10. Systä, T. Static and Dynamic Reverse Engineering Techniques for Java Software Systems Dept. of Computer and Information Sciences, University of Tampere, Tampere, 2000.
11. Uchitel, S. LTSA-MSC Tool., Available at http://www-dse.doc.ic.ac.uk/̃su2/Synthesis/Department of Computing, Imperial College, 2001.
12. Uchitel, S. and Kramer, J., A Workbench for Synthesising Behaviour Models from Scenarios. 23rd International Conferecne on Software Engineering (ICSE'001), Toronto, Canada, 2001.
13. Uchitel, S., Magee, J. and Kramer, J. Detecting Implied Scenarios in MSCs Using LTSA, Department of Computing, Imperial College, 2001.
14. Van Lamsweerde, A. and Willemet, L. Inferring Declarative Requirements Specifications from Operational Scenarios. IEEE Transactions on Software Engineering, 24 (12). 1089-1114.
15. Whittle, J. and Schumann, J., Generating Statechart Designs from Scenarios. in 22nd International Conference on Software Engineering (ICSE'00), Limerick, Ireland, 2000.