通用 SysML/KAOS 领域元模型

Steve Jeffrey Tueno Fotso; Marc Frappier; Régine Laleau; Amel Mammar; Hector Ruiz Barradas

通用 SysML/KAOS 领域元模型

软件工程 2019-03-12 v4

作者: Steve Jeffrey Tueno Fotso , Marc Frappier , Régine Laleau , Amel Mammar , Hector Ruiz Barradas

在 arXiv 上查看 ↗ PDF ↗

摘要

本文涉及 SysML/KAOS 领域元模型的广义/通用版本，以及新领域模型与 B 系统规范之间的转换与反向传播规则。

关键词

SysML/KAOS 领域元模型 B 系统转换规则反向传播

引用

@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}
}