Paper Info
Title
Towards composition of distributed evolving services: the Credo approach (invited paper)
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.
Year
Venue
Keywords
2008
Autonomics
service component,aware response system,european credo research project,clear formal separation,software service,automated verification,ict service provider,towards composition,credo approach,modeling technique,credo technique,communication technology,evolution,creol,composition,c,services,automata
Field
DocType
Citations 
Model checking,Ask price,Verification and validation,Computer science,Automaton,Service provider,Software,Information and Communications Technology,Scalability,Distributed computing
Conference
0
PageRank 
References 
Authors
0.34
12
2
Name
Order
Citations
PageRank
Andries Stam1999.31
Alfons Salden2223.32