详解从UML到BPEL(2)

映射到BPEL4WS 自动化业务流程的UML配置文件表示可以从UML模型生成完整的可执行BPEL制品。 表1 概要的展示了从配置文件到BPEL的映射，覆盖到了本文介绍的配置文件子集。 表 1. UML到BPEL4WS映射概述 配置文件构件 BPEL4WS概念 < >类 BPEL流程定义 < > 类的活动图 BPEL活动级别 < >类属性 BPEL变量 分层结构和控制流 BPEL顺序和流程活动 < >、 < >、< >活动 BPEL活动 清单1（由于版面空间原因，这里省略了很多细节代码）显示了BPEL文档的缩减版本，该文档是由本文介绍的贷款批准例子生成的。 清单 1.BPEL清单摘录 ... ... ... 在参考资料中可以找到完整的配置文件链接。 UML到BPEL映射验证器 从IBM alphaWorks可以获得作为ETTK的一部分的技术验证器，它支持从UML工具（例如Rational XDE）到BPEL4WS运行时间（BPWS4J）的端到端情景。映射实现被构建为Eclipse插件，它采取了UML模型（XMI）交换的工业标准文件格式作为输入。BPEL4WS制品（artifact）同需要的WSDL和XSD制品是一起生成的。 让我们看一下验证器。首先要根据您的需要安装一些先决条件。ETTK页面显示了相关详细信息（参阅参考资料下载链接）。概括起来，您需要下列资源： Rose或XDE（本文采用的是XDE v2003） Eclipse 2.0+或WebSphere Studio Application Developer（WSAD）5.0+ WebSphere Application Server (WAS) 5.0+或Apache Tomcat 4.1.24+ The ETTK本身（其中包含了BPWS4J）。 假设您已经具有下面需要的合适环境。 验证器随着不同情景的一套样例文档而产生，例如贷款批准或购买订单流程。样例文档将是两种类型：一种是可以由Rose或XDEUML打开和修改的模型文档，另一种是包含UML模型的XMI版本的XML文档，该文档可以通过Rose或XDE进行输出。在图3中可以看到Rose或XDE中相应的模型，或者这些工具的XMI输出的模型。 图3使用一个UML活动图显示了转换文档的全部流程；UML没有用吗？方框表示制品（通常是文档），而椭圆表示一个操作或活动。主要阶段是： 构建UML模型并将其导出到XMI（使用Rose或XDE) 生成BPEL、WSDL和XSD文档 在BPWS4J运行时间部署并运行这些文档―― 测试。