Integrating Domain Modeling Within a Formal Requirements Engineering Method

Steve Tueno; Régine Laleau; Amel Mammar; Marc Frappier

doi:10.1007/978-981-15-5054-6_3

Integrating Domain Modeling Within a Formal Requirements Engineering Method

Steve Tueno
, Régine Laleau
, Amel Mammar
, Marc Frappier

Université de PARIS XII
Université de Sherbrooke

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Chapitre › Revue par des pairs

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.

langue originale	Anglais
titre	Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
Sous-titre	Communications of NII Shonan Meetings
Editeur	Springer Singapore
Pages	39-58
Nombre de pages	20
ISBN (Electronique)	9789811550546
ISBN (imprimé)	9789811550539
Les DOIs	https://doi.org/10.1007/978-981-15-5054-6_3
état	Publié - 1 janv. 2020

Accès au document

10.1007/978-981-15-5054-6_3

Contient cette citation

@inbook{c331a9a8b4e14861961142b886780fe4,

title = "Integrating Domain Modeling Within a Formal Requirements Engineering Method",

abstract = "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.",

author = "Steve Tueno and R{\'e}gine Laleau and Amel Mammar and Marc Frappier",

note = "Publisher Copyright: {\textcopyright} Springer Nature Singapore Pte Ltd. 2021.",

year = "2020",

month = jan,

day = "1",

doi = "10.1007/978-981-15-5054-6\_3",

language = "English",

isbn = "9789811550539",

pages = "39--58",

booktitle = "Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems",

publisher = "Springer Singapore",

}

Integrating Domain Modeling Within a Formal Requirements Engineering Method. / Tueno, Steve; Laleau, Régine; Mammar, Amel et al.
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings. Springer Singapore, 2020. p. 39-58.

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Chapitre › Revue par des pairs

TY - CHAP

T1 - Integrating Domain Modeling Within a Formal Requirements Engineering Method

AU - Tueno, Steve

AU - Laleau, Régine

AU - Mammar, Amel

AU - Frappier, Marc

PY - 2020/1/1

Y1 - 2020/1/1

N2 - 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.

AB - 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.

U2 - 10.1007/978-981-15-5054-6_3

DO - 10.1007/978-981-15-5054-6_3

M3 - Chapter

AN - SCOPUS:85102641625

SN - 9789811550539

SP - 39

EP - 58

BT - Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems

PB - Springer Singapore

ER -

Integrating Domain Modeling Within a Formal Requirements Engineering Method

Résumé

Accès au document

Empreinte digitale

Contient cette citation