Integrating domain modeling within a formal requirements engineering method - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2021

Integrating domain modeling within a formal requirements engineering method

Résumé

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.
Fichier non déposé

Dates et versions

hal-03545897 , version 1 (27-01-2022)

Identifiants

Citer

Steve Jeffrey Tueno Fotso, Régine Laleau, Amel Mammar, Marc Frappier. Integrating domain modeling within a formal requirements engineering method. Implicit and explicit semantics integration in proof-based developments of discrete systems: communications of NII Shonan meetings, Springer, pp.39-58, 2021, 978-981-15-5053-9. ⟨10.1007/978-981-15-5054-6_3⟩. ⟨hal-03545897⟩
23 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More