Specifying use case sequencing constraints using description elements

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

Volumn , Issue , 2007, Pages 4-10

  Somé, Stéphane S ^a  

^a UNIVERSITY OF OTTAWA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; CONSTRAINT THEORY; SUPPORT VECTOR MACHINES; UNIFIED MODELING LANGUAGE; VERIFICATION;

DESCRIPTION ELEMENTS; SEQUENCING CONSTRAINTS; SUPPORT VERIFICATION;

SEQUENTIAL MACHINES;

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

References (14)

1. L. Briand and Y. Labiche. A UML-Based Approach to System Testing. Technical Report TR SCE-01-01, Carleton University, 2002.
2. M. Fowler. www.DistributedComputing.com, 1998.
3. P. Fröhlich and J. Link. Automated test case generation from dynamic models. In E. Bertino, editor, ECOOP 2000 - Object-Oriented Programming, 14th European Conference, pages 472-492. Springer, 2000.
4. 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. Springier LNCS 989, 1995.
5. A. Holub. OO design process: Use cases, an introduction. http://www-128.ibm.com/developerworks/library/codesign5.html, 2000.
6. ITU-T. Recommendation Z120, Message Sequence Charts, 2004.
7. I. Krüger. Modeling and Synthesis with MSC Extensions for Broadcasting, Overlapping, Preemptive, and Triggered Collaborations. In Scenarios and state machines: models, algorithms, and tools (SCESM'03), 2003.
8. C. Nebut, F. Fleurey, Y. L. Traon, and J.-M. Jézéquel. Automatic Test Generation: A Use Case Driven Approach. IEEE Transactions On Software Engineering, 32(3):140-155, march 2006.
9. OMG. UML 2.0 Superstructure, 2003. Object Management Group.
10. J. Ryser and M. Glinz. Using dependency charts to improve scenario-based testing. In Proceedings of 17th International Conference on Testing Computer Software (TCS2000), 2000.
11. S. Some. Beyond Scenarios: Generating State Models from Use Cases. In Scenarios and state machines: models, algorithms, and tools (SCESM'02), 2002.
12. S. Somé. Supporting Use Cases based Requirements Engineering. Information and Software Technology, 48(1):43-58, 2006.
13. W. M. P. van der Aalst, A. H. M. ter Hofstede, B. Kiepuszewski, and A. P. Barros. Workflow patterns. Distributed and Parallel Databases, 14(1):5-51, 2003.
14. J. Whittle. Specifying Precise Use Cases with Use Case Charts. In Satellite Events at the MODELS 2005 Conference, volume 3844 of LNCS, pages 290-301. Springer-Verlag, 2005.