Rechercher

[SDG14] Formal Rule Representation and Verification from Natural Language Requirements Using an Ontology

Conférence Internationale avec comité de lecture : RuleML, August 2014, Vol. 8620, pp.226-235, Series LNCS, Prague, Czech Republic, (DOI: 10.1007/978-3-319-09870-8_17)

Mots clés: Natural language processing, ontology, formal methods, formal verification

Résumé: The development of a system is usually based on shared and accepted requirements. Hence, to be largely understood by the stakeholders, requirements are often written in natural language (NL). However, checking requirements completeness and consistency requires having them in a formal form. In this article, we focus on user requirements describing a system behaviour, i.e. its behavioural rules. We show how to transform behavioural rules identified from NL requirements and represented within an OWL ontology into the formal specification language Maude. The OWL ontology represents the generic behaviour of a system and allow us to bridge the gap between informal and formal languages and to automate the transformation of NL rules into a Maude specification.

Equipe: cpr
Collaboration: LIMSI , IGM

BibTeX

@inproceedings {
SDG14,
title="{Formal Rule Representation and Verification from Natural Language Requirements Using an Ontology}",
author=" D. Sadoun and C. Dubois and Y. Ghamri-Doudane and B. Grau ",
booktitle="{RuleML}",
year=2014,
month="August",
series="LNCS",
volume=8620,
pages="226-235",
address="Prague, Czech Republic",
doi="10.1007/978-3-319-09870-8_17",
}