SENov 8, 2018
The Generic SysML/KAOS Domain Metamodel
arXiv:1811.04732v43 citations
Originality Synthesis-oriented
AI Analysis
This work addresses the problem of improving interoperability between domain models and formal specifications for system engineers, but it appears incremental as it builds on existing SysML/KAOS and B System frameworks.
The paper introduces a generalized version of the SysML/KAOS domain metamodel and develops translation and back-propagation rules to connect this new domain model with B System specifications, aiming to enhance integration and consistency in system modeling.
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.