305 search results - page 46 / 61 » Proof as Composition: An approach for the Large-granularity ... |
SIGSOFT
2008
ACM
14 years 9 months ago
2008
ACM
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...
ASM
2008
ASM
13 years 10 months ago
2008
ASM
Abstract. We survey the use of the Abstract State Machines (ASM) method for a rigorous foundation of modeling and validating web services, workflows, interaction patterns and busin...
ICIW
2007
IEEE
14 years 16 days ago
2007
IEEE
The idea of service orientation envisions dynamic detection and execution of suitable Web services for solving a particular request. Most realization approaches pay only little att...
IUI
2004
ACM
14 years 2 months ago
2004
ACM
Complex applications in many areas, including scientific computations and business-related web services, are created from collections of components to form workflows. In many case...
CASCON
2007
13 years 10 months ago
2007
For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. In contrast, Web services a...