Formalizing a Use Case to a Kripke Structure

Qamar uz Zaman, Muddassar Azam Sindhu, and Aamer Nadeem


Use Case, Informal Requirements, Kripke Structure, Formal Requirements


The use case artifact is the de facto standard to represent functional requirements of a software and can be used to verify and analyze the requirements throughout the development process. Consistent and unambiguous requirements are documented using formal representation techniques. Non-technical stakeholders usually lack skills required to understand requirements documented using formal approaches. In this paper we propose an algorithm that transforms a use case description into a Kripke structure, which makes it suitable for formal representation of software requirements without requiring any special skills and facilitating non-technical stakeholders as well.

Important Links:

Go Back