For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. In contrast, Web services are being designed so that each partner discovers properties of others dynamically, through a published interface. Since the overall system may not be available statically and since each business process is supposed to be relatively simple, we propose to use runtime monitoring of conversations between partners as a means of checking behavioural correctness of the entire web service system. Specifically, we identify a subset of UML 2.0 Sequence Diagrams as a property specification language and show that it is sufficiently expressive for capturing safety and liveness p...
As UML 2.x is now widely used by practitioners to document software architectures of concurrent real...
Behavioural properties are analyzed for web service contracts formulated in Business Process Executi...
Web service applications are distributed processes that are composed of dynamically bounded services...
For a system of distributed processes, correctness can be ensured by (statically) checking whether t...
Abstract. For a system of distributed processes, correctness can be ensured by statically checking w...
Web services exposing run-time behaviour that deviates from their behavioural specifications represe...
Trust in Web services will be greatly enhanced if these are subject to run-time verification, even i...
Web services exposing run-time behaviour that deviates from their behavioural specifications represe...
This work describes an approach of a set of techniques and tools for analysing web service compositi...
Trust in Web services will be greatly enhanced if these are subject to run-time verification, even i...
For service-based systems which are composed of multiple independent stakeholders, correctness canno...
Orchestrated web service applications are highly distributed applications that accomplish business g...
Among the plethora of solutions to the Business-to-Business interoperability problem, no other solut...
Despite a decade's active research and development, Web services still remain undependable. Designin...
Web services are designed for composition and use by third parties through dynamic discovery. As suc...
As UML 2.x is now widely used by practitioners to document software architectures of concurrent real...
Behavioural properties are analyzed for web service contracts formulated in Business Process Executi...
Web service applications are distributed processes that are composed of dynamically bounded services...
For a system of distributed processes, correctness can be ensured by (statically) checking whether t...
Abstract. For a system of distributed processes, correctness can be ensured by statically checking w...
Web services exposing run-time behaviour that deviates from their behavioural specifications represe...
Trust in Web services will be greatly enhanced if these are subject to run-time verification, even i...
Web services exposing run-time behaviour that deviates from their behavioural specifications represe...
This work describes an approach of a set of techniques and tools for analysing web service compositi...
Trust in Web services will be greatly enhanced if these are subject to run-time verification, even i...
For service-based systems which are composed of multiple independent stakeholders, correctness canno...
Orchestrated web service applications are highly distributed applications that accomplish business g...
Among the plethora of solutions to the Business-to-Business interoperability problem, no other solut...
Despite a decade's active research and development, Web services still remain undependable. Designin...
Web services are designed for composition and use by third parties through dynamic discovery. As suc...
As UML 2.x is now widely used by practitioners to document software architectures of concurrent real...
Behavioural properties are analyzed for web service contracts formulated in Business Process Executi...
Web service applications are distributed processes that are composed of dynamically bounded services...