Ontology-Driven Natural Language Requirement Templates for Model Checking I&C Functions

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientific

    Abstract

    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.
    Original languageEnglish
    Title of host publicationEnlarged Halden Programme Group Meeting
    Subtitle of host publicationProceedings of the Man-Technology-Organisation (MTO) Sessions
    Place of PublicationHalden, Norway
    Publication statusPublished - 2013
    MoE publication typeB3 Non-refereed article in conference proceedings
    EventEnlarged Halden Programme Group Meeting, EHPG 2013 - Storefjell, Norway
    Duration: 10 Mar 201315 Mar 2013

    Conference

    ConferenceEnlarged Halden Programme Group Meeting, EHPG 2013
    Abbreviated titleEHPG 2013
    CountryNorway
    CityStorefjell
    Period10/03/1315/03/13

    Fingerprint

    Model checking
    Ontology
    File editors

    Keywords

    • Model checking
    • requirements
    • I&C systems

    Cite this

    Tommila, T., Pakonen, A., & Valkonen, J. (2013). Ontology-Driven Natural Language Requirement Templates for Model Checking I&C Functions. In Enlarged Halden Programme Group Meeting: Proceedings of the Man-Technology-Organisation (MTO) Sessions [Paper C4.13] Halden, Norway.
    Tommila, Teemu ; Pakonen, Antti ; Valkonen, Janne. / Ontology-Driven Natural Language Requirement Templates for Model Checking I&C Functions. Enlarged Halden Programme Group Meeting: Proceedings of the Man-Technology-Organisation (MTO) Sessions. Halden, Norway, 2013.
    @inproceedings{4f202bf9eb1543db932e5d95498b58d5,
    title = "Ontology-Driven Natural Language Requirement Templates for Model Checking I&C Functions",
    abstract = "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.",
    keywords = "Model checking, requirements, I&C systems",
    author = "Teemu Tommila and Antti Pakonen and Janne Valkonen",
    note = "Project code: 77380",
    year = "2013",
    language = "English",
    booktitle = "Enlarged Halden Programme Group Meeting",

    }

    Tommila, T, Pakonen, A & Valkonen, J 2013, Ontology-Driven Natural Language Requirement Templates for Model Checking I&C Functions. in Enlarged Halden Programme Group Meeting: Proceedings of the Man-Technology-Organisation (MTO) Sessions., Paper C4.13, Halden, Norway, Enlarged Halden Programme Group Meeting, EHPG 2013, Storefjell, Norway, 10/03/13.

    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 proceedingConference article in proceedingsScientific

    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 -

    Tommila T, Pakonen A, Valkonen J. Ontology-Driven Natural Language Requirement Templates for Model Checking I&C Functions. In Enlarged Halden Programme Group Meeting: Proceedings of the Man-Technology-Organisation (MTO) Sessions. Halden, Norway. 2013. Paper C4.13