使用状态增强 SysLab 系统模型
软件工程
2014-12-09 v1
摘要
在本报告中，SYSLAB 模型以不同方式得到了补充：通过定时端口自动机提供了 State-box 模型，并给出了其操作语义和相应的指称语义。为在 state-box 视图中建模的组件以及在 black-box 视图中建模的组件定义了组合。这种组合对于无限多组件的网络是良定义的。为了展示该模型的适用性，给出了几个示例。
引用
@article{arxiv.1412.2461,
title = {Enhancing the SysLab System Model with State},
author = {Radu Grosu and Cornel Klein and Bernhard Rumpe},
journal= {arXiv preprint arXiv:1412.2461},
year = {2014}
}
备注
46 pages, 7 figures; Technical Report TUM-I9631, TU Munich, 1996. arXiv admin note: text overlap with arXiv:1411.6027