Title :
Checking compatibility of BPEL4WS based on CCS
Author :
Long, Huiyun ; Ma, Dan
Author_Institution :
Coll. of Comput. Sci. & Inf., Guizhou Univ., Guiyang, China
Abstract :
We have extended the type system of the value-passing CCS firstly, then coded the composite Web services which are described in BPEL4WS. Secondly, we provided an algorithm for checking compatibility of BPEL4WS based on CCS with type. To illustrate the feasibility of the algorithm, we gave an example of travel agency.
Keywords :
Web services; business data processing; calculus of communicating systems; concurrency control; travel industry; type theory; BPEL4WS; CCS; calculus of communicating systems; compatibility checking; composite Web service; travel agency; type system; Artificial intelligence; Economic indicators; IP networks; Monitoring; Switches; BPEL4WS; compatibility; the value-passing CCS; type; typing system;
Conference_Titel :
System Science, Engineering Design and Manufacturing Informatization (ICSEM), 2011 International Conference on
Conference_Location :
Guiyang
Print_ISBN :
978-1-4577-0247-1
DOI :
10.1109/ICSSEM.2011.6081199
