A Systematic Identification of Formal and Semi-Formal Languages and Techniques for Software-Intensive Systems-of-Systems Requirements Modeling

摘要

Software-intensive systems-of-systems (SoS) refer to an arrangement of managerially and operationally independent systems (i.e., constituent systems), which work collaboratively toward the achievement of global missions. Because some SoS are being develop