The Generic SysML/KAOS Domain Metamodel
Steve Jeffrey Tueno Fotso, Marc Frappier, R\'egine Laleau, Amel, Mammar, Hector Ruiz Barradas
TL;DR
This paper introduces a generalized SysML/KAOS domain metamodel and discusses translation and back propagation rules to connect domain models with B System specifications.
Contribution
It presents a generic version of the SysML/KAOS domain metamodel along with rules for translating between domain models and B System specifications.
Findings
Development of a generalized domain metamodel.
Definition of translation and back propagation rules.
Facilitation of model consistency between domain models and B System specifications.
Abstract
This paper is related to the generalised/generic version of the SysML/KAOS domain metamodel and on translation and back propagation rules between the new domain models and B System specifications.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Software Engineering Methodologies · Service-Oriented Architecture and Web Services · Model-Driven Software Engineering Techniques