Abstract
| Original language | English |
|---|---|
| Title of host publication | Enlarged Halden Programme Group Meeting |
| Subtitle of host publication | Proceedings of the Man-Technology-Organisation (MTO) Sessions |
| Place of Publication | Halden, Norway |
| Publication status | Published - 2013 |
| MoE publication type | B3 Non-refereed article in conference proceedings |
| Event | Enlarged Halden Programme Group Meeting, EHPG 2013 - Storefjell, Norway Duration: 10 Mar 2013 → 15 Mar 2013 |
Conference
| Conference | Enlarged Halden Programme Group Meeting, EHPG 2013 |
|---|---|
| Abbreviated title | EHPG 2013 |
| Country | Norway |
| City | Storefjell |
| Period | 10/03/13 → 15/03/13 |
Fingerprint
Keywords
- Model checking
- requirements
- I&C systems
Cite this
}
Ontology-Driven Natural Language Requirement Templates for Model Checking I&C Functions. / Tommila, Teemu; Pakonen, Antti; Valkonen, Janne.
Enlarged Halden Programme Group Meeting: Proceedings of the Man-Technology-Organisation (MTO) Sessions. Halden, Norway, 2013. Paper C4.13.Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific
TY - GEN
T1 - Ontology-Driven Natural Language Requirement Templates for Model Checking I&C Functions
AU - Tommila, Teemu
AU - Pakonen, Antti
AU - Valkonen, Janne
N1 - Project code: 77380
PY - 2013
Y1 - 2013
N2 - Model checking is a formal and exhaustive computer-aided verification method particularly suitable for I&C functions. A challenge with it is that both requirements and I&C functions must be first transformed into a formal presentation understood by the model checker software. In this paper, we suggest a combination of ontologies and natural language templates as a means to tackle this problem. On this basis, an intelligent text editor can be implemented to guide the user in writing well-formed requirements. Storing templates together with their formal counterparts makes it possible to automatically formalize the requirements for the model checker.
AB - Model checking is a formal and exhaustive computer-aided verification method particularly suitable for I&C functions. A challenge with it is that both requirements and I&C functions must be first transformed into a formal presentation understood by the model checker software. In this paper, we suggest a combination of ontologies and natural language templates as a means to tackle this problem. On this basis, an intelligent text editor can be implemented to guide the user in writing well-formed requirements. Storing templates together with their formal counterparts makes it possible to automatically formalize the requirements for the model checker.
KW - Model checking
KW - requirements
KW - I&C systems
M3 - Conference article in proceedings
BT - Enlarged Halden Programme Group Meeting
CY - Halden, Norway
ER -