论文部分内容阅读
目前，Web服务已经开始由基础构建阶段向大规模企业应用阶段发展。但是，Web服务本身没有语义和流程的概念，单个的Web服务功能有限，难以满足复杂的应用需求，这就需要Web服务进行组合。工作流理论研究的是一种对工作流程进行优化的方法，其作为组合Web服务的一个重要的机制，对于快速创建新的、功能更强大的Web服务来说至关重要。
业务流程建模是基于工作流的服务组合的关键。传统的工作流模型主要考虑如何整合已知的业务组件或业务模块，往往不具备组件松散耦合、动态发现和XML消息处理能力。另外，传统的工作流模型，语义描述和执行描述不能有效结合，同时业务流程只能作为整体推荐，也没有提供控制业务功能粒度的机制。
本文针对上述业务流程建模的现状和问题进行研究，主要做了如下工作：
1.在传统工作流建模的基础上，给出了一个业务流程的层次模型化描述方法。它不仅能描述业务流程本身，还能很好地描述业务子流程。
2.给出了层次模型化描述方法的验证算法。验证主要包括有效性验证和可行性验证两个方面，能够很好的验证建模的正确性。
3.分析和设计了一个Web服务组合系统框架WSCS。该系统主要由业务流程建模、服务选取和消息匹配三个模块组成。
4.实现了WSCS的业务流程编辑器和BPEL应用程序接口模块，验证了层次化描述方法的可行性。