基于赋时有色Petri网的Web组合服务建模

计算机科学 ›› 2010, Vol. 37 ›› Issue (10): 152-155.

基于赋时有色Petri网的Web组合服务建模

王玉英，陈平

(西安电子科技大学软件工程研究所西安710071) (西安建筑科技大学理学院西安710055)

出版日期:2018-12-01 发布日期:2018-12-01
基金资助:
本文受国家十一五国防预研项目(513060601)，校基础研究基金(A12035)资助。

Models of Web Services Composition Based on Timed Color Petri Nets

WANG Yu-ying,CHEN Ping

Online:2018-12-01 Published:2018-12-01

摘要/Abstract

摘要： 面向Web服务的业务流程执行语言I3PEL本身缺乏健壮的语义，构建Web组合服务又是一种易于出错的任务。基于有色赋时Pctri网，提出了从13PEI描述的Wcb组合服务流程到有色赋时Pctri网模型的转换方法。在转换过程中考虑了I3PEL活动的执行方式和执行环境，如时间、环境属性等，给出了更为精确的模型，为更好地使用工具和现有方法验证和测试Wcb组合服务莫定了基础。并给出了这种转换方法的应用实例。

关键词: 组合服务，BPEL，模型，流程验证

Abstract: BPEL is often used to describe the composition of Web Services, but it is lack of sound formal semantic. Web services were prone errors. Based on Timed Color Petri Net, transitions from Web Services which was described using I3PEL to Timed Color Petri Net models were proposed, while I3PEL activities execute ways and environments were considered. The models we get arc more exacter and can be used to verify and test Web Service. An instance of this transition were gmen.

Key words: Web Service,BPEL, Model, Process verify

王玉英，陈平. 基于赋时有色Petri网的Web组合服务建模[J]. 计算机科学, 2010, 37(10): 152-155. https://doi.org/

WANG Yu-ying,CHEN Ping. Models of Web Services Composition Based on Timed Color Petri Nets[J]. Computer Science, 2010, 37(10): 152-155. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed