An approach for the synthesis of State transition graphs from Use Cases

Proceedings of the International Conference on Software Engineering Research and Practise

Volumn 1, Issue , 2003, Pages 456-462

  Somé, Stéphane S ^a  

^a UNIVERSITY OF OTTAWA   (Canada)

Author keywords

Requirements engineering; State machines; UML; Use Cases

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; OBJECT ORIENTED PROGRAMMING; SOFTWARE ENGINEERING;

STATE MACHINES; UNIFIED MODELING LANGUAGE (UML); USE CASES;

REQUIREMENTS ENGINEERING;

EID: 1642587852     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)

1. A. Cockburn. Writing Effective Use Cases. Addison Wesley, 2001.
2. M. Glinz. An Integrated Formal Model of Scenarios Based on Statecharts. In Software Engineering - ESEC'95. Proceedings of the 5th European Software Engineering Conference, pages 254-271. Springler LNCS 989, 1995.
3. I. Jacobson, G. Booch, and J. Rumbaugh. The Unified Software Development Process. Addison Wesley, 1998.
4. I. Jacobson, M. Christerson, P. Jonsson, and G. Övergaard. Object-Oriented Software Engineering, A Use Case Driven Approach. Addison-Wesley, ACM Press, 2 edition, 1993.
5. K. Koskimies and E. Mäkinen. Automatic Synthesis of State Machines from Trace Diagrams. Software-Practice and Experience, 24(7):643-658, July 1994.
6. S. Leue, L. Mehrmann, and M. Rezai. Synthesizing ROOM Models from Message Sequence Chart Specifications. In 13th IEEE Conference on Automated Software Engineering, October 1998.
7. OMG. OMG Unified Modeling Language Specification version 1.4, 2001.
8. F. C. N. Pereira and D. H. D. Warren. Definite clause grammars for language analysis-a survey of the formalism and comparison with augmented transition networks. Artificial Intelligence, 13:231-278, 1980.
9. J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual. Addison-Wesley, 1998.
10. G. Schneider and J. P. Winters. Applying Use Cases a practical guide. Addison-Wesley, 1998.
11. S. Somé and R. Dssouli. An Enhancement of Timed Automata generation from Timed Scenarios using Grouped States. Electronic Journal on Network and Distributed Processing (EJNDP), (6), 1998.
12. S. Somé, R. Dssouli, and J. Vaucher. From Scenarios to Timed Automata: Building Specifications from Users Requirements. In Proceedings of the 2nd Asia Pacific Software Engineering Conference (APSEC'95). IEEE, Dec. 1995.
13. J. Whittle and J. Schumann. Generating statechart designs from scenarios. In International Conference on Software Engineering (ICSE 2000), Limerick, Ireland, Jun. 2000.