摘 要：在基于UML的业务流程分析与设计过程中，从静态模型分析到动态模型构建，经过一系列抽象转换和代码实现，往往满足不了业务需求，缺少一种所见即所得的业务过程实现。在探索UML Communication Diagram和WF State Machine业务流程映射关系的基础上，选取UML用户指南中典型案例，研究从Communication Diagram到State Machine编程模型之间的静态映射和动态规则转换，基于WF可视化地实现了动态构建与测试，解决了从分析、设计到构建的无缝转换。

关键词：UML；Communication Diagram；WF；State Machine

中图分类号：TP311.51 文献标识码：A

1 引言（Introduction）

UML（Unified Modeling Language）作为标准建模语言，适用于面向对象的业务流程分析与设计，但在具体的开发构建中，经过层层迭代[1，2]，存在语义上的不一致和不精确等缺点，不利于进行形式化的分析和验证。在UML1.x协作图基础上改进而来的UML2.0通信图，强调对象之间结构关系的通信交互，但缺乏对静态语义和动态语义的可视化编程实现[3-5]。WF（Windows Workflow Foundation）是微软推出的可视化的工作流编程引擎，基于业务流程邏辑关系和条件，可以无缝的实现UML模型到业务流程工作流转换。WF提供的State Machine开发模型，由状态机和状态对象组成，在状态变迁的驱动下，可以无缝地实现通信图对象之间的通信协作[6-8]。因此，探索一种从UML Communication Diagram静态建模到可视化的动态测试，实现流程建模语义上的一致性和无缝转换具有实际意义。

本文在探索UML Communication Diagram和WF State Machine业务流程映射关系的基础上，选取UML用户指南中典型案例，研究从Communication Diagram到State Machine编程模型之间的静态映射和动态规则转换，基于WF可视化地实现了动态构建与测试。

2 映射关系……