Verifying Temporal Properties of Use-Cases in Natural Language

Publication:

Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers

ISBN:

978-3-642-35743-5

Link:

https://doi.org/10.1007/978-3-642-35743-5_21

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},
}

Book chapter