This objective focuses on correctness, verification, and security.

New techniques and the underlying theories to support the design and the implementation of correct and reliable service components and service-component ensembles will be developed. In particular, a major focus should lie on the correctness of service components and ensembles, i.e., both verification of components and design techniques ensuring correctness-by-construction. Furthermore, security and access control issues of service components and service-component ensembles must be taken into consideration.

We will consider these challenges in work package 5.