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 ...
Based on top of Web protocols and XML language, Web services are emerging as a framework to provide applicationto-application interaction. An important challenge is their integrat...
Service composition has become an important paradigm for building distributed applications and e-business processes. While effort has been reported to verify a posteriori whether ...
Abstract. This paper proposes a framework based on Service Oriented Architecture which integrates diagnostic services in the architecture of a composite service in order to improve...
Abstract. Service oriented computing oers a new approach to programming. To be useful for large and diverse sets of problems, eective service selection and composition is crucial. ...