Abstract
Nowadays, computing systems are facing a great transformation. The generalavailability of communication makes it possible to interconnect existing systems, todeliver complex and multifaceted services. The result of such integration is knownas a "System-of-Systems" (SoS). However, ensuring the correctness of the resultingservices is not trivial. Many of the SoS characteristics such as dyna…