有色Petri网协作模型的BPEL代码实现

计算机科学 ›› 2008, Vol. 35 ›› Issue (11): 262-266.

有色Petri网协作模型的BPEL代码实现

出版日期:2018-11-16 发布日期:2018-11-16
基金资助:
国家自然科学基金（No.90604005）.

Online:2018-11-16 Published:2018-11-16

摘要/Abstract

摘要： Web服务业务流程执行语言（BPEL）提供了有力的技术来聚合封装的功能以及定义高质量的Web服务，然而，尽管功能强大，但是BPEL却难于使用。另一方面，有色Petri（CPNs）可以用于模拟、分析以及校验Web服务。为了在CPNs协作模型和业务流程的执行之间建立一座桥梁，给出了基于CPNs从过程模型驱动演绎出一致的BPEL代码的方法。首先，把CPNs协作模型转换为结构工作流网模型；然后，把工作流网模转换为BPEL代码，最后，通过电话机故障修理的案例研究，说明了算法的有效性。

关键词: Petri网模型 BPEL Web服务

Abstract: The business process execution language for Web services （BPEL） provides a powerful technology to aggregate encapsulated functionalities and define high-value Web services. While being a powerful language, BPEL is difficult to use. On the other hand, the

Key words: Petri nets, Model, BPEL, Web services

. 有色Petri网协作模型的BPEL代码实现[J]. 计算机科学, 2008, 35(11): 262-266. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed