Research Article
Towards composition of distributed evolving services: the Credo approach (Invited Paper)
@INPROCEEDINGS{10.4108/ICST.AUTONOMICS2008.4615, author={Andries Stam and Alfons Salden}, title={Towards composition of distributed evolving services: the Credo approach (Invited Paper)}, proceedings={2nd International ICST Workshop on Innovative Service Technologies}, publisher={ACM}, proceedings_a={INSERTECH}, year={2010}, month={5}, keywords={services composition evolution exogenous coordination Credo Creol Reo Automata C}, doi={10.4108/ICST.AUTONOMICS2008.4615} }- Andries Stam
Alfons Salden
Year: 2010
Towards composition of distributed evolving services: the Credo approach (Invited Paper)
INSERTECH
ACM
DOI: 10.4108/ICST.AUTONOMICS2008.4615
Abstract
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.
