Software-intensive Systems-of-Systems (SoS) refer to an arrangement of managerially and operationally independent systems(i.e., constituent systems), which work collaboratively towards the achievement of global missions. Because some SoS are developed for critical domains, such as healthcare and transportation, there is an increasing need to attain higher quality levels, which often justifies additional costs that can be incurred by adopting formal and semi-formal approaches (i.e., languages and techniques) for modeling requirements. Various approaches have been employed, but a detailed landscape is still missing, and it is not well known whether they are appropriate for addressing the inherent characteristics of SoS. The main contribution of this article is to present this landscape by reporting on the state of the art in SoS requirements modeling. This landscape was built by means of a systematic mapping and shows formal and semi-formal approaches grouped from model-based to property-oriented ones. Most of them have been tested in safety-critical domains, where formal approaches such as finite state machines are aimed at critical system parts, while semi-formal approaches (e.g., UML and i*) address non-critical parts. Although formal and semi-formal modeling is an essential activity, the quality of SoS requirements does not rely solely on which formalism is used, but also on the availability of supporting tools/mechanisms that enable, for instance, requirements verification along the SoS lifecycle

中文翻译：

---

软件密集型系统需求建模的正式和半正式语言和技术的系统识别

软件密集型系统系统 (SoS) 是指管理和操作上独立的系统（即组成系统）的安排，它们协同工作以实现全球任务。由于某些 SoS 是为关键领域（例如医疗保健和运输）开发的，因此越来越需要达到更高的质量水平，这通常证明采用正式和半正式方法（即语言和技术）可能产生的额外成本是合理的用于建模要求。已经采用了各种方法，但仍然缺少详细的图景，并且它们是否适合解决 SoS 的固有特征尚不清楚。本文的主要贡献是通过报告 SoS 需求建模的最新技术来展示这一前景。该景观是通过系统映射构建的，并展示了从基于模型到面向属性的方法的正式和半正式方法。它们中的大多数已经在安全关键领域进行了测试，其中有限状态机等形式化方法针对关键系统部分，而半形式化方法（例如 UML 和 i*）则针对非关键部分。尽管正式和半正式建模是一项必不可少的活动，但 SoS 需求的质量不仅仅取决于使用哪种形式，还取决于支持工具/机制的可用性，例如，在 SoS 生命周期中进行需求验证 该景观是通过系统映射构建的，并展示了从基于模型到面向属性的方法的正式和半正式方法。它们中的大多数已经在安全关键领域进行了测试，其中有限状态机等形式化方法针对关键系统部分，而半形式化方法（例如 UML 和 i*）则针对非关键部分。尽管正式和半正式建模是一项必不可少的活动，但 SoS 需求的质量不仅仅取决于使用哪种形式，还取决于支持工具/机制的可用性，例如，在 SoS 生命周期中进行需求验证 该景观是通过系统映射构建的，并展示了从基于模型到面向属性的方法的正式和半正式方法。它们中的大多数已经在安全关键领域进行了测试，其中有限状态机等形式化方法针对关键系统部分，而半形式化方法（例如 UML 和 i*）则针对非关键部分。尽管正式和半正式建模是一项必不可少的活动，但 SoS 需求的质量不仅仅取决于使用哪种形式，还取决于支持工具/机制的可用性，例如，在 SoS 生命周期中进行需求验证 其中有限状态机等形式化方法针对关键系统部分，而半形式化方法（例如 UML 和 i*）则针对非关键部分。尽管正式和半正式建模是一项必不可少的活动，但 SoS 需求的质量不仅仅取决于使用哪种形式，还取决于支持工具/机制的可用性，例如，在 SoS 生命周期中进行需求验证 其中有限状态机等形式化方法针对关键系统部分，而半形式化方法（例如 UML 和 i*）则针对非关键部分。尽管正式和半正式建模是一项必不可少的活动，但 SoS 需求的质量不仅仅取决于使用哪种形式，还取决于支持工具/机制的可用性，例如，在 SoS 生命周期中进行需求验证