| 题名 | 面向WS-BPEL的服务组合建模工具设计与实现 |
| 作者 | 陈剑辉 |
| 学位类别 | 博士 |
| 答辩日期 | 2007-06-03 |
| 授予单位 | 中国科学院软件研究所 |
| 授予地点 | 软件研究所 |
| 关键词 | BPMN BPEL 服务组合 模型转换 建模工具 |
| 其他题名 | Design and Implementation of WS-BPEL Oriented Service Composition Modeling Tool |
| 中文摘要 | 随着电子商务和B2B应用的发展和需求的加深，企业应用系统要求可以在因特网环境下进行企业间的应用互操作和应用集成。服务组合(service composition)通过描述服务之间的交互关系向最终用户提供增值服务，实现业务流程层的集成与互操作。服务组合建模提供规范化的服务组合描述，需要可视化的建模工具支持，如何屏蔽业务流程建模的复杂性，提升从业务模型向软件技术模型转换的效率，是亟待解决的重要问题。 针对这些问题，论文提出了一种模型驱动的组合服务开发方法，即面向可视化业务建模语言，基于模型转换的组合服务建模方法。 论文首先研究了图形标记建模语言BPMN（Business Process Modeling Notation），将BPMN和业务流程可执行语言BPEL进行了比较，分析了从BPMN到BPEL转换时存在的问题。进而，给出了基于BPMN核心元素的业务流程图BPD（Business Process Diagram）、BPD组件，以及BPD模型良构的严格定义，并给出了BPD良构性检查方法，以及面向组件的良构BPD规约方法。 论文接下来研究了模型转换方法。分别从元素、组件和流程三个层次给出BPMN模型向BPEL模型映射的方法。在元素级定义了BPMN单个元素向BPEL语言元素的映射规则；在组件级，基于分割BPD模型形成结构化组件的方法，给出了相应的转换算法；在流程级，我们采用基于规约的化简方法，通过将组件规约成一个简单任务活动的递归操作，实现整个BPD模型向BPEL模型的转换。 最后，我们设计和实现了建模工具OnceBPD（Once Business Process Designer），它支持BPMN建模，以及BPMN模型到WS-BPEL 1.1模型的等效转换。通过多个实例开发，表明了OnceBPD能够支持模型驱动的组合服务开发，各类人员能够关注的不同抽象层次，通过工具自动化的模型转换，提高了开发效率和质量。 |
| 语种 | 中文 |
| 公开日期 | 2011-03-17 |
| 页码 | 76 |
| 内容类型 | 学位论文 |
| 源URL | [http://ir.iscas.ac.cn/handle/311060/7528]  |
| 专题 | 软件研究所_中科院软件所_中科院软件所 |
| 推荐引用方式 GB/T 7714 | 陈剑辉. 面向WS-BPEL的服务组合建模工具设计与实现[D]. 软件研究所. 中国科学院软件研究所. 2007. |
| 个性服务 |
| 查看访问统计 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论