2013 39th Euromicro Conference on Software Engineering and Advanced Applications (2012)
Cesme, Izmir, Turkey Turkey
Sept. 5, 2012 to Sept. 8, 2012
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SEAA.2012.15
The advantage of textual use-cases is that they can be easily understood by stakeholders and domain experts. However, since use-cases typically rely on a natural language, they cannot be directly subject to a formal verification. In this paper, we present the FOAM method which features simple user-definable annotations, inserted into a use-case to make its semantics more suitable for verification. Subsequently a model-checking tool verifies temporal invariants associated with the annotations. This way, FOAM allows for harnessing the benefits of model-checking while still keeping the use-cases understandable for non-experts.
Unified modeling language, Cities and towns, Semantics, Natural languages, Automata, Object oriented modeling, Educational institutions, NuSMV, Requirements, Verification, CTL, LTL
Viliam Simko, Petr Hnetynka, Tomas Bures, Frantisek Plasil, "FOAM: A Lightweight Method for Verification of Use-Cases", 2013 39th Euromicro Conference on Software Engineering and Advanced Applications, vol. 00, no. , pp. 228-232, 2012, doi:10.1109/SEAA.2012.15