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á bibliografia

Vydané v:	Procedia computer science Ročník 52; s. 278 - 285
Hlavní autori:	Rai, Gopal N., Gangadharan, G.R.
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Elsevier B.V 2015
Predmet:	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 prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!