Formal Rule Representation and Verification from Natural Language Requirements Using an Ontology - Laboratoire Interdisciplinaire des Sciences du Numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

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

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.
Fichier principal
Vignette du fichier
RuleML.pdf (546.27 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

Citer

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 Consultations
147 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More