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...

Celý popis

Podrobná bibliografie

Vydáno v:	Procedia computer science Ročník 52; s. 278 - 285
Hlavní autoři:	Rai, Gopal N., Gangadharan, G.R.
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier B.V 2015
Témata:	formal verification modeling Web service composition Web service interaction formal verification modeling Web service composition Web service interaction
ISSN:	1877-0509, 1877-0509
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!