26、网络服务业务流程数据依赖分析与语义技术质量模型探索

网络服务业务流程数据依赖分析与语义技术质量模型探索

一、DDAT工具介绍

1.1 Apply操作

Apply操作能够依据给定的变量值、对应条件以及特定注入位置，对WS - BPEL流程进行转换，确保变量在条件检查前获得所需值。其具体操作步骤如下：
1. 输入WS - BPEL流程的表示、特定注入位置以及要注入的特定值。
2. 调用TASSA框架的隔离工具，在相应条件之前插入Assign活动，以设置变量值。
3. 输出转换后的WS - BPEL流程描述，执行该流程将使其按期望路径继续。

1.2 GUI和CLI的作用

• GUI（图形用户界面） ：允许集成其他TASSA工具，用户可定义WS - BPEL流程要经过的路径。用户接收WS - BPEL流程的CFG表示，选择期望目标活动，然后通过该界面可视化DDAWS结果，最后由Evaluate和Apply完成数据分析任务。
• CLI（命令行界面） ：无需用户干预，主要供TASSA框架的其他工具使用，展示Analyze操作的执行结果。

1.3 实验结果

通过在一些简单的BPEL流程上应用所提出的方法进行了验证，下面介绍两个典型流程：

1.3.1 旅行预订流程（Travel Reservations）

该WS - BPEL流程包含五个任务：接收预订请求、创建飞机预订、预订车辆、预订酒店和回复请求。此外，还有三个条件活动：
1. 检查客户是否有飞机登记，若没有则调用航空公