Formalisation of SysML/KAOS goal assignments with B system component decompositions

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

doi:10.1007/978-3-319-98938-9_22

Formalisation of SysML/KAOS goal assignments with B system component decompositions

Steve Tueno ^{1, 2, 3} Marc Frappier ² Régine Laleau ³ Amel Mammar ^{1, 4, 5} Michael Leuschel ^{1, 6}

1 METHODES-SAMOVAR - Méthodes et modèles pour les réseaux

SAMOVAR - Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux

2 Département d'informatique [Sherbrooke]

3 LACL - Laboratoire d'Algorithmique Complexité et Logique

4 INF - Département Informatique

5 SAMOVAR - Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux

6 University of Dusseldorf

Abstract : The use of formal methods for verification and validation of critical and complex systems is important, but can be extremely tedious without modularisation mechanisms. SysML/KAOS is a requirements engineering method. It includes a goal modeling language to model requirements from stakeholder's needs. It also contains a domain modeling language for the representation of system application domain using ontologies. Translation rules have been defined to automatically map SysML/KAOS models into B System specifications. Moreover, since the systems we are interested in naturally break down into subsystems (enabling the distribution of work between several agents: hardware, software and human), SysML/KAOS goal models allow the capture of assignments of requirements to agents responsible of their achievement. Each agent is associated with a subsystem. The contribution of this paper is an approach to ensure that a requirement assigned to a subsystem is well achieved by the subsystem. A particular emphasis is placed on ensuring that system invariants persist in subsystems specifications

Keywords : Requirements engineering Formal models Modularisation Goal models Domain models SysML/KAOS B System Event-B

Type de document :

Communication dans un congrès

IFM 2018: 14th International Conference on Integrated Formal Methods, Sep 2018, Maynooth, Ireland. Springer, Proceedings IFM 2018: 14th International Conference on Integrated Formal Methods, pp.377 - 397, 2018, 〈10.1007/978-3-319-98938-9_22〉

Domaine :

Informatique [cs] / Génie logiciel [cs.SE]

Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01885098
Contributeur : Médiathèque Télécom Sudparis & Institut Mines-Télécom Business School <>
Soumis le : lundi 1 octobre 2018 - 15:58:19
Dernière modification le : mardi 22 janvier 2019 - 14:32:06

Formalisation of SysML/KAOS goal assignments with B system component decompositions

Identifiants

Collections

Citation

Exporter

Métriques

19

Contact

Formalisation of SysML/KAOS goal assignments with B system component decompositions

Identifiants

Collections

Citation

Exporter

Partager

Métriques

19

Contact