Paper Info
Title
Automatic Analysis of Control Flow inWeb Services Composition Processes
Abstract
Composition of web services is of great interest to support business-to-business collaboration and provide value added services with desired properties or capabilities. Nevertheless, the standard languages used to create business processes from composite web services lack of formal definition of their semantics and tools to support the analysis of a business process. In this paper we provide a practical approach to formal verification of BPEL4WS executable processes. A syntax-driven operational semantics for BPEL4WS is introduced and an automatic verifier is presented in order to perform a semantic analysis of the flow constructs used in the definition of BPEL4WS processes.
Year
DOI
Venue
2007
10.1109/PDP.2007.27
Napoli
Keywords
Field
DocType
Web services,program diagnostics,program verification,programming language semantics,specification languages,BPEL4WS executable process,Web services composition,automatic analysis,automatic verification,business-to-business collaboration,control flow,formal verification,semantic analysis,syntax-driven operational semantics
Services computing,Operational semantics,Programming language,Business process,Computer science,Business Process Execution Language,Web service,Semantics,Executable,Formal verification
Conference
ISSN
ISBN
Citations 
1066-6192
0-7695-2784-1
14
PageRank 
References 
Authors
0.58
9
4
Name
Order
Citations
PageRank
Di Lorenzo, G.1644.32
Francesco Moscato229832.28
Nicola Mazzocca367478.37
valeria vittorini433933.14