FORTE
2009
13 years 2 months ago
2009
We present a strategy for model-checking the correctness of service composition. We do so in the context of SRML, a formal modelling framework for service-oriented computing being ...
FMOODS
2006
13 years 5 months ago
2006
Modern applications distributed across networks such as the Internet may need to evolve without compromising application availability. Object systems are well suited for runtime up...
ICWS
2008
IEEE
13 years 6 months ago
2008
IEEE
In service computing, the behavior of a service may evolve. When an organization develops a service-oriented application in which certain services are provided by external partner...