导读:
几种建模方式比较
实际应用中存在着许多关于流程的描述方法如脚本语言、一般图形网络方法(状态跃迁图)、形式化的图形网络方法(Petri网)、基于逻辑方法、进程代数方法、ECA规则等。
◎
脚本语言:基于脚本语言的描述方法包括为为务流程度身定做的控制流和数据流结构。它提供了简洁的描述方法,从而使该方法易于使用。与图形定义工具相比,有经验的流程设计人员可能更喜欢使用脚本语言。
◎
一般图形网络方法:当图形化成为流程描述中的首要因素后,状态跃迁网成了很好的选择。在状态跃迁中,活动被表示为节点,控制流被表示成相应的边。事实上,大多数的流程建模产品都提供了以状态跃迁网为基础的图形描述工具。
◎
形式化图形网络方法:在具有形式化图形网络方法中,研究和使用集中在状
态图和Petri上。在流程建中,状态图没有得到特别的重视,但却被广泛的应用于软件工程中,尤其是描述具有反应性的系统。在流程建模中,Petri网得到很好的应用,与状态图相比,Petri网方法具有更好的形式化基础,为定性分析工作流的动态变化提供了基础。应该说,Petri网具有较强的流程分析和评价能力。但对于大型流程用Petri网往往比较复杂,需要采用简化措施(对某些库所、变迁和弧进行删除或融合,但不改变Petri网的某些结构性质)。此外以Petri网作为流程描述语言的工作流模型,可用Petri网的规则作为流程中的约束条件,但不能显式地表达流程的结构,难以理解流程的执行过程。
◎
逻辑方法:通常,在对流程中信息动态特性进行基于逻辑的描述方法中,时序逻辑是经常使用的方法之一。时序逻辑具有良好的形式化基础。但由于其描述能力太强,涉及面太广,使得流程的运行控制变得异常复杂。另外时序逻辑通常不易实现图形化表示,而且也不易转化成其他形式的描述方法。
◎
进程代数方法:进程代数是一种著名的用于描述和分析并发系统行为的形式
化方法,具有很好的形式化基础和理论。在流程建模研究中,出现了一些基于进程代数的描述方法,这种方法能将一个工作流表示成一组进程代数表太式,而在对这些进程代数表达式进行术语重写后,可得到该流程的所有可能执行路径,因而可据此判断流程中是否有不可达任务,是否能够执行终止。但进程代数方法不如图形网络方法直观,而且术语重写过程比较复杂。
◎
ECA规则:ECA规则为事件—条件—行为规则(Event-Condition-Action-
Rule)的缩写。多用于主动数据库中,目前在流程建模中也得到了一定的应用。ECA规则常用来描述活动音质控制流程。但ECA规则不如图形网络方法直观,同时大量规则难于管理,并且不支持流程逐步求精。ECA规则通常与其他描述方法一同进行高程度的形式化描述,如Petri网或时序逻辑。
TOP
本文转自
http://soa.5d6d.com/redirect.php?fid=4&tid=109&goto=nextnewset
几种建模方式比较
实际应用中存在着许多关于流程的描述方法如脚本语言、一般图形网络方法(状态跃迁图)、形式化的图形网络方法(Petri网)、基于逻辑方法、进程代数方法、ECA规则等。
◎
脚本语言:基于脚本语言的描述方法包括为为务流程度身定做的控制流和数据流结构。它提供了简洁的描述方法,从而使该方法易于使用。与图形定义工具相比,有经验的流程设计人员可能更喜欢使用脚本语言。
◎
一般图形网络方法:当图形化成为流程描述中的首要因素后,状态跃迁网成了很好的选择。在状态跃迁中,活动被表示为节点,控制流被表示成相应的边。事实上,大多数的流程建模产品都提供了以状态跃迁网为基础的图形描述工具。
◎
形式化图形网络方法:在具有形式化图形网络方法中,研究和使用集中在状
态图和Petri上。在流程建中,状态图没有得到特别的重视,但却被广泛的应用于软件工程中,尤其是描述具有反应性的系统。在流程建模中,Petri网得到很好的应用,与状态图相比,Petri网方法具有更好的形式化基础,为定性分析工作流的动态变化提供了基础。应该说,Petri网具有较强的流程分析和评价能力。但对于大型流程用Petri网往往比较复杂,需要采用简化措施(对某些库所、变迁和弧进行删除或融合,但不改变Petri网的某些结构性质)。此外以Petri网作为流程描述语言的工作流模型,可用Petri网的规则作为流程中的约束条件,但不能显式地表达流程的结构,难以理解流程的执行过程。
◎
逻辑方法:通常,在对流程中信息动态特性进行基于逻辑的描述方法中,时序逻辑是经常使用的方法之一。时序逻辑具有良好的形式化基础。但由于其描述能力太强,涉及面太广,使得流程的运行控制变得异常复杂。另外时序逻辑通常不易实现图形化表示,而且也不易转化成其他形式的描述方法。
◎
进程代数方法:进程代数是一种著名的用于描述和分析并发系统行为的形式
化方法,具有很好的形式化基础和理论。在流程建模研究中,出现了一些基于进程代数的描述方法,这种方法能将一个工作流表示成一组进程代数表太式,而在对这些进程代数表达式进行术语重写后,可得到该流程的所有可能执行路径,因而可据此判断流程中是否有不可达任务,是否能够执行终止。但进程代数方法不如图形网络方法直观,而且术语重写过程比较复杂。
◎
ECA规则:ECA规则为事件—条件—行为规则(Event-Condition-Action-
Rule)的缩写。多用于主动数据库中,目前在流程建模中也得到了一定的应用。ECA规则常用来描述活动音质控制流程。但ECA规则不如图形网络方法直观,同时大量规则难于管理,并且不支持流程逐步求精。ECA规则通常与其他描述方法一同进行高程度的形式化描述,如Petri网或时序逻辑。
TOP
本文转自
http://soa.5d6d.com/redirect.php?fid=4&tid=109&goto=nextnewset