Integrating Domain Modeling Within a Formal Requirements Engineering Method

One way to build safe critical systems is to formally model the requirements formulated by stakeholders and to ensure their consistency with respect to domain properties. This paper describes a metamodel for a domain modeling language built from OWL and PLIB. The language is part of the SysML/KAOS requirements engineering method which also includes a goal modeling language. The formal semantics of SysML/KAOS models is specified, verified, and validated using the Event-B method. Goal models provide machines and events of the Event-B specification while domain models provide its structural part (sets and constants with their properties and variables with their invariant). Our proposal is illustrated with a case study dealing with the specification of a localization component for an autonomous vehicle.

[1]  Guy Pierra,et al.  Context Representation in Domain Ontologies and Its Use for Semantic Integration of Data , 2008, J. Data Semant..

[2]  Sepanta Sekhavat,et al.  The Cycab robot: a differentially flat system , 2000, Proceedings. 2000 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2000) (Cat. No.00CH37113).

[3]  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.

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

[5]  Haruhiko Kaiya,et al.  An Integrated Tool for Supporting Ontology Driven Requirements Elicitation , 2007, ICSOFT.

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

[7]  Haruhiko Kaiya,et al.  GOORE : Goal-Oriented and Ontology Driven Requirements Elicitation Method , 2007, ER Workshops.

[8]  Dines Bjørner,et al.  Compositionality: Ontology and Mereology of Domains , 2010, Concurrency, Compositionality, and Correctness.

[9]  Marc Frappier,et al.  Event-B Expression and Verification of Translation Rules Between SysML/KAOS Domain Models and B System Specifications , 2018, ABZ.

[10]  KiferMichael,et al.  F-logic: a higher-order language for reasoning about objects, inheritance, and scheme , 1989 .

[11]  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.

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

[13]  Michael Kifer,et al.  F-logic: a higher-order language for reasoning about objects, inheritance, and scheme , 1989, SIGMOD '89.

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

[15]  Régine Laleau,et al.  A first attempt to combine SysML requirements diagrams and B , 2010, Innovations in Systems and Software Engineering.

[16]  Jéssyka Vilela,et al.  Applications of ontologies in requirements engineering: a systematic review of the literature , 2015, Requirements Engineering.

[17]  Pascal Hitzler,et al.  Web Ontology Language (OWL) , 2018, Encyclopedia of Social Network Analysis and Mining. 2nd Ed..

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

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

[20]  Mickaël Baron,et al.  Ontologies in engineering: the OntoDB/OntoQL platform , 2017, Soft Comput..

[21]  Vladan Devedzic,et al.  Knowledge modeling - State of the art , 2001, Integr. Comput. Aided Eng..