@inproceedings{543be12c5ca1447d863f8b1b87341dbd,
title = "Formalisation of SysML/KAOS goal assignments with B system component decompositions",
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{\textquoteright}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 = "B System, Domain models, Event-B, Formal models, Goal models, Modularisation, Requirements engineering, SysML/KAOS",
author = "\{Tueno Fotso\}, \{Steve Jeffrey\} and Marc Frappier and R{\'e}gine Laleau and Amel Mammar and Michael Leuschel",
note = "Publisher Copyright: {\textcopyright} Springer Nature Switzerland AG 2018.; 14th International Conference on Integrated Formal Methods, IFM 2018 ; Conference date: 05-09-2018 Through 07-09-2018",
year = "2018",
month = jan,
day = "1",
doi = "10.1007/978-3-319-98938-9\_22",
language = "English",
isbn = "9783319989372",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "377--397",
editor = "Furia, \{Carlo A.\} and Kirsten Winter",
booktitle = "Integrated Formal Methods - 14th International Conference, IFM 2018, Proceedings",
}