A Relation-based Approach to Use Case Analysis

Use Cases are an effective tool for modeling functional requirements of software systems. A well written Use Case allows to depict a large amount of information regarding the behaviour of the system, as perceived by the actors. Use Cases have the advantage to be expressed using Natural Language expressions that have a fixed structure and this can mitigate some of the usual, NL-inherent, problems of interpretation. In this paper, we present an approach that, starting with the application of NL processing techniques to the Use Case scenarios, derives semantic information on the relations between the actors. This information, largely achievable in an automatic way, can be used to support the analysis of Use Case requirements document and it represents a starting point towards the formal verification of some relevant aspects.

[1]  Colette Rolland,et al.  A Natural Language Approach for Requirements Engineering , 1992, CAiSE.

[2]  Stefania Gnesi,et al.  Assisting requirement formalization by means of natural language translation , 1994, Formal Methods Syst. Des..

[3]  Norbert E. Fuchs,et al.  Specifying Logic Programs in Controlled Natural Language , 1995, ArXiv.

[4]  Linda H. Rosenberg,et al.  Automated Analysis of Requirement Specifications , 1997, Proceedings of the (19th) International Conference on Software Engineering.

[5]  Alistair Cockburn,et al.  Structuring Use Cases with Goals , 2000 .

[6]  Bashar Nuseibeh,et al.  Requirements engineering: a roadmap , 2000, ICSE '00.

[7]  Barbara Paech,et al.  Developing Guidance and Tool Support for Rationale-based Use Case Specification , 2001 .

[8]  Björn Regnell,et al.  Evaluating automated support for requirements similarity analysis in market-driven development , 2001 .

[9]  Didar Zowghi,et al.  Using default reasoning to discover inconsistencies in natural language requirements , 2001, Proceedings Eighth Asia-Pacific Software Engineering Conference.

[10]  Annie I. Antón,et al.  Scenario Networks: A Case Study of the Enhanced Messaging System , 2001 .

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

[12]  Stefania Gnesi,et al.  The linguistic approach to the natural language requirements quality: benefit of the use of an automatic tool , 2001, Proceedings 26th Annual NASA Goddard Software Engineering Workshop.

[13]  Bashar Nuseibeh,et al.  Lightweight validation of natural language requirements , 2002, Softw. Pract. Exp..

[14]  Debbie Richards,et al.  A Controlled Language to Assist Conversion of Use Case Descriptions into Concept Lattices , 2002, Australian Joint Conference on Artificial Intelligence.

[15]  Erik Kamsties,et al.  Taming Ambiguity in Natural Language Requirements , 2005 .