| Identifikační kód |
RIV/00216208:11320/12:10124891 |
| Název v anglickém jazyce |
FOAM : A Lightweight Method for Verification of Use-Cases |
| Druh |
D - Stať ve sborníku |
| Jazyk |
eng - angličtina |
| Obor - skupina |
J - Průmysl |
| Obor |
JC - Počítačový hardware a software |
| Rok uplatnění |
2012 |
| Kód důvěrnosti údajů |
S - Úplné a pravdivé údaje o výsledku nepodléhající ochraně podle zvláštních právních předpisů. |
| Počet výskytů výsledku |
3 |
| Počet tvůrců celkem |
4 |
| Počet domácích tvůrců |
2 |
| Výčet všech uvedených jednotlivých tvůrců |
Petr Hnětynka (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 7347448)
Viliam Šimko (státní příslušnost: SK - Slovenská republika, domácí tvůrce: A, vedidk: 9164553)
Tomáš Bureš (státní příslušnost: CZ - Česká republika)
František Plášil (státní příslušnost: CZ - Česká republika) |
| Popis výsledku v anglickém jazyce |
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. |
| Klíčová slova oddělená středníkem |
NuSMV; LTL; CTL; Veri?cation; Requirements |
| Stránka www, na které se nachází výsledek |
http://d3s.mff.cuni.cz/publications/download/2012-SEAA-SimkoHnetynaBuresPlasil-FOAM.pdf |
| DOI výsledku |
10.1109/SEAA.2012.15 |
| Odkaz na údaje z výzkumu |
- |