Towards Using Ontologies for Domain Modeling within the SysML/KAOS Approach

Modeling the domain of a system to be implemented is a very critical and often neglected activity during requirements engineering. In this paper, we set the scene for an approach to complement the SysML/KAOS goal model of a system by adding an ontological representation of its domain knowledge. We think that an Event-B formalization of that domain representation can be used to enrich the formal specifications obtained from the goal model. This paper describes the metamodel that we propose for the representation of domain knowledge and illustrates the proposal through a Landing Gear System case study.

[1]  Li Zong-yong,et al.  The Domain Ontology and Domain Rules Based Requirements Model Checking , 2007 .

[2]  Thai Son Hoang,et al.  Abstract State Machines, Alloy, B, TLA, VDM, and Z , 2018, Lecture Notes in Computer Science.

[3]  Manfred Broy,et al.  Domain Modeling and Domain Engineering: Key Tasks in Requirements Engineering , 2013, Perspectives on the Future of Software Engineering.

[4]  Guy Pierra,et al.  The PLIB ontology-based approach to data integration , 2004, IFIP Congress Topical Sessions.

[5]  Axel van Lamsweerde,et al.  Requirements Engineering: From System Goals to UML Models to Software Specifications , 2009 .

[6]  Amel Mammar,et al.  On the Use of Domain and System Knowledge Modeling in Goal-Based Event-B Specifications , 2016, ISoLA.

[7]  Betty H. C. Cheng,et al.  A general framework for formalizing UML with formal languages , 2001, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.

[8]  Frank van Harmelen,et al.  Web Ontology Language , 2004 .

[9]  Pascal Hitzler,et al.  Web Ontology Language (OWL) , 2014, Encyclopedia of Social Network Analysis and Mining.

[10]  Régine Laleau,et al.  A Goal-Based Approach to Guide the Design of an Abstract Event-B Specification , 2011, 2011 16th IEEE International Conference on Engineering of Complex Computer Systems.

[11]  Jean-Raymond Abrial,et al.  Modeling in event-b - system and software engineering by Jean-Raymond Abrial , 2010, SOEN.

[12]  Markus Lumpe,et al.  KBRE: a framework for knowledge-based requirements engineering , 2014, Software Quality Journal.

[13]  Christophe Gnaho,et al.  Une extension SysML pour l'ingénierie des exigences dirigée par les buts , 2010, INFORSID.