软件密集型体系需求建模中形式化与半形式化语言及技术的系统性识别
软件工程
2020-07-15 v1 系统与控制
系统与控制
摘要
软件密集型体系（SoS）指的是管理上和操作上独立的系统（即构成系统）的编排，这些系统协作以实现全局任务。由于某些体系是为医疗和交通等关键领域开发的，对更高质量水平的需求日益增长，这常常证明采用形式化与半形式化方法（即语言和技术）进行需求建模所产生的额外成本是合理的。已使用了多种方法，但详细的图景仍然缺失，且这些方法是否适合解决体系固有特征尚不清楚。本文的主要贡献是通过报告体系需求建模的艺术现状来呈现这一图景。该图景通过系统映射构建，展示了从基于模型到面向属性的形式化与半形式化方法分组。其中大多数已在安全关键领域得到测试，形式化方法如有限状态机针对关键系统部分，而半形式化方法（例如 UML 和 i*）处理非关键部分。尽管形式化与半形式化建模是一项基本活动，体系需求的质量并不仅依赖于所使用的形式化语言，还依赖于支持工具/机制的可用性，这些工具/机制能够实现例如贯穿体系生命周期的需求验证。
引用
@article{arxiv.2007.07031,
title = {A Systematic Identification of Formal and Semi-formalLanguages and Techniques for Software-intensiveSystems-of-Systems Requirements Modeling},
author = {Cristiane Aparecida Lana and Milena Guessi and Pablo Oliveira Antonino and Dieter Rombach and Elisa Yumi NakagawaA},
journal= {arXiv preprint arXiv:2007.07031},
year = {2020}
}