[Yang Yan; Li Rong; Wang Sai] Cent China Normal Univ, Comp Sch, Wuhan, Peoples R China.
通讯机构：
[Yang Yan] C
Cent China Normal Univ, Comp Sch, Wuhan, Peoples R China.
语种：
英文
关键词：
Pi Calculus;Web Service;Service Composition;Composition Validation
期刊：
PROCEEDINGS OF THE 2015 4TH NATIONAL CONFERENCE ON ELECTRICAL, ELECTRONICS AND COMPUTER ENGINEERING ( NCEECE 2015)
ISSN：
2352-5401
年：
2016
卷：
47
页码：
1267-1271
会议名称：
4th National Conference on Electrical, Electronics and Computer Engineering (NCEECE)
会议论文集名称：
AER-Advances in Engineering Research
会议时间：
DEC 12-13, 2015
会议地点：
Xian, PEOPLES R CHINA
会议主办单位：
[Yang Yan;Li Rong;Wang Sai] Cent China Normal Univ, Comp Sch, Wuhan, Peoples R China.
会议赞助商：
Int Informatizat & Engn Assoc, Trans Tech Publicat
主编：
Wang, J Xu, P
出版地：
29 AVENUE LAVMIERE, PARIS, 75019, FRANCE
出版者：
ATLANTIS PRESS
ISBN：
978-94-6252-150-6
机构署名：
本校为第一且通讯机构
院系归属：
计算机学院
摘要：
Web service composition has been an important research topic in the field of service computing. Through the web service process modeling and the formal verification of the composition, we ma...
