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

工作流过程图形建模及基于自动机的动态语义 第六图书馆 根据过程执行的特点,定义了一种以活动为中心的反应式过程元模型,并为其提供了一种图形表示,同时为此元模型指定了一种 体现过程运行时行为的动态语义,该语义可表示为一个有限状态自动机.最后举例说明了如何应用它分析过程模型的语义正确性 。根据过程执行的特点,定义了一种以活动为中心的反应式过程元模型,并为其提供了一种图形表示,同时为此元模型指定了一 种体现过程运行时行为的动态语义,该语义可表示为一个有限状态自动机.最后举例说明了如何应用它分析过程模型的语义正确 性。工作流过程 图形建模 反应式控制 自动机 动态语义计算机辅助设计与图形学学报董广智 田勇 柳军飞中国 科学院软件研究所人机交互技术与智能信息处理实验室,北京1000802007第六图书馆 第六图书馆 第 19卷 第 1期 计算机辅助设计与图形学学报 V01．19．No．1 2007年 1月 JOURNALOFCOMPUTER—AIDEDDESIGN ＆ COMPUTERGRAPHICS Jan．，2007 工作流过程图形建模及基于自动机的动态语义 董广智 田 勇 柳军飞 (中国科学院软件研究所人机交互技术与智能信息处理实验塞 北京 100080) (maildgz@gmail．corn) 摘 要 根据过程执行的特点，定义了一种以活动为中心的反应式过程元模型，并为其提供了一种图形表示，同时 为此元模型指定了一种体现过程运行时行为的动态语义 ，该语义可表示为一个有限状态 自动机．最后举例说明了如 何应用它分析过程模型的语义正确性． 关键词 工作流过程；图形建模；反应式控制；自动机；动态语义 中图法分类号 TP311 GraphicalW orkflow ProcessModelinganditsAutomata-BasedDynamicSemantics DongGuangzhi TianYong LiuJunfei (1ntelligeneeEngineeringLaboratory，InstituteofSoftware，ChineseAcademyofSciences，Beijing 100080) Abstract Accordingtothecharacteristicsofworkflow processexecution，akindofreactiveactivity- centeredprocessmeta-modelisdefinedandakindofgraphicalnotationisprovidedforit，atthesametime， forthisrneta-model，akindofdynamicsemanticsisspecified，whichrepresentstheruntimebehaviorofthe 第六图书馆 processandcanbeexpressedasafinitestateautomata．Finally，anexampleisgiventoillustratehow to applyittoanalyzethesemanticcorrectnessofprocessmodels． Keywords workflow process；graphicmodeling；reactivecontrol；automata；dynamicsemantics 工作流管理系统 (workflowmanagementsystem， Wn幅)是实现业务过程管理L1J的重要技术．WFMS 1 相关工作 概念上可分为建立时和运行时_2J，建立时是指工作 流过程的建模和实例化阶段，运行时是指过程模型 当前，对工作流过程模型的研究大多是采用比 的执行阶段．一个好的WFMS应该提供一种易用 较成熟的理论和方法，如Petri网、活动图、进程代数 的工作流过程建模语言，通过它建立的模型不仅容 和逻辑等．借助Petri网对工作流过程进行建模和 易被普通用户理解，还要有严格的语义，使其能在计