论文部分内容阅读
Internet发展至今，在完成了网络的物理架构后，进入应用阶段，即充分利用网络通信和处理能力来创造财富和价值。在Web服务出现前，分布式客户/服务器的概念几乎仅限于HTML表单与动态数据库驱动的网站间的交互。Web服务的出现改变了我们有关网络动态的概念，它通过使用一套标准规范提供全球范围的服务，应使信息的生产者和消费者相互之间能够更容易地进行定位和交换信息。然而，要通过Web服务构建复杂的应用存在一个问题：Web服务是无状态操作(stateless operations)，所以只能提供相对较小的原子应用。但Web服务是可以集成的，这是它的一个重要特征。因此，我们可以通过原有Web服务的组合构成新的更复杂、功能更强大的Web服务。工作流理论作为组合Web服务的一个重要的主要机制，对于快速创建新的、功能更强大的Web服务来说至关重要。工作流的概念起源于生产组织和办公自动化领域，可以看成是经营过程的一个计算机实现，是一种对工作进行优化的方法：即通过加强各个工作之间的通信和交流，形成协同，从而达到优化。本文主要围绕工作流理论在Web服务组合中的应用展开，将Web服务看作是工作流的组件，说明了如何构造跨组织工作流及通过相关的Web服务组合技术(如WSFL)实现跨组织工作流，从而实现Web服务的集成。文章以网上购书为例，贯穿全文，并在最后给出其WSFL模型。本文从Web服务的定义和体系结构出发，引入Web服务协议栈，并详细说明了构成Web服务的各个标准规范及其功能，以及协议的基础--XML。接着，对工作流理论进行了详细的介绍。Petri网作为系统模型，由于其严密的数学基础和图形建模能力，被广泛应用在分布式软件系统等离散事件动态系统(DEDS)的建模与分析中。本文即采用Petri网对工作流进行建模。在介绍了Petri网相关知识后，通过Petri网给出工作流网的形式化定义，并给出简化的网上购书的工作流网。进一步的，在工作流网的基础上，给出了跨组织工作流的概念，并用基本Petri网的变体：带标号的库所／变迁网，对跨组织工作流网进行建模。通过另一个例子：承包商与分包商，说明了在构造跨组织工作流网时的难点和会出现的问题及异常，并提出了解决方法：P2P方法，并使用P2P方法完成对网上购书的跨组织工作流网的构造。文章最后一部分着重于跨组织工作流与Web服务相结合的探讨。文中讨论的描述Web服务组合的WSFL语言是一个关于如何实现使用新兴Web服务架构的业务流程模型的规范，即不是用WSFL来定义业务流程模型，而是用它来创建业务模型的一个XML表示法。所以我们可以通过将跨组织工作流转换到WSFL模型，并用WSFL进行描述，来实现工作流理论在Web服务组合中的应用。相应的，以网上购书为例，对这种转换进行具体讨论。