On generating EFSM models from use cases

Proceedings - ICSE 2007 Workshops: Sixth International Workshop on Scenarios and State Machines, SCESM'07

Volumn , Issue , 2007, Pages

  Sinha, Avik ^a   Paradkar, Amit ^a   Williams, Clay ^a  

^a IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BEHAVIOR MODELING; CAPTURING REQUIREMENTS;

ALGORITHMS; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER APPLICATIONS; FINITE AUTOMATA; UNIFIED MODELING LANGUAGE;

REQUIREMENTS ENGINEERING;

EID: 36949016451     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SCESM.2007.3     Document Type: Conference Paper

References (20)

1. R. Alur and M. Yannakakis. Model checking of hierarchical state machines. In Foundations of Software Engineering, pages 175-188, 1998.
2. L. Apfelbaum and J. Doyle. Model based testing. In Software Quality Week Conference, 1997.
3. J. M. Atlee and J. Gannon. State-based model checking of event-driven system requirements. IEEE Trans. Softw. Eng., 19(1):24-40, 1993.
4. F. Bures and O. Rysav. Formal abstract architecture for use case specifications. In Proceedings of the 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, pages 203-211. IEEE Computer Society Press, 2004.
5. M. Fowler. UML Distilled: A Brief Guide to the Standard Object Modeling Language. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 2003.
6. P. Fröhlich and J. Link. Automated test case generation from dynamic models. In ECOOP '00: Proceedings of the 14th European Conference on Object-Oriented Programming, pages 472-492, London, UK, 2000. Springer-Verlag.
7. W. Grieskamp, M. Lepper, W. Schulte, and N. Tillmann. Testable use cases in the abstract state machine language. In APAQS, pages 167-172, 2001.
8. J. H. Hausmann, R. Heckel, and G. Taentzer. Detection of conflicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation. In ICSE '02: Proceedings of the 24th International Conference on Software Engineering, pages 105-115, New York, NY, USA, 2002. ACM Press.
9. I. Jacobson. Object-oriented development in an industrial environment. In OOPSLA '87: Conference proceedings on Object-oriented programming systems, languages and applications, pages 183-191, New York, NY, USA, 1987. ACM Press.
10. J. B. Jorgensen and C. Bossen. Executable use cases: Requirements for a pervasive health care system. IEEE Softw., 21(2):34-41, 2004.
11. W. J. Lee, S. D. Cha, and Y R. Kwon. Integration and analysis of use cases using modular petri nets in requirements engineering. Software Engineering, 24(12):1115-1130, 1998.
12. L.Li. Translating use cases to sequence diagrams. InASE, pages 293-296, 2000.
13. S. Li, J. Wang, X. Wang, and Z.-C. Qi. Configurationoriented symbolic test sequence construction method for efsm. In COMPSAC (1), pages 13-18, 2005.
14. OMG. Unified modeling language: Superstructure (version 2.0). Technical report, Object Management Group, 140 Kendrick Street, Building A Suite 300, Needham, MA 02494, U.S.A., May 2004.
15. A. Petrenko, S. Boroday, and R. Groz. Confirming configurations in efsm testing. IEEE Trans. Software Eng., 30(1):29-42, 2004.
16. C. Potts, K. Takahashi, and A. Anton. Inquiry-based requirements analysis. IEEE Software, 11(2):21-3-2, 1994.
17. D. Rosenberg and K. Scott. Use case driven object modeling with UML: a practical approach. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 1999.
18. K. S. Rubin and A. Goldberg. Object behavior analysis. Commun. ACM, 35(9):48-62, 1992.
19. T. R. Systems. Model based testing and validation with reactis. In White Paper, 2007.
20. C. Williams, M. Kaplan, T. Klinger, and A. Paradkar. Toward engineered, useful use cases. Journal of Object Technology, 4(6):45-57, August 2005.