Detecting implied scenarios analyzing non-local branching choices

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2621, Issue , 2003, Pages 372-386

  Muccini, Henry ^a  

^a UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

SPECIFICATIONS;

EXECUTION PATHS; HIGH LEVEL MESSAGE SEQUENCE CHARTS; ITS APPLICATIONS; SCENARIO SPECIFICATION; SOFTWARE SYSTEMS; STATE MACHINE; STATE MACHINE MODELS; SYNTHESIS PROCESS;

SOFTWARE ENGINEERING;

EID: 35248821295     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36578-8_26     Document Type: Article

References (23)

1. R. Alur, K. Etessami, and M. Yannakakis. Inference of Message Sequence Charts. In Proc. 22nd Int. Conf. on Software Engineering, ICSE2000, Limerick, Ireland.
2. H. Ben-Abdallah and S. Leue. Syntactic Detection of Process Divergence and non-Local Choice in Message Sequence Charts. In Proc. TACAS'97, LNCS 1217, pp. 259-274, 1997.
3. H. Ben-Abdallah and S. Leue. MESA: Support for Scenario-Based Design of Concurrent Systems. In Proc. TACAS'98, LNCS 1384, pp. 118-135, 1998.
4. A. Filkenstein, D. Gabbay, A. Hunter, J. Kramer, and B. Nuseibeh. Inconsistency handling in multi-perspective specifications. IEEE Items. on Software Engineering, Vol. 20, Number 8, pp. 569-578, August 1994.
5. P. Fradet, D. Le Metayer, and M. Perin. Consistency Checking for Multiple View Software Architectures. In Proc. European Software Engineering Conference (ESEC/FSE'99), pp. 410-428, 1999.
6. P. Inverardi, H. Muccini, and P. Pelliccione. Automated Check of Architectural Models Consistency using SPIN. In ACM Proc. Int. Conference on Automated Software Engineering (ASE 2001), 2001.
7. K. Koskimies and E. Makinen. Automatic synthesis of state machines from trace diagrams. Software Practice and Experience, 24(7), pp. 643-658, 1994.
8. K. Koskimies, T. Männistö, T. Systä, and J. Tuomi. Automated support for OO software. IEEE Software, 15(1), pp. 87-94, 1998. Tool Download at: http://wvw.cs.tut.fi/~tsysta/sced/.
9. I. Krüger, R. Grosu, P. Scholz, and M. Broy. From MSCs to Statecharts. Distributed and Parallel Embedded Systems, Kluwer Academic, 1999.
10. S. Leue, L. Mehrmann, and M. Rezai. Synthesizing ROOM models from message sequence chart specifications. In Proc. of the 13th IEEE Conf. on Automated Software Engineering, 1998.
11. S. Mauw, M.A. Reniers, and T.A.C. Willemse. Message Sequence Charts in the Software Engineering Process. In S.K. Chang, editor, Handbook of Software Engineering and Knowledge Engineering, World Scientific Publishing Co., Vol. 1, Fundamentals, pp. 437-463, December 2001.
12. Message Sequence Chart (MSC). ITU Telecommunication Standardization Sector (ITU-T). Z.120 Reccomendation for MSC-2000, year 2000.
13. H. Muccini. An Approach for Detecting Implied Scenarios. In Proc. ICSE2002 Workshop on "Scenarios and state machines: models, algorithms, and tools". Available at http://www.henrymuccini.com/publications.htm.
14. C. Pons, R. Giandini, and G. Baum. Dependency Relations Between Models in the Unified Process. In Proc. IWSSD 2000, November 2000.
15. Rational Corporation. Uml Resource Center. UML documentation, version 1.3. Available from: http://www.rational.com/uml/index.jtmpl.
16. G. Reggio, M. Cerioli, and E. Astesiano. Towards a Rigorous Semantics of UML Supporting its Multiview Approach. In Proc. FA SE 2001, LNCS n. 2029, Berlin, Springer Verlag, 2001.
17. E. Rudolph, P. Graubmann, and J. Grabowski. Tutorial on Message Sequence Charts. In Computer Network and ISDN Systems, 28(12), pp. 1629-1641, 1996. Special issue on SDL and MSC.
18. T. Schafer, A. Knapp, and S. Merz. Model Checking UML State Machines and Collaborations. On the Workshop on Software Model Checking, Paris, July 23 2001. ENTCS, volume 55 number 3.
19. Second International Workshop on Living with Inconsistency. ICSE'01 workshop, May 13, 2001 Toronto, Canada.
20. UBET. http://cm.bell-labs.com/cm/cs/what/ubet/.
21. S. Uchitel, J. Kramer, and J. Magee. Detecting Implied Scenarios in Message Sequence Chart Specifications. In Proc. European Software Engineering Conference (ESEC/FSE'01), Vienna 2001.
22. S. Uchitel, J. Magee, and J. Kramer. LTSA and implied Scenarios. On line at: http://www.doc.ic.ac.uk/~su2/Synthesis/.
23. J. Whittle and J. Schumann. Generating Statechart Designs from Scenarios. In Proc. 22nd Int. Conference on Software Engineering (ICSE'00), 2000.