Formalizing a Use Case to a Kripke Structure
Qamar uz Zaman, Muddassar Azam Sindhu, Aamer Nadeem · 2015
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.