English

The Generic SysML/KAOS Domain Metamodel

Software Engineering 2019-03-12 v4

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.

Cite

@article{arxiv.1811.04732,
  title  = {The Generic SysML/KAOS Domain Metamodel},
  author = {Steve Jeffrey Tueno Fotso and Marc Frappier and Régine Laleau and Amel Mammar and Hector Ruiz Barradas},
  journal= {arXiv preprint arXiv:1811.04732},
  year   = {2019}
}

Comments

14 pages. arXiv admin note: text overlap with arXiv:1803.01972

R2 v1 2026-06-23T05:12:36.913Z