FOAM : A Lightweight Method for Verification of Use-Cases
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F12%3A10124891" target="_blank" >RIV/00216208:11320/12:10124891 - isvavai.cz</a>
Alternative codes found
RIV/67985807:_____/12:00382688
Result on the web
<a href="http://d3s.mff.cuni.cz/publications/download/2012-SEAA-SimkoHnetynaBuresPlasil-FOAM.pdf" target="_blank" >http://d3s.mff.cuni.cz/publications/download/2012-SEAA-SimkoHnetynaBuresPlasil-FOAM.pdf</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1109/SEAA.2012.15" target="_blank" >10.1109/SEAA.2012.15</a>
Alternative languages
Result language
angličtina
Original language name
FOAM : A Lightweight Method for Verification of Use-Cases
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GAP103%2F11%2F1489" target="_blank" >GAP103/11/1489: Methods of development and verification of component-based applications using natural language specifications</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach
Others
Publication year
2012
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Proceedings of the 38th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)
ISBN
978-0-7695-4790-9
ISSN
1089-6503
e-ISSN
—
Number of pages
5
Pages from-to
228-232
Publisher name
IEEE Computer Society
Place of publication
Los Alamitos, CA, USA
Event location
Cesme, Izmir, Turkey
Event date
Sep 5, 2012
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
000310462600036