Book chapter

Title:
Verifying Temporal Properties of Use-Cases in Natural Language
Authors:
V. Simko, D. Hauzar, T. Bureš, P. Hnětynka, F. Plášil
Publication:
Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers
Year:
2012
ISBN:
978-3-642-35743-5
Link:

Abstract:
This paper presents a semi-automated method that helps iteratively write use-cases in natural language and verify consistency of behavior encoded within them. In particular, this is beneficial when the use-cases are created simultaneously by multiple developers. The proposed method allows verifying the consistency of textual use-case specification by employing annotations in use-case steps that are transformed into temporal logic formulae and verified within a formal behavior model. A supporting tool for plain English use-case analysis is currently being enhanced by integrating the verification algorithm proposed in the paper.

BibTeX:
@incollection{simko_verifying_2012,
    title = {{Verifying Temporal Properties of Use-Cases in Natural Language}},
    author = {Simko, Viliam and Hauzar, David and Bures, Tomas and Hnetynka, Petr and Plasil, Frantisek},
    year = {2012},
    booktitle = {{Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers}},
    editor = {Arbab, Farhad and Ölveczky, Peter Csaba},
    publisher = {Springer Berlin Heidelberg},
    location = {Berlin, Heidelberg},
    doi = {10.1007/978-3-642-35743-5_21},
    isbn = {978-3-642-35743-5},
    pages = {350--367},
    url = {https://doi.org/10.1007/978-3-642-35743-5_21},
}