Towards composition of distributed evolving services: the Credo approach (invited paper)
Andries Stam, Alfons H. Salden · Autonomic Computing and Communication Systems · 2008
ICT service providers face increasing demands on dynamic, flexible and scalable composition of their evolving software services. These demands complicate the validation and verification of such compositions as--a--whole. Within the European Credo research project, we develop techniques for the modeling, validation and verification of compositional distributed services. Our approach is based on two principles: a clear formal separation between the service components and the logical network that binds them together, and support for light--weight, preferably automated verification and model checking for all modeling techniques. In this paper, we apply the Credo techniques to ASK, a context--aware response system with intelligent matching functionality for connecting people to other people via existing communication technologies.