Supporting use case based requirements engineering

Use cases that describe possible interactions involving a system and its environment are increasingly being accepted as effective means for functional requirements elicitation and analysis. In the current practice, informal definitions of use cases are used and the analysis process is manual. In this paper, we present an approach supported by a tool for use cases based requirements engineering. Our approach includes use cases formalization, a restricted form of natural language for use cases description, and the derivation of an executable specification as well as a simulation environment from use cases.

[1]  Erkki Mäkinen,et al.  Automatic synthesis of state machines from trace diagrams , 1994, Softw. Pract. Exp..

[2]  Stefania Gnesi,et al.  Applications of linguistic techniques for use case analysis , 2003, Requirements Engineering.

[3]  David Harel,et al.  Come, Let’s Play , 2003, Springer Berlin Heidelberg.

[4]  Reinhold Ploesch.  Contracts, Scenarios and Prototypes: An Integrated Approach to High Quality Software , 2004 .

[5]  Johann Schumann,et al.  Generating statechart designs from scenarios , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[6]  Sebastián Uchitel,et al.  Synthesis of Behavioral Models from Scenarios , 2003, IEEE Trans. Software Eng..

[7]  Nancy G. Leveson,et al.  Completeness and Consistency Analysis of State-Based Requirements , 1995, 1995 17th International Conference on Software Engineering.

[8]  Stefan Leue,et al.  Synthesizing ROOM Models from Message Sequence Chart Specifications , 1998 .

[9]  Jean G. Vaucher,et al.  A service creation environment based on scenarios , 1999, Inf. Softw. Technol..

[10]  Ivar Jacobson,et al.  The unified modeling language reference manual , 2010 .

[11]  Stéphane S. Somé.  Supporting Use Cases Based Requirements Simulation , 2004, Software Engineering Research and Practice.

[12]  Pamela Zave,et al.  Feature interactions and formal specifications in telecommunications , 1993, Computer.

[13]  Jean G. Vaucher,et al.  From scenarios to timed automata: building specifications from users requirements , 1995, Proceedings 1995 Asia Pacific Software Engineering Conference.

[14]  Geri Schneider,et al.  Applying Use Cases: A Practical Guide , 1998 .

[15]  Stéphane S. Somé,et al.  An Enhancement of Timed Automata generation from Timed Scenarios using Grouped States , 1996 .

[16]  David Harel,et al.  Synthesizing State-Based Object Systems from LSC Specifications , 2000, Int. J. Found. Comput. Sci..

[17]  Fa A Comprare,et al.  Come , 1890, The Hospital.

[18]  Martin Glinz,et al.  Improving the Quality of Requirements with Scenarios , 2000 .

[19]  Debbie Richards,et al.  Reconciling Use Cases via Controlled Languages and Graphical Models , 2001, INAP.

[20]  Stéphane S. Somé.  An Approach for the Synthesis of State Transition Graphs from Use Cases , 2003, Software Engineering Research and Practice.

[21]  Mordechai Ben-Menachem,et al.  Writing effective use cases , 2001, SOEN.

[22]  Stefania Gnesi,et al.  Applications of linguistic techniques for use case analysis , 2002, Proceedings IEEE Joint International Conference on Requirements Engineering.

[23]  Colette Rolland,et al.  Guiding the Construction of Textual Use Case Specifications , 1998, Data Knowl. Eng..

[24]  David Chenho Kung,et al.  Formal approach to scenario analysis , 1994, IEEE Software.

[25]  Mohammad Reza Mousavi,et al.  Synthesizing software architecture descriptions from Message Sequence Chart specifications , 1998, Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239).

[26]  Ivar Jacobson,et al.  The Unified Software Development Process , 1999 .