Formal Rule Representation and Verification from Natural Language Requirements Using an Ontology - Laboratoire Interdisciplinaire des Sciences du Numérique Access content directly
Conference Papers Year : 2014

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

Abstract

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.
Fichier principal
Vignette du fichier
RuleML.pdf (546.27 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01126517 , version 1 (27-09-2019)

Identifiers

Cite

Driss Sadoun, Catherine Dubois, Yacine Ghamri-Doudane, Brigitte Grau. Formal Rule Representation and Verification from Natural Language Requirements Using an Ontology. RuleML, Aug 2014, Prague, Czech Republic. pp.226-235, ⟨10.1007/978-3-319-09870-8_17⟩. ⟨hal-01126517⟩
135 View
150 Download

Altmetric

Share

Gmail Facebook X LinkedIn More