Formal composition of distributed scenarios

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

Volumn 3235, Issue , 2004, Pages 213-228

  Salah, Aziz ^a   Mizouni, Rabeb ^b   Dssouli, Rachida ^b   Parreaux, Benoît ^c  

^a UNIVERSITÉ DU QUÉBEC À MONTRÉAL   (Canada)

^b Dept of Electrical and Computer Engineering   (France)

^c ORANGE LABS   (France)

Author keywords

Distributed systems; Formal specification; FSM; Scenario composition; Scenario based approach; Use case

Indexed keywords

FORMAL METHODS; LOGIC CIRCUITS; SPECIFICATIONS;

DISTRIBUTED SYSTEMS; SCENARIO-BASED;

FORMAL SPECIFICATION;

EID: 35048847492     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30232-2_14     Document Type: Article

References (20)

1. A. V. Aho, R. Sethi, and J. D. Ullman, Compilers: principles, techniques, and tools. Reading, Mass.: Addison Wesley, 1986.
2. R. Alur, K. Etessami, and M. Yannakakis, "Inference of message sequence charts," presented at 22nd International Conference on Software Engineering, 2000.
3. R. Alur, G. Holzmann, and D. Peled, "An Analyzer for Message Sequence Charts," Software: Concepts and Tools, vol. 17, pp. 70-77, 1996.
4. H. Ben-Abdallah and S. Leue, "Syntactic Detection of Process Divergence and Nonlocal Choice inMessage Sequence Charts," in TACAS, 1997, pp. 259-274.
5. R. Fikes and N. J. Nilsson, "STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving," Artif. Intell., vol. 2, pp. 189-208,1971.
6. H. Giese, "Towards Scenario-Based Synthesis for Parametric Timed Automata," presented at the 2nd International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools, ICSE, Portland, USA, 2003.
7. D. Harel, "From Play-In Scenarios To Code: An Achievable Dream," IEEE Computer, vol. 34, pp. 53-60,2001.
8. D. Harel and H. Kugler, "Synthesizing State-Based Object Systems from LSC Specifications," Int. J. of Foundations of Computer Science, vol. 13, pp. 5-51,2002.
9. ITU, Recommendation Z. 120: Message Sequence Chart (MSC), 1999,.
10. K. Koskimies and E. Mäkinen, "Automatic Synthesis of State Machines from Trace Diagrams," Software-Practice and Experience, vol. 24, pp. 643-658,1994.
11. I. Kruger, R. Grosu, P. Scholz, and M. Broy, "From MSCs to Statecharts," presented at Distributed and Parallel Embedded Systems, 1998.
12. N. Lynch, "I/O Automata: A model for discrete event systems," presented at 22nd Annual Conference on Information Sciences and Systems, Princeton University, Princeton, N.J., 1988.
13. E. Mäkinen and T. Systä, "MAS - An Interactive Synthesizer to Support Behavioral Modeling in UML," presented at ICSE 2001, Toronto, Canada, 2001.
14. H. Muccini, "Detecting Implied Scenarios analyzing non-local Branching Choices," presented at Conf. on Fundamental Approaches to Software Engineering (FASE 2003), ETAPS2003, Warsaw, Poland, 2003.
15. M. Mukund, K. N. Kumar, and M. A. Sohoni, "Synthesizing distributed finite-state systems from MSCs," presented at Proc. CONCUR '00,2000.
16. OMG, "Unified Modeling Language (UML) specification vl.5," OMG document ad/2003-03-01, March 2003.
17. A. Salah, R. Dssouli, and G. Lapalme, "Compiling real-time scenarios into a Timed Automaton," presented at FORTE XIV/PSTV XXI, 2001.
18. S. Some, R. Dssouli, and J. Vaucher, "Toward an Automation of Requirements Engineering using Scenarios," Journal of Computing and Information, vol. 2, pp. 11101132,1996.
19. S. Uchitel, J. Kramer, and J. Magee, "Synthesis of behavioral models from scenarios," IEEE Transactions on Software Engineering, vol. 29, pp. 99-115, 2003.
20. J. Whittle and J. Schumann, "Generating statechart designs from scenarios," presented at 22nd International Conference on Software, 2000.