基于PWF_nets的服务组合方法

摘要：

针对使能最终用户直接组合服务生成个人应用的问题,提出一种基于Petri网模型:WF_logic,WF_semantics,WM_logic和WM_semantics(统称为PWF_nets)的服务组合方法.该方法可以指导最终用户在不同的抽象等级逐步为服务组合流程的逻辑、语义和管理建模,使最终用户在不同的阶段专注于服务组合的不同方面并且在每个阶段都有合适的网模型支持,不仅可以提高其构造合理有效应用的成功率,而且各个阶段建立的模型也可以被形式验证。

关键词： 服务组合 Petri网模型 最终用户编程 工作流

作者: 喻坚 杨萍 黄鹂鸣

作者单位: 中国科学院,计算技术研究所软件研究室,北京,100080 北京语言大学信息科学学院,北京,100083 北京科技大学,环境工程系,北京,100083

会议类型: 国内会议

会议名称: 第十次全国Petri网学术年会暨形式化方法学术讨论会

会议地点: 江苏镇江

会议语种:中文

页码: 69-72

在线出版日期: 2005-10-01（万方平台首次上网日期，不代表论文的发表时间）