TOWARDS FORMAL VERIFICATION OF WEB SERVICE COMPOSITION
by
Xinxin Bai
,
Yushun Fan
,
Petri Net
BibTeX
@MISC{Bai_towardsformal,
author = {Xinxin Bai and Yushun Fan and Petri Net},
title = {TOWARDS FORMAL VERIFICATION OF WEB SERVICE COMPOSITION},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Correct notation for specifying the composite service alone is not sufficient to guarantee reliability, thus comes a strong demand on modeling and verifying web services composition languages. This paper presented a formal method of web service composition verification based on Petri net. Focus is given on BPEL4WS specification, of which both behavior semantics and communication semantics are covered. Meta-model transformation rules are given and automatic verification process is also introduced.
