SysML/KAOS 领域建模方法
软件工程
2017-10-04 v1
摘要
构建安全关键系统的一种手段是对利益相关者提出的需求进行形式化建模，并确保其相对于应用领域属性的一致性。本文提出了一种基于 OWL 和 PLIB 的本体建模形式系统的元模型。该建模形式系统是系统领域建模方法的一部分，这些系统的需求通过 SysML/KAOS 捕获。SysML/KAOS 目标的形式语义使用 Event-B 规约表示。目标提供事件集合，而领域模型将提供 Event-B 规约的系统状态结构。我们通过一个关于 Cycab 定位组件规约的案例研究来说明我们的提案。该案例研究涉及一个定位软件组件的规约，该组件使用 GPS、Wi-Fi 和传感器技术来实现 Cycab 车辆的实时定位。Cycab 车辆是一种旨在具备鲁棒性且完全独立的自主地面运输系统。
关键词
引用
@article{arxiv.1710.00903,
title = {The SysML/KAOS Domain Modeling Approach},
author = {Steve Tueno and Régine Laleau and Amel Mammar and Marc Frappier},
journal= {arXiv preprint arXiv:1710.00903},
year = {2017}
}
备注
16 pages