Resumo
Hoje em dia, os sistemas de computação enfrentam uma grande transformação.A alta disponibilidade de comunicação torna possível interligar sistemas existentes para fornecer serviços complexos e multifacetados. O resultado de tais integraçõesé conhecido como um "sistema-de-sistemas" (System-of-Systems, SoS). No entanto, garantir a correção dos serviços resultantes de tais integrações não é …