The Community for Technology Leaders
2013 39th Euromicro Conference on Software Engineering and Advanced Applications (2012)
Cesme, Izmir, Turkey Turkey
Sept. 5, 2012 to Sept. 8, 2012
ISBN: 978-1-4673-2451-9
pp: 228-232
ABSTRACT
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.
INDEX TERMS
Unified modeling language, Cities and towns, Semantics, Natural languages, Automata, Object oriented modeling, Educational institutions, NuSMV, Requirements, Verification, CTL, LTL
CITATION
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
81 ms
(Ver 3.3 (11022016))