Abstract: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

Study on System of Systems capability modeling framework based on complex relationship analyzing

An asymmetric interdependent networks model for cyber-physical systems

Ontology-Based Architecture Process of System-of-Systems: from Capability Development to Operational Modeling

Modeling the Impact of Interdependency Among Capabilities in System of Systems Context Using Unified Architecture Framework and Choquet Integral

Research on Multi-Dimension and Multi-View Integrated Modeling of Operational System of Systems

A Systematic Identification of Formal and Semi-formalLanguages and Techniques for Software-intensiveSystems-of-Systems Requirements Modeling

A Goal-Based Approach for Modeling and Simulation of Different Types of System-of-systems

Based on Capability of C4ISR Architectural Modeling and Analysis

A Model Driven Service Engineering Approach to System of Systems

A Complexity Analysis Approach for Model-based System Engineering

Analyzing Early Requirements of Cyber-physical Systems Through Structure and Goal Modeling

Study of Integrated Product Modeling in Cooperative Development Environment

A case study in Stakeholder-oriented goal-modeling framework

Graph Theory-Based Multi-Layer State Space Modeling Method of Complex System and Its Application

A system modeling process based on SysML to support data consistency across system requirement, function, and solution model layers

Ontology Approach For The Interoperability Of Networked Enterprises In Supply Chain Environment

Inter-organizational knowledge supernetwork model in the complex product and system

A Unified SoS and System Architecture Modeling Approach Based on Language Transformation and Extension Mechanisms

Research on Sysml-Based Modeling for Production Management System

Coalition formation problem: a capability-centric analysis and general model

Strategic Capability Modelling of Services