Set Partition and Trace Based Verification of Web Service Composition

De*signing and running Web services compositions are error-prone as it is difficult to determine the behavior of web services during execution and their conformance to functional requirements. Interaction among composite Web services may cause concurrency related issues. In this paper, we present a...

Full description

Bibliographic Details

Published in:	Procedia computer science Vol. 52; pp. 278 - 285
Main Authors:	Rai, Gopal N., Gangadharan, G.R.
Format:	Journal Article
Language:	English
Published:	Elsevier B.V 2015
Subjects:	formal verification modeling Web service composition Web service interaction formal verification modeling Web service composition Web service interaction
ISSN:	1877-0509, 1877-0509
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!