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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bajwa, I.S., Bordbar, B., Lee, M., Anastasakis, K.: Nl2alloy: A tool to generate alloy from nl constraints. JDIMÂ 10(6) (2012)
Clavel, M., Durán, F., Hendrix, J., Lucas, S., Meseguer, J., Ölveczky, P.C.: The maude formal tool environment. In: Mossakowski, T., Montanari, U., Haveraaen, M. (eds.) CALCO 2007. LNCS, vol. 4624, pp. 173–178. Springer, Heidelberg (2007)
Durán, F., Gogolla, M., Roldán, M.: Tracing properties of uml and ocl models with maude. In: AMMSE (2011)
Eker, S., Meseguer, J., Sridharanarayanan, A.: The maude {LTL} model checker. ENTCS 71, 162–187 (2004)
Guissé, A., Lévy, F., Nazarenko, A.: From regulatory texts to brms: how to guide the acquisition of business rules? In: Bikakis, A., Giurca, A. (eds.) RuleML 2012. LNCS, vol. 7438, pp. 77–91. Springer, Heidelberg (2012)
Karpovic, J., Nemuraite, L., Stankeviciene, M.: Requirements for semantic business vocabularies and rules for transforming them into consistent owl2 ontologies. In: Skersys, T., Butleris, R., Butkiene, R. (eds.) ICIST 2012. CCIS, vol. 319, pp. 420–435. Springer, Heidelberg (2012)
Njonko, P., El Abed, W.: From natural language business requirements to executable models via sbvr. In: ICSAI (2012)
Sadoun, D., Dubois, C., Ghamri-Doudane, Y., Grau, B.: From natural language requirements to formal specification using an ontology. In: ICTAI (2013)
Selway, M., Grossmann, G., Mayer, W., Stumptner, M.: Formalising natural language specifications using a cognitive linguistics/configuration based approach. In: EDOC, pp. 59–68 (2013)
Sukys, A., Nemuraite, L., Paradauskas, B., Sinkevicius, E.: Transformation framework for sbvr based semantic queries in business information systems. In: BUSTECH, pp. 19–24 (2012)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Sadoun, D., Dubois, C., Ghamri-Doudane, Y., Grau, B. (2014). Formal Rule Representation and Verification from Natural Language Requirements Using an Ontology. In: Bikakis, A., Fodor, P., Roman, D. (eds) Rules on the Web. From Theory to Applications. RuleML 2014. Lecture Notes in Computer Science, vol 8620. Springer, Cham. https://doi.org/10.1007/978-3-319-09870-8_17
Download citation
DOI: https://doi.org/10.1007/978-3-319-09870-8_17
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-09869-2
Online ISBN: 978-3-319-09870-8
eBook Packages: Computer ScienceComputer Science (R0)