基于现代企业应用的工作流过程模型研究

针对现代企业的实际经营状况,分析了工作流过程元模型在现代企业过程建模应用中存在的不足.在此基础上,对工作流元模型以及工作流定义语言作了适当的改进和扩展,以适应现代企业过程建模的需求和新技术的使用.

基于条件化有向图的工作流过程优化

为改善工作流的性能和效率 ,一个智能化的工作流管理系统应该具有分析和优化工作流过程定义的能力 .该文首先给出影响工作流过程性能的主要因素 ,借助于定量分析的方法 ,讨论了这些因素对工作流性能和效率的影响 .以此为基础 。

一种基于XML的工作流过程模型的设计和实现

1.引言面对数字经济时代带来的不断增长的竞争压力,企业逐步寻求新的商业运作模式以适应这种变化。随着信息技术和Internet技术的迅猛发展,为适应这种变化提供了条件。企业不再满足于孤立、零散的办公自动化和计算机应用,而是需要综合的、集成化的解决方案。作为一种对常规性事务进行管理、集成的技术,工作流管理系统(Workflow ManagementSystem,WMS)的出现是必然的。如何建立企业业务过程模型是工作流管理系统的核心问题。

基于对象Petri网的工作流过程定义

文中提出了基于对象 Petri网 (Object Petri- Net,OPN)和基于 OPN的文本描述语言 L OOPN+ +工作流过程定义接口标准 ,论述了其可行性和优势 ,并给出了形式化描述 .

工作流过程建模方法及模型的形式化验证

0引言 工作流技术最初起源于办公自动化和企业生产中的过程概念.包括办公室内的文档路由和生产中活动的路由.目前,还没有统一认可的工作流定义.工作流管理联盟(WfMC,Workflow Management Coalition)给工作流的定义是"商务过程的全部、部分自动化或计算机化"[2].

基于Petri网的工作流过程建模

业务过程建模是整个工作流管理系统的基础,选择一种高效的建模技术对复杂多变的实际业务流程进行形式化表示对构建一个灵活的工作流管理系统起着至关重要的作用。本文利用了Petri网技术给业务过程建模,构造了一个灵活可分析的过程模型:首先介绍了相关的基于Petri网的工作流建模技术,接着描述了Petri网到工作流过程模型执行的映射,然后给出了一个具体的基于Petri网建模方式的实例,最后利用随机Petri网和概率论的一些知识对该模型进行了时间性能分析。

基于时间扩展UML活动图的工作流过程建模方法

为了严格管理与控制业务流程中的时间,对统一建模语言活动图进行了时间约束的扩展,充分考虑活动中资源的到来时间、资源有效时间、活动延迟时间、跃迁有效时间、延迟时间和活动截止时间共六种时间因素,建立基于时间统一建模语言活动图的工作流过程模型,并给予语义形式描述,增强了时间管理的全面性。鉴于时间复杂性,提出基于等待状态事件触发活动转移路由,解决了循环活动事件时间计算的问题。为了检验该方法的正确性、有效性和时间一致性,对Petri网时间验证方法进行了改进。通过对实例建模,验证了所提方法的合理性。

工作流过程模型研究

工作流过程模型是工作流管理系统的基础,对工作流过程模型的研究对于提高我国企业的信息化程度、运行效率以及竞争能力都有重要的意义。文中介绍了工作流过程模型的现状,主要包括WfMC定义的工作流元模型、工作流过程模型的实质、工作流过程模型的建模工具。同时分析了目前工作流过程模型中存在的问题以及未来工作流过程模型的发展方向。

分布工作流过程模型及其实现

为构建跨组织分布工作流管理系统,满足现代企业信息分布性、自治性和异构性的要求,提出一种分布的工作流过程模型,基于该模型采用Web Services和JMX技术,构造一个原型系统——CODWfMS,能够实现跨组织同步、异步调用等,实现真正意义上的平台独立和语言独立,并给出相关问题的解决方案。

基于复用的工作流过程定义工具——PDTBR

为了提高工作流过程定义的效率,提出了一种基于复用的工作流过程定义方法。文中讨论了构建和描述可复用资产——领域业务本体和工作流模板的方法,给出了基于领域业务本体检索工作流模板的方法。在此基础上,开发了基于复用的过程定义工具PDTBR,并在实际使用中验证了该方法的可行性与有效性。

AXML在基于Web Services的工作流过程建模中的应用

本文在分析基于WebServices的工作流技术的同时,重点研究了它的过程建模,根据它的特点,引入AXML作为其描述语言,并给出了对元素及其结构的定义,最后用一个泛工作流实例来说明AXML在基于WebServices的工作流过程建模中的应用。

一种改进的柔性工作流过程定义元模型研究

由于传统工作流技术无法满足时常变更的业务过程,工作流的柔性问题成为研究的热点。从WFMC的过程定义元模型中提取出连接类型和活动状态,封装成新元素,并重定义了转移条件和角色,从而形成一种改进的柔性工作流过程定义元模型。运用工作流过程定义语言对元模型主要元素进行了形式化描述,并通过一个实例说明了该模型在实践中的柔性。

基于事前分析方法的工作流过程模型的验证

工作流执行过程中经常会出现非正常终止的情况,对此,将事前分析方法应用于工作流过程模型的验证中,即在工作流过程实例化前进行模型的有效性分析和结构正确性验证。该方法对传统的有向网络图进行扩展并以此来描述工作流过程,确定模型的有效性;进一步将扩展有向网络图转换成工作流网模型,应用Petri网技术分析该模型的冲突结构,以确保工作流过程的逻辑合理性。

基于Petri网的工作流过程建模

工作流是对一组有关联的工作任务间的依赖关系进行的形式化描述。通过对目前流行的一些工作流产品的分析,针对现有工作流模型表达能力差,缺乏严格的形式化数学定义以及没有科学分析手段的缺点,引入有色Petri网的相关理论,建立一个工作流逻辑网以实现工作流的过程建模,该模型有严格的理论基础,并可以利用成熟的Petri网分析方法对业务流程进行分析,同时还具有一定的灵活性和可扩展性。

工作流过程定义工具研究与开发

按工作流管理联盟(WfMC)的参考模型,工作流过程定义处于工作流管理系统的工作流模型创建阶段。工作流过程定义采用的建模方法有多种,采用工作流网(WF-Net)方法,开发了一个基于工作流网的过程定义工具。

协同工作流过程模型的时间机制研究

时间机制是工作流过程模型的一个关键部分,开展时间机制研究,对于增强工作流过程模型的柔性和提高企业竞争力具有重要意义。文章通过总结当前关于工作流过程模型的时间约束机制研究工作的不足,基于时间约束的过程模型,探讨了自动和手动触发实例的时间约束变量设定方法,简单讨论了不同时区下时间映射方法,并辅以算例解释,为分布式环境下企业工作流过程模型应用提供了方法指导。

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

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

基于扩展库所网的工作流过程规约和模式描述(英文)

通过扩展库所的属性,给出了一种新的Petri网模型,用来规约工作流过程和表示工作流模式,并提出了一种称为参数化模式的新模式。通过区别变迁和工作流路由,使得模型中的库所和变迁能够分别表示引擎的动作和需执行的任务。基于传统的Petri网的工作流模型不适合描述工作流过程所代表的行为,因此提出了ST触发规则表达网模型的语义。

基于CPN的分层工作流过程模型建模研究

本文针对分层工作流过程模型的语义建模存在的问题,基于扩展同步器和CPN,将工作流过程模型的逻辑结构和语义与CPN中的网结构和网表达式进行映射,进而定义了基于同步结构和CPN的工作流过程模型WFC_Net,并给出了采用约束表达式对该模型进行语义层验证的方法。

基于标记语言的工作流过程描述语言

随着工作流技术的发展,传统的软件系统都纷纷引入工作流过程模型解决手工公文流转。该文阐述了工作流的定义,结合工作流的特点和要求,设计了一种基于标记语言的工作流过程描述语言M_WPDL,该语言可以对工作流过程进行描述并转换为代码,可以广泛应用于工作流管理系统。