Improving Requirements Specification for Communication Services with Formalised Use Case Models

Ryndina, Oksana and Kritzinger, Pieter (2004) Improving Requirements Specification for Communication Services with Formalised Use Case Models, Proceedings of Southern African Telecommunication Networks and Applications Conference (SATNAC) 2004, 6 - 8 September 2004, Spier Wine Estate.

PDF No_106_-_Ryndina.pdf Download (114kB)

Abstract

The challenging task of requirements specification for communication services has not been sufficiently addressed to date. The complexity of communication systems requires a formal approach to requirements capture and analysis, however at the same time the industry does not take well to convoluted formalisms. We suggest improving requirements specification by enhancing the approach that is most popular at the moment - use case modelling. We amend traditional use case models with a formal structure and semantics to make them suitable for automated verification. The enhanced use case modelling technique that we propose is called Susan (”S”ymbolic ”us”e case ”an”alysis) and it facilitates verification of use case models using symbolic model checking. We also developed a software tool called SusanX to construct, manipulate and analyse Susan models. The analysis feature of the tool is implemented using the NuSMV model checker. A number of generic properties for verification are built into SusanX, and the tool additionally allows the user to construct model-specific properties.

Item Type:	Conference paper
Date Deposited:	21 Oct 2004
Last Modified:	10 Oct 2019 15:35
URI:	http://pubs.cs.uct.ac.za/id/eprint/151

Actions (login required)

View Item