An important aspect in system of systems (SoS) is the realization of the capabilities in different systems that work together. Identifying and locating these capabilities are important to orchestrate the overall activities and hereby to achieve the overall goal of the SoS. System elements and capabilities in SoS however, are rarely stable and need to evolve in different ways and different times in accordance with the changing requirements. To manage the SoS and cope with its evolution it is necessary that the dependency links to the capabilities and the system elements can be easily traced. Several approaches have been proposed to model traceability and reason about these by extending a predetermined set of possible trace links with fixed semantics. However, for the context of SoS a fixed traceability model with fixed traceability semantics is limited to consider the various different and changing scenarios. In this article, we first present the different traceability requirements for managing traceability in the context of SoS. Subsequently, we present the metamodel and the corresponding domain specific language to support modeling traceability and traceability analysis approaches within the evolving SoS context. Further, we provide the tool support for automated reasoning of traceability of SoS capabilities and system elements. We illustrate and discuss the approach for the application to a smart city SoS.

系统系统（SoS）的一个重要方面是实现相互协作的不同系统中功能的实现。识别和定位这些功能对于安排总体活动并从而实现SoS的总体目标非常重要。但是，SoS中的系统元素和功能很少稳定，并且需要根据不断变化的需求以不同的方式和不同的时间演进。为了管理SoS并应对其发展，必须轻松跟踪与功能和系统元素的依赖关系。已经提出了几种方法来通过扩展具有固定语义的一组可能的跟踪链接来对可跟踪性及其原因进行建模。然而，对于SoS上下文，具有固定可追溯性语义的固定可追溯性模型仅限于考虑各种不同且不断变化的方案。在本文中，我们首先介绍在SoS上下文中管理可追溯性的不同可追溯性要求。随后，我们介绍了元模型和相应的领域特定语言，以支持不断发展的SoS上下文中的建模可追溯性和可追溯性分析方法。此外，我们为自动推理SoS功能和系统元素的可追溯性提供了工具支持。我们说明并讨论了应用于智慧城市SoS的方法。随后，我们介绍了元模型和相应的领域特定语言，以支持不断发展的SoS上下文中的建模可追溯性和可追溯性分析方法。此外，我们为自动推理SoS功能和系统元素的可追溯性提供了工具支持。我们将说明并讨论将其应用于智能城市SoS的方法。随后，我们介绍了元模型和相应的领域特定语言，以支持不断发展的SoS上下文中的建模可追溯性和可追溯性分析方法。此外，我们为自动推理SoS功能和系统元素的可追溯性提供了工具支持。我们说明并讨论了应用于智慧城市SoS的方法。