Analysis of Initial Use Case Descriptions

P. Krishnan (Australia)


Use case, event semantics


In this article a lightweight formalism based on events is introduced for use case descriptions. The behaviour of use cases is described precisely and used to check for equiva lence of various aspects of use cases. The definitions also allow the developer to explore possible restructuring of use cases. These can be based on design rules for use cases. A prototype system, based on the formal definitions, enabling the development team to analyse the descriptions has also been developed.

Important Links:

Go Back