工作流分类：

管理型、设定型、协作型、生产型。

以通讯为中心、以文档为中心、以过程为中心、

基于文件、基于消息、基于web。

工作流模型包括了描述一个能够由工作流执行服务软件系统执行的过程所需的所有信息。这些信息包括：过程的开始、完成条件，构成过程的活动，进行活动间导航的规则，用户要完成的任务，可能被调用的应用，工作流机的引用关系，所有与工作流相关的数据定义。

过程定义可能引用组织/角色模型中关于组织结构、组织中的角色等信息。（过程定义指定完成某项活动的组织实体或角色，而不是具体的人员。将角色与具体人员连接的是工作流执行服务。）

过程建模：基于形式化的过程定义语言、对象－关系模型（对简单系统可以用一组路径选择命令的方式来描述信息或文档在参与者之间的传递）

建模工具的输出：能被工作流机解释执行的过程定义。

工作流模型的元模型：描述了工作流模型内在的联系，这个模型有利于在不同工作流产品间交换信息。

数据：工作流相关数据，监控和控制信息（工作流定义）p58

过程定义输入输出接口：

1通信建立

2工作流模型操作：过程模型名称检索；对过程模型对象的读写

3工作流模型对象操作：在建模工具中创建、检索、删除对象；创建、设置、删除对象属性

工作流模型与工作流定义语言研究（工作流建模方法、工作流模型形式化表示、工作流定义语言）       

IBM Exotica

建模方法：  

工作流模型与高级事务模型的目标相似，是支持异构分布应用环境的工具系统。Exotica研究了两者的结合。事务模型saga,flexible transactions有些复杂，Exotica提出一个中间件FMTM,作为将事务模型转换为工作流模型的预处理器
             FDL(flowmark define language)

佐治亚大学的Meteor(Managing End-To-End Operation)，LSDIS实验室  p90

图形化建模工具：流程设计器，数据设计器，任务设计器。

流程设计器：定义各个活动之间的关系。

数据设计器：定义执行活动所使用和传递的数据。采用了面向对象的技术来设计数据设计器，由设计器生成所需的所有的数据类，利用继承，提高了数据管理的清晰程度，强化了数据之间的逻辑关系。

任务设计器：描述如何激活不同类型的活动（非事务型，事务型，WEB型，人机交换型，两阶段提交型）。不同的活动有不同的设计器。对于需要从数据文件获得输入数据的活动，设计器提供了一个模板来描述这些数据文件，模板中包含了有关数据类的属性和其他的一些文本信息。

模型将以工作流中间语言WIL(Workflow Intermediate Language)形式保存，该语言与WPDL(Workflow Process Definition Language)类似。

WIDE(Workflow on Intelligent and Distributed database Environment)的工作流模型：组织模型，信息模型，过程模型。是对WFMC参考模型的扩展。不仅支持工作流的基本要素（三个模型及它们之间的相互关系？？？？）还支持丰富的组织模型，复杂的活动分配约束，动态控制流程，复杂过程结构，工作流事务管理。

组织模型：记录企业内部组织结构，资源信息。记录了单个雇员信息，职位信息，为了某种目的建立的临时工作组信息，雇员间、职位间、工作组间的关系。与其他工作流产品的区别：严格实现组织模型与过程模型的分离（其他？），通过授权机制实现过程模型定义的角色到组织模型中代理的对应。

信息模型：定义并维护一个工作流实例运行所需全部数据，并管理其表示方式和使用范围。

过程模型：。。。

WIDE支持层次化建模，

基于状态与活动图的工作流管理系统Mentor（Middleware for Enterprise-wide Management）

采用状态和活动图建立模型，使用可视化软件工具Statemate作为建模工具。也可采用其他建模工具（flowmark），Mentor会将其转换为状态和活动图。

活动图反映系统功能的分解，每个活动代表一个功能，者与工作流模型中的活动类似，活动间的有向弧代表数据的流动。状态图反映活动之间控制信息的流动。状态的转换由ECA(Event Condition Action)规则驱动。状态图还支持嵌套的状态，正交组件（orthogonal components）。

研究方向：

工作流模型的正交分解：为了实现分布运行。包括活动图和状态图的分解。其中，后者较难。Mentor提出了一种方法分解后者，

工作流建模方法：基于活动网络的建模方法，以活动及其关系为基础。

                基于形式化表示的建模，如petri，工作流网,

                基于对话形的建模，Winograd ,Flores

                基于状态和状态图，从使用和正确性验证上来看，介于pertri与图形化模型之间的，

                基于事务模型，事务是数据库的概念。工作流中的事务比数据库中的要复杂。

                图形化，

 
工作流描述语言：

wpdl,psl(chapter 7), wfdl,tsl,wfsl,C&Co(from c)

几种产品：

IBM MQSeries Workflow，是基于消息的（基于ibm的消息队列产品MQSeries），企业可以采用工作流工具建模其业务过程，然后使用BPR工具分析并优化其业务流程，最后可以将优化的过程交给工作流执行服务为执行

在创建阶段提供的建模工具允许管理员用图形化的方式描述一个过程和其中的活动，并且通过一个图形用户界面可以定义工作流模型中的所有其他信息。还提供函数定义MQSeries Workflow服务器的特性和它们的网络拓扑结构。

用户可以在建模界面自定义图标。

建模工具还提供一个重要功能,允许定义活动之间的控制流，且允许定义数据映射。这个映射功能可以定义在过程实例的执行过程中，活动之间数据的传递和相关的传递规则中。