@inproceedings{fb3c8808d33a40c18fad82324efabb13,
title = "Event-B expression and verification of translation rules between sysML/KAOS domain models and B system specifications",
abstract = "This paper is about the extension of the SysML/KAOS requirements engineering method with domain models expressed as ontologies. More precisely, it concerns the translation of these ontologies into B System for system construction. The contributions of this paper are twofold. The first one is a formal semantics for the ontology modeling language. The second one is the formal definition of translation rules between ontologies and B system specifications in order to provide the structural part of the formal specification. These translation rules are modeled in Event-B. Their consistency and completeness are proved using Rodin. We show that they are structure preserving (two related elements within the source model remain related within the target model), by proving various isomorphisms between the ontology and the B System specification.",
keywords = "B system, Domain modeling, Event-B, Ontologies, SysML/KAOS",
author = "\{Tueno Fotso\}, \{Steve Jeffrey\} and Amel Mammar and R{\'e}gine Laleau and Marc Frappier",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing AG, part of Springer Nature 2018.; 6th International Conference on ABZ Conference on ASM, Alloy, B, TLA, VDM, and Z, ABZ 2018 ; Conference date: 05-06-2018 Through 08-06-2018",
year = "2018",
month = jan,
day = "1",
doi = "10.1007/978-3-319-91271-4\_5",
language = "English",
isbn = "9783319912707",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "55--70",
editor = "Michael Butler and Hoang, \{Thai Son\} and Alexander Raschke and Klaus Reichl",
booktitle = "Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Proceedings",
}