工作流过程图形建模及基于自动机的动态语义

被引：6

作者：

董广智

田勇

柳军飞

机构：

[1] 中国科学院软件研究所人机交互技术与智能信息处理实验室

来源：

计算机辅助设计与图形学学报 | 2007年 / 01期

关键词：

工作流过程; 图形建模; 反应式控制; 自动机; 动态语义;

D O I：

暂无

中图分类号：

TP391.7 [机器辅助技术];

学科分类号：

140102 [集成电路设计与设计自动化];

摘要：

根据过程执行的特点,定义了一种以活动为中心的反应式过程元模型,并为其提供了一种图形表示,同时为此元模型指定了一种体现过程运行时行为的动态语义,该语义可表示为一个有限状态自动机.最后举例说明了如何应用它分析过程模型的语义正确性.

引用

页码：8 / 13

页数：6

共 5 条

[1]

一种基于Petri网化简的工作流过程语义验证方法 [J].

周建涛 ;

史美林 ;

叶新铭 .

软件学报, 2005, (07) :1242-1251

[2]

基于D-Petri Net和动态调度的网格工作流 [J].

张绍华 ;

顾宁 ;

刘家茂 ;

施伯乐 ;

不详 .

计算机辅助设计与图形学学报 , 2005, (06) :1146-1151

[3]

模糊定时高级Petri网的协同设计活动建模和分析 [J].

田锋 ;

李人厚 ;

张金成 .

计算机辅助设计与图形学学报, 2004, (03) :267-274

[4]

用进程代数描述可适应工作流的模型方法 [J].

魏丫丫 ;

林闯 ;

田立勤 .

电子学报, 2002, (11) :1624-1628

[5]

Approach for workflow modeling using π-calculus[J] Yang Dong;Zhang Shen-sheng Journal of Zhejiang University Science 2003,

← 1 →