Tools
ToolsKanyaru, J.M. and Phalp, K. T., 2004. A Lightweight State Machine for Validating Use Case Descriptions. Technical Report. Bournemouth: ESERG.
This is the latest version of this eprint.
Full text available as:
![[img]](/style/images/fileicons/application_pdf.png)
|
PDF (ESERG technical report, Bournemouth University)
TR04-01.pdf - Published Version 384kB | |
|
Copyright to original material in this document is with the original owner(s). Access to this content through BURO is granted on condition that you use it only for research, scholarly or other non-commercial purposes. If you wish to use it for any other purposes, you must contact BU via BURO@bournemouth.ac.uk. Any third party copyright material in this document remains the property of its respective owner(s). BU grants no licence for further use of that third party material. |
Official URL: http://dec.bournemouth.ac.uk/ESERG/Technical_Repor...
Abstract
This paper presents a tool to provide an enaction capability for use case descriptions. Use cases have wide industry acceptance and are well suited for constructing initial approximations of the intended behaviour. However, use case descriptions are still relatively immature with respect to precise syntax and semantics. Hence, despite promising work on providing writing guidelines, rigorous validation of use case descriptions requires further support. One approach to supporting validation is to use enaction. Indeed, enactable models have been used extensively within process modelling to clarify understanding of descriptions. Given the importance of requirements validation, such automated support promises significant benefits. However, the need to produce formal descriptions, to drive enaction, is often seen as a barrier to the takeup of such technologies. That is, developers have traditionally been reluctant to increase the proportion of effort devoted to requirements activities. Our approach involves the development of a lightweight state-machine, which obviates any need to create intermediate formal descriptions, thereby maintaining the simple nature of the use case description. Hence, this 'lightweight' approach, which provides an enaction capability ‘for minimal effort’, increases the likelihood of industrial take-up.
| Item Type: | Monograph (Technical Report) |
|---|---|
| Additional Information: | Technical Report of the Empirical Software Engineering Research Group |
| Group: | Faculty of Science & Technology |
| ID Code: | 11354 |
| Deposited By: | Dr Keith Phalp |
| Deposited On: | 15 Sep 2009 19:28 |
| Last Modified: | 14 Mar 2022 13:25 |
Available Versions of this Item
-
A Lightweight State Machine for Validating Use Case Descriptions. (deposited 30 Apr 2009 16:44)
- A Lightweight State Machine for Validating Use Case Descriptions. (deposited 15 Sep 2009 19:28) [Currently Displayed]
Downloads
Downloads per month over past year
| Repository Staff Only - |