基于 PWF_nets 的服务组合方法.pdfVIP

Vol. 17 增刊 系 统 仿 真 学 报 Oct. 2005 JOURNAL OF SYSTEM SIMULATION 69 基于PWF_nets 的服务组合方法 1 2 3 喻 坚 杨 萍 黄鹂鸣 1 中国科学院 计算技术研究所软件研究室, 北京 100080 2 北京语言大学信息科学学院, 北京 100083 3 北京科技大学 环境工程系, 北京 100083 摘 要 针对使能最终用户直接组合服务生成个人应用的问题 提出一种基于 Petri 网模型 WF_logic WF_semantics WM_logic 和WM_semantics 统称为PWF_nets 的服务组合方法 该 方法可以指导最终用户在不同的抽象等级逐步为服务组合流程的逻辑 语义和管理建模 使最终用 户在不同的阶段专注于服务组合的不同方面并且在每个阶段都有合适的网模型支持 不仅可以提高 其构造合理有效应用的成功率 而且各个阶段建立的模型也可以被形式验证 关键词 服务组合 Petri 网 最终用户编程 工作流 文章编号 1004-731X (2005) S-69-04 中图分类号 TP302.7 文献标识码 A A Service Composition Approach Based On PWF_nets 1 2 3 YU Jian , YANG Ping , HUANG Li-ming 1 ( Software Division, Institute of Computing CAS, Beijing 100080, China; 2 College of Information Sciences, Bejing Language Culture University, Beijing 100083, China; 3 Environment Engineering Department, University of Science and Technology Beijing, Beijing 100083, China) Abstract: To enable end-user composing services directly, this paper proposed a service composition approach based on Petri net models: WF_logic, WF_semantics, WM_logic, and WM_semantics (named PWF_nets jointly). This approach can guide the end-users to stepwise model the logic, semantics and management of the process of services composition in different abstr