A Mapping from TVPCCS into BPEL
作者单位：Beijing Engineering Research Centre of High Volume Language Information Processing ＆ Cloud Computing ApplicationsBeijing Key Laboratory of Intelligent Information TechnologySchool of Computer ScienceBeijing Institute of Technology Beijing 100081China
会议名称：《2012 IEEE 3rd International Conference on Software Engineering and Service Science（ICSESS 2012）》
会议日期：2012年
学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金：funded by the Natural Science Foundation of China (NSFC,Grant No.60873237) Natural Science Foundation of Beijing (Grant No.4092037) supported by Beijing Key Discipline Program
关 键 词：Web services BPEL TVPCCS process algebra.
摘 要：The Web Services Business Process Execution Language （BPEL） is a language used to specify compositions of web *** the last few years,a considerable amount of work has been done on modeling （parts of） BPEL and developing verification techniques and tools for *** nets and formal languages have been widely used to model Web services composition,but temporal value passing calculus of communicating systems （TVPCCS） language seems to be more adequate for several *** BPEL programs are mapped to other languages and then the verification is performed,A more promising way is to directly build TVPCCS model,to check it and then map it to a BPEL process *** paper describes a mapping from TVPCCS onto BPEL process model.