Generating hierarchical state machines from use case charts

Proceedings of the IEEE International Conference on Requirements Engineering

Volumn , Issue , 2006, Pages 16-25

  Whittle, Jon ^a   Jayaraman, Praveen K ^a  

^a Krasnow Institute for Advanced Study   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

HIERARCHICAL STATE MACHINES; SYNTHESIS ALGORITHM;

ALGORITHMS; MATHEMATICAL MODELS; MOTIVATION; PROBLEM SOLVING; UNIFIED MODELING LANGUAGE;

HIERARCHICAL SYSTEMS;

EID: 41149096742     PISSN: 1090705X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RE.2006.25     Document Type: Conference Paper

References (16)

1. I. Krüger, "Distributed System Design with Message Sequence Charts", PhD Thesis, Technical University of Munich, 2000.
2. D. Harel, H. Kugler and A. Pnueli, "Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements", Formal Methods in Software and System Modeling (H.-J. Kreowski et al, eds.), LNCS, Vol. 3393, Springer-Verlag, 2005, 309-324.
3. E. Mäkinen and T. Systä, "Minimally adequate teacher synthesizes Statechart diagrams," Acta Informatica 38, 2002.
4. Unified modeling language 2.0 specification, 2005. http://www.omg.org.
5. J. Whittle, "Specifying Precise Use Cases with Use Case Charts," Satellite Events at the MODELS 2005 Conference, LNCS, Vol. 3844, Springer-Verlag, 2005, 290-301.
6. J. Whittle, "A Formal Semantics of Use Case Charts," Technical Report ISE Dept, George Mason University, ISE-TR-06-02. http://www.ise.gmu.edu/ techrep
7. Message Sequence Chart (MSC). Technical Report, 1996. ITU-T Recommendation Z. 120 (previously CCITT Recommendation), Formal Description Techniques.
8. University of Paderborn Software Engineering Group. Shuttle system case study. http://wwwcs.unipaderborn.de/cs/ag-schaefer/CaseStudies/ShuttleSystem/.
9. J. Whittle and J. Schumann. "Generating Statechart designs from scenarios." In ICSE '00: Proceedings of the 22nd international conference on Software engineering, pages 314-323, New York, NY, USA, 2000. ACM Press.
10. D. Denery, H. Erzberger, T. Davis, S.Green & B. McNally, Challenges of Air Traffic Management Research: Analysis, Simulation and Field Test. In AIAA Guidance, Navigation and Control Conference, 1997.
11. I. Alexander and N. Maiden (eds.) "Scenarios, Stories, Use Cases: Through the System Development Lifecycle," John Wiley and Sons, 2004.
12. C. Potts, K. Takahashi and A. Anton, "Inquiry-based requirements analysis," IEEE Software, 21-32, 1994.
13. A. Sutcliffe, N. Maiden, S. Minocha and D. Manuel. "Supporting scenario-based requirements engineering," IEEE Transactions on Software Engineering, 24(12), 1998.
14. N. Maiden, "Crews-savre: Scenarios for acquiring and validating requirements." Journal of Automated Software Engineering, 1997.
15. T. Alspaugh and A. Anton, "Scenario networks for software specification and scenario management." IEEE Transactions on Software Engineering, 2001.
16. S. Uchitel, J. Kramer and J. Magee. "Synthesis of Behavorial Models from Scenarios." IEEE Transactions on Software Engineering. 29(2), February 2003.