欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
虽然业务流程执行语言（BPEL）有很多特征使它适合组合流程的描述,但它缺乏形式化语义,从而不能对组合流程进行严格的分析和验证。本文提出了一种基于Petri网的BPEL语言所对应的组合流程分析方法。应用Petri网来描述BPEL所定义的组合流程,描述组合流程的基本活动及它们之间关系,进而分析了组合流程结构上的合理性。通过实例网的构建,给出了流程可组合性的判定定理,并提出减少服务搜索空间的算法。最后,应用具体实例模拟组合流程的分析过程,展示了该方法的有效性。
英文摘要：
Although business process execution language for Web services （BPEL） has many features that make it suitable for describing service composition, it lacks formal semantics so that composition process cannot be strictly analyzed and verified. In this paper, a Petri net-based analysis method for composition process is proposed. Petri net is applied to describe the semantics of BPEL and define the basic activities and relationships of service processes. By constructing the example net of the target service, a decision theorem is proposed for BPEL composition process, and an algorithm is given to reduce the search space of services. Finally, a specific example is utilized to simulate the analysis procedure of service processes, which shows the effective of the proposed method.
同期刊论文项目
同项目期刊论文
期刊信息
位置：