检索结果-内蒙古大学图书馆

软件学报 2015年第3期26卷 584-599页

作者：朱鑫伟朱国宾 Seppe VANDEN BROUCKE 武汉大学国际软件学院湖北武汉430079 Research Center for Management Informatics KU Leuven

明晰了受地理空间约束的业务流程的两个基本概念:地理位置与地理空间信息.首先,提出了地理空间约束思想,分析了地理空间约束的内涵,并在工作流元模型的知识基础上构建了地理空间约束的UML语义框架;其次,以形式化的方式提出了地理空间约... 详细信息

明晰了受地理空间约束的业务流程的两个基本概念:地理位置与地理空间信息.首先,提出了地理空间约束思想,分析了地理空间约束的内涵,并在工作流元模型的知识基础上构建了地理空间约束的UML语义框架;其次,以形式化的方式提出了地理空间约束的业务流程建模方法(LAWF-net),并描述了LAWF-net模型转化为CPN可执行模型的规则,探讨了地理空间约束对流程建模的影响;最后,通过案例结合GIS系统来扩展CPN Tools,不仅验证了LAWF-net建模方法的可行性,而且实现了地理空间约束的业务流程的可视化.

关键词：地理空间信息业务流程建模地理空间约束 LAWF-net

来源：评论

学校读者我要写书评

暂无评论

面向组合的业务流程建模及异常处理

引用

系统仿真学报 2005年第11期17卷 2580-2585页

作者：张静王海洋山东大学计算机科学与技术学院山东济南250061

随着信息技术的发展,业务流程的范围扩展至跨越部门,甚至跨越企业的边界,复杂性也越来越高。提出一种形式化的面向组合的业务流程模型,该模型以流程代数π演算为形式化基础,通过组合简单的结构化流程控制模块,建立复杂的流程模型,并给... 详细信息

随着信息技术的发展,业务流程的范围扩展至跨越部门,甚至跨越企业的边界,复杂性也越来越高。提出一种形式化的面向组合的业务流程模型,该模型以流程代数π演算为形式化基础,通过组合简单的结构化流程控制模块,建立复杂的流程模型,并给出了模型的合理性验证。利用流程可组合的特性,将异常处理逻辑从正常的流程控制逻辑中分离出来,并将异常处理区域化,以最小化计划外偶然事件的有害影响。

关键词：业务流程业务流程建模组合 π演算异常处理

来源：评论

学校读者我要写书评

暂无评论

三峡生态与环境信息系统业务流程建模研究

引用

计算机工程与应用 2007年第35期43卷 205-209,238页

作者：马新辉吴炳方周月敏朱亮闫礼中国科学院遥感应用研究所北京100101

三峡工程生态与环境信息系统具有多学科、多层次、综合性特点,业务流程建模是建设这种大型复杂系统的有效手段。在分析三峡监测系统管理现状及业务构成的基础上,将三峡信息系统中业务划分为两大类,并采用两种不同的方法实现了系统的业... 详细信息

三峡工程生态与环境信息系统具有多学科、多层次、综合性特点,业务流程建模是建设这种大型复杂系统的有效手段。在分析三峡监测系统管理现状及业务构成的基础上,将三峡信息系统中业务划分为两大类,并采用两种不同的方法实现了系统的业务流程建模。对于管理型业务流程应用RATIONALROSE的UML的活动框图建模。针对系统中复杂生态环境业务流程,通过综合常用建模方法的优势,改进了通用业务流程描述元素,形成了一种新的业务流程建模方法,该方法运用面向对象的设计思想,采用逐层细化的策略,从数据、过程、功能与信息表达等方面对业务模型进行定义和描述,对专业人员来讲操作方便、简单。文中还给出了两种方法的建模过程、实例,以及系统相应的实现界面。实验证明,该方法在三峡工程生态与环境信息系统的业务流程分析中都得到了较好的应用效果。

关键词：业务流程建模生态与环境三峡信息系统系统分析

来源：评论

学校读者我要写书评

暂无评论

基于DAML-S和扩展Petri网的Web业务流程建模方法

引用

上海交通大学学报 2006年第11期40卷 1842-1847页

作者：朱益琼蔡鸿明徐博艺上海交通大学软件学院上海200240 上海交通大学安泰经济与管理学院上海200052

为实现Web上业务流程动态装载和调用以及跨企业业务流程的动态集成目标,提出了一种Web上的业务流程建模方法.该方法扩展了具有良好过程建模性能的Petri网,并将其与Web服务描述的本体语言DAML-S相结合.首先将Petri网扩展为业务流程建模,... 详细信息

为实现Web上业务流程动态装载和调用以及跨企业业务流程的动态集成目标,提出了一种Web上的业务流程建模方法.该方法扩展了具有良好过程建模性能的Petri网,并将其与Web服务描述的本体语言DAML-S相结合.首先将Petri网扩展为业务流程建模,用DAML-S来描述流程模型,然后利用结合了DAML-S的UDDI注册中心来查找最佳服务,并在执行阶段动态调用合作伙伴提供的Web服务,从而实现了在企业间相对通用的一些业务流程的动态集成.通过一个实例对整个过程进行了验证讨论.

关键词：业务流程建模 DAML—S 扩展Petri网 Web服务

来源：评论

学校读者我要写书评

暂无评论

模型驱动的业务流程建模工具

引用

计算机工程 2009年第24期35卷 262-264,267页

作者：唐文炜沈备军陈德来上海交通大学软件学院上海200240 上海市网络化制造与企业信息化重点实验室上海200030

业务流程管理与面向服务架构为企业的高效整合提供了解决方案。基于模型驱动开发理论,提出一个精炼的业务流程元模型,解决模型间的转换问题,探讨模型实例控制流结构和语义的校验方法,根据模型驱动架构设计并实现基于该元模型的流程建模... 详细信息

业务流程管理与面向服务架构为企业的高效整合提供了解决方案。基于模型驱动开发理论,提出一个精炼的业务流程元模型,解决模型间的转换问题,探讨模型实例控制流结构和语义的校验方法,根据模型驱动架构设计并实现基于该元模型的流程建模工具。

关键词：业务流程建模模型转换模型驱动架构

来源：评论

学校读者我要写书评

暂无评论

基于配置理论的可复用业务流程建模

引用

科技管理研究 2009年第3期29卷 280-282页

作者：李淑霞朱海平华东理工大学商学院上海200237 华中科技大学教育部智能制造技术重点实验室湖北武汉430074

为快速、准确地对复杂多变的企业业务流程进行有效管理,提出了基于配置理论的可复用业务流程建模方法。借鉴产品配置的思想,提出在设计时通过对业务流程进行保留目标的多途径分解,进而建立其非精确模型;在执行时,根据配置的范围与参数不... 详细信息

为快速、准确地对复杂多变的企业业务流程进行有效管理,提出了基于配置理论的可复用业务流程建模方法。借鉴产品配置的思想,提出在设计时通过对业务流程进行保留目标的多途径分解,进而建立其非精确模型;在执行时,根据配置的范围与参数不同,采用相应的配置规则得到精确模型并给出其UML描述;对业务流程模型中结构相同的部分进行重复有用性、复用粒度及复用成本等几个方面的可复用性综合评价,以利于新业务流程建模的复用选择;最后给出了应用实例。

关键词：业务流程建模配置理论可复用

来源：评论

学校读者我要写书评

暂无评论

基于模型的业务流程建模平台研究与实现

引用

计算机应用研究 2008年第4期25卷 1271-1274页

作者：陈剑辉夏永霖魏峻中国科学院软件研究所软件工程技术中心北京100080

提出了基于BPMN规范的三维业务流程模型,并采用模型驱动的开发方法和基于Eclipse插件实现了原型系统OnceBPD;最后利用该系统展示了一个旅行登记流程模型的案例。

关键词：业务流程建模模型驱动业务流程建模符号 Eclipse 插件

来源：评论

学校读者我要写书评

暂无评论

基于配置理论的业务流程建模方法与关键实现技术

引用

统计与决策 2008年第18期24卷 148-149页

作者：李淑霞华东理工大学商学院上海200237

针对企业业务流程复杂多变的实际情况,提出了基于配置理论的可复用业务流程建模方法。通过对业务流程进行保留目标的多途径分解,建立其非精确模型。在实际执行时,根据配置的范围与参数不同,采用相应的配置方法得到其精确模型。将业务流... 详细信息

针对企业业务流程复杂多变的实际情况,提出了基于配置理论的可复用业务流程建模方法。通过对业务流程进行保留目标的多途径分解,建立其非精确模型。在实际执行时,根据配置的范围与参数不同,采用相应的配置方法得到其精确模型。将业务流程模型中结构相同的部分作为"复用元"以提高业务流程的设计效率。讨论了从"重复有用性"、"复用粒度"以及"复用成本"等几个方面进行业务流程可复用性综合评价的方法。最后给出了应用实例。

关键词：业务流程建模配置理论可复用元

来源：评论

学校读者我要写书评

暂无评论

面向服务的业务流程建模与验证研究

面向服务的业务流程建模与验证研究

引用

作者：张曼西安电子科技大学

学位级别：博士

业务流程是对组织内外各种管理逻辑的抽象和视图的描述。在业务流程管理(Business Process Management, BPM)领域，面向服务的架构(Service OrientedArchitecture, SOA)为跨组织建立业务流程提供了一整套的技术规范。业务流程建模作为BP... 详细信息

业务流程是对组织内外各种管理逻辑的抽象和视图的描述。在业务流程管理(Business Process Management, BPM)领域，面向服务的架构(Service OrientedArchitecture, SOA)为跨组织建立业务流程提供了一整套的技术规范。业务流程建模作为BPM的重要组成部分，是业务流程整个生命周期的起点。业务流程模型的验证是检验流程模型正确性的技术，在流程投入运行前对流程模型进行验证有重要意义。业务流程的设计模型通常采用图形化的语言建模，而业务流程执行语言(Business Process Executable Language, BPEL)是BPM与SOA领域事实上的流程定义与执行语言标准。由于BPEL的控制流结构主要面向块状，使得图形化流程模型向BPEL的转换不易处理。工作流网是一种基于形式化理论的流程模型，已得到学术界的广泛接受。化简技术作为流程模型验证的重要方法，能够缓解状态空间爆炸问题，且易于实现自动化。然而针对自由选择工作流网这种重要的形式化流程模型，缺乏为其定制的化简方法。本文的研究内容分为两个部分：首先，采用图形化的统一建模语言(UnifiedModeling Language, UML)建立流程设计模型，以形式化的流程模型工作流网为理论支撑，以BPEL流程定义为目标模型，提出了基于模型转换的业务流程建模方法。第二，针对自由选择工作流网定义可靠完备的化简规则集，为这类模型的验证提供专属的化简技术；并在此基础上定义它们的合成规则集，为图形化流程模型的控制流结构分析提供理论依据。本文的具体研究成果包括以下几点： 1.分别以UML组合结构图和类图建模业务流程在资源和数据方面的信息，然后分别定义组合结构图到BPEL流程参与者，以及类图到BPEL数据定义的映射规则。对控制流维度之外的业务流程信息进行建模，改进了UML流程设计模型生成BPEL的过程。 2.提出以工作流网为中间模型，由UML活动图到BPEL控制流模型的转换方法。首先将活动图映射到自由选择工作流网，再将自由选择工作流网转换为可分离工作流网，最后由可分离工作流网生成BPEL控制流模型。与源模型到目标模型的直接映射相比，具有可靠的理论基础及等价性证明。 3.提出自由选择工作流网转换为可分离工作流网的两种形式化方法。第一种方法分析图形化流程模型控制流结构中交叠模式的形成原因，形式化表述了传统的处理交叠模式的方法，并总结其适用范围，证明了转换的迹相等性。第二种方法在真并发等价性的概念下，提出非循环的自由选择工作流网的局部网展开算法，作为获得其可分离形式的转换方法。另外，还提供了判断两个安全网间真并发等价的充分条件。 4.提出自由选择工作流网的一个可靠完备化简规则集，可靠性保证在化简过程中这类模型的行为正确性被保持，完备性保证任意一个正确的此类工作流网最终都能被化简为最简形式。为业务流程验证提供了形式化的更契合于流程模型的化简技术。 5.定义自由选择工作流网的可靠完备化简合成规则集，并进一步限制这个合成规则集的应用，以保持可分离工作流网的可分离性。为自由选择及可分离工作流网这两类形式化流程模型的建模过程提供了与节点相比，精化维度不同且粒度更细的设计指导原则。

关键词：业务流程建模 BPEL UML活动图流程模型化简自由选择工作流网可分离工作流网

来源：评论

学校读者我要写书评

暂无评论

支持复杂事件处理的业务流程建模研究

引用

计算机工程与设计 2012年第6期33卷 2236-2240页

作者：王健董广智柳军飞北京师范大学信息科学与技术学院北京100875

现有的流程建模语言缺少对复杂事件的支持。通过对BPMN进行扩展,提出一种事件的分层方法来表达业务过程中的基本事件和复杂事件。在此基础上进一步提出CE-BPM建模方法,并给出其形式化定义和图形化表示,增加了复杂事件和复杂事件处理网... 详细信息

现有的流程建模语言缺少对复杂事件的支持。通过对BPMN进行扩展,提出一种事件的分层方法来表达业务过程中的基本事件和复杂事件。在此基础上进一步提出CE-BPM建模方法,并给出其形式化定义和图形化表示,增加了复杂事件和复杂事件处理网关的图形表示。最后通过实例来说明用BPMN建模时遇到的问题以及如何用CE-BPM建模解决问题的。

关键词：业务流程建模事件复杂事件处理业务流程建模标注事件分层

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：