【摘 要】
:
工作流过程建模是一个复杂且易错的过程。若过程定义在投入运行之后被发现有错,则修复错误的代价相当高,这个问题引起了研究界和工业界的高度重视。因此,在建模阶段进行有效
论文部分内容阅读
工作流过程建模是一个复杂且易错的过程。若过程定义在投入运行之后被发现有错,则修复错误的代价相当高,这个问题引起了研究界和工业界的高度重视。因此,在建模阶段进行有效的过程验证是十分必要的。特别是最近几年,工作流技术在业务过程重组中的重要作用更为突出,对复杂流程的分析和验证研究的需求也越来越迫切。完善工作流过程建模理论已经成为工作流管理系统的一个重要发展方向。 本文主要研究工作流模型的结构合理性问题。在参考了大量当前工作流系统研究的基础上,首先按照任务结构,给出了XPDL到Petri网的映射方法,由于XPDL已经成为事实上的工作流过程描述语言,使得映射过程可以独立于不同的建模方法;接着利用Petri网结构分析理论,给出可达树验证方法,并对其不足进行分析和改进;然后根据工作流网的特点,给出符合自由选择网结构的工作流网的合理性验证方法,并和Petri网的验证算法进行详细比较和复杂度分析。该算法的复杂度比普通Petri网的验证复杂度低,具有实际应用价值。 本文的研究成果不仅适用于业务过程领域,在其他应用软件领域也同样具有较高的理论参考和指导价值。文中给出了合理性验证技术在软件组装领域的应用扩展,探讨了基于工作流网的Web Services组合合理性验证问题。
其他文献
“文化大革命”是中国当代史上最沉重的一页,这种“沉重”表现在两个方面:一、“文革”使中国和中国人民遭受新中国建立以来最严重的挫折和损失;二、研究像“文革”这样的最
随着我国经济的快速发展和市场竞争的日趋激烈,会计工作的质量日益成为经济活动中的焦点。然而我国会计行业的现状不容乐观,会计信息失真等不良会计行为的发生给消费者、投资
企业绩效评价问题是任何一个经济体系中的核心问题。随着信息技术的高度发达和战略的日益重要,传统的企业绩效评价已变得力不从心。本文正是出于当前形势的需要,以我国现行的
从国际上看,公司治理结构是一个从理论到实践都非常丰富的研究领域,并且学者和公司的管理者们在这个领域已经积累了相当多的研究成果。在我国,随着现代企业制度的建立和推广,
目的 探讨预留导丝在复杂性肾结石行经皮肾镜碎石取石术(PCNL)中的应用价值.方法 2014年5月至2017年9月我院术前评估为复杂性肾结石患者 63 例,其中鹿角形结石 34例,结石平均
随着社会的高速发展,社会保障问题便成为目前备受关注的话题。社会保险服务是社会保障体系的一个重要组成,它对于实现保险体系的作用起到了较大的影响,社会保险服务不仅要满
设计一种基于视频图像的行人检测系统,系统基于ARM和Linux操作系统搭建嵌入式平台,通过构建视频流服务器将网络视频流传输至PC端,利用Haar-like特征和Adaboost算法框架训练分
马克思“政治自由”思想的内涵主要是界定在“人”与“共同体”之间的关系性事实这一范围内的,具体是从三重结构中论述“政治自由”思想的内涵:首先马克思“政治自由”的主体是
法兰克福埃德·吉恩霍尔茨(Edward Kienholz)自20世纪50年代中期开始创作以来,总能引起极大的轰动。他1927年10月23日生于华盛顿费尔菲尔德,1994年逝于霍普爱达荷州。曾在几
近年来,信用体系的建立已成为我国理论界和实务界共同关注的热点和焦点,如何根据我国信用的历史和现状建立起既适合我国国情又能和国际接轨的信用体系,各专家学者、实践工作