| Identifikační kód |
RIV/67985807:_____/12:00382688 |
| 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ů |
Tomáš Bureš (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 3059944)
František Plášil (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 2455609)
P. Hnětynka (státní příslušnost: CZ - Česká republika)
V. Šimko (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 Formal Verification of Annotated Use-Case Models (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 modelchecking while still keeping the use-cases understandable for non-experts. |
| Klíčová slova oddělená středníkem |
requirements; verification; CTL; LTL; NuSMV |
| Stránka www, na které se nachází výsledek |
- |
| DOI výsledku |
10.1109/SEAA.2012.15 |
| Odkaz na údaje z výzkumu |
- |