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

计算机集成制造系统 2013年第8期19卷 1928-1934页

作者：韩伟伦张红延北京交通大学软件学院北京100044

为了解决当前业务过程建模语言场景描述能力较差和模型执行时图元利用率低的问题,提出一种可配置的建模语言方案。基于图论及过程模型扩展途径的研究,通过建立可配置图元并为其增加可配置属性,对现有的过程建模语言BPMN进行可配置扩展... 详细信息

为了解决当前业务过程建模语言场景描述能力较差和模型执行时图元利用率低的问题,提出一种可配置的建模语言方案。基于图论及过程模型扩展途径的研究,通过建立可配置图元并为其增加可配置属性,对现有的过程建模语言BPMN进行可配置扩展。建立了基于控制流可配置的C-BPMN语言,并给出了该语言的形式化描述。通过给出C-BPMN的语法规则,验证了扩展后的可配置建模语言的成立条件。

关键词：业务过程建模业务流程建模标注可配置过程模型

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

SOArTester:一个基于精简用例的组合服务自动化测试系统

引用

电子学报 2010年第B02期38卷 65-70页

作者：金若凡孙海龙刘旭东李翔北京航空航天大学计算机新技术研究所

测试是保证组合服务功能正确性、性能和可靠性的必要手段.基于BPMN的组合服务流程具有多参数多取值的特征，参数的取值组合数量巨大.本文提出了一种基于组合精简技术的测试用例精简方法，用于检测输入参数间的相互作用对组合服务执行可... 详细信息

测试是保证组合服务功能正确性、性能和可靠性的必要手段.基于BPMN的组合服务流程具有多参数多取值的特征，参数的取值组合数量巨大.本文提出了一种基于组合精简技术的测试用例精简方法，用于检测输入参数间的相互作用对组合服务执行可能产生的影响，设计并实现了基于BPMN规范的组合服务自动化测试系统SOArTester.该系统支持自动化的测试环境部署、测试执行和监控，生成的用例数量与参数个数之间呈现对数增长关系.实验表明SOArTester系统提高了组合服务测试的自动化程度，降低了组合服务测试的开销，因而提高了测试的效率.

关键词：测试测试用例精简组合服务业务流程建模标注

来源：评论

学校读者我要写书评

暂无评论

复杂产品协同设计流程的多视图自然语言文本生成

引用

计算机集成制造系统 2018年第7期24卷 1838-1849页

作者：周长红原桂远曾庆田段华山东科技大学经济管理学院山东青岛266590 山东科技大学计算机科学与工程学院山东青岛266590 山东科技大学数学与系统科学学院山东青岛266590

为了业务人员更好地理解复杂产品设计过程的业务流程建模标注(BPMN)模型,以便与系统分析人员进行有效沟通,提出一种基于BPMN模型的复杂产品设计过程多视图自然语言文本生成方法。该方法能够根据业务人员的不同需求对流程模型进行结构投... 详细信息

为了业务人员更好地理解复杂产品设计过程的业务流程建模标注(BPMN)模型,以便与系统分析人员进行有效沟通,提出一种基于BPMN模型的复杂产品设计过程多视图自然语言文本生成方法。该方法能够根据业务人员的不同需求对流程模型进行结构投影,进而使用句法分析和语义角色标注解析BPMN流程模型的文本信息,并使用流程结构树(RPST)算法解析BPMN流程模型的结构,从而将流程模型划分成具有层次的子流程片断得到流程结构树。解析的文本信息与不同视图下的流程结构树合并,形成带注释的多视图流程结构树,然后使用语法树由带注释的流程结构树自动生成自然语言文本,最终生成多视图下的自然语言文本。所提方法已在系统中实现,并通过测试集进行实验验证了所提方法的有效性。

关键词：协同设计业务流程建模标注多视图自然语言文本生成

来源：评论

学校读者我要写书评

暂无评论

基于BPMN2.0标准的电力系统业务流程管理平台

引用

电力系统自动化 2012年第18期36卷 148-152页

作者：罗华永张敏杰杨宁张晓慧国网电力科学研究院/南京南瑞集团公司江苏省南京市210003

设计并实现了面向服务架构的流程管理平台。通过分析电力系统各业务应用之间流程的集成、集约化管理和流程闭环管理的需求,提出了针对电力集团企业的分布式流程管理平台的总体架构,介绍了该平台的关键组件,包括流程设计器、流程客户端... 详细信息

设计并实现了面向服务架构的流程管理平台。通过分析电力系统各业务应用之间流程的集成、集约化管理和流程闭环管理的需求,提出了针对电力集团企业的分布式流程管理平台的总体架构,介绍了该平台的关键组件,包括流程设计器、流程客户端、流程引擎、流程管理控制台以及流程统计与分析等,以两级审批流程为例说明了基于该平台的流程交互过程。该平台支持BPMN2.0标准,提供面向各业务的流程集成及流程的集约化管理,支持流程的全生命周期管理。

关键词：流程集成业务流程管理业务流程建模标注流程集约化管理

来源：评论

学校读者我要写书评

暂无评论

从BPMN模型导出组合服务的代数规约

引用

计算机工程与科学 2013年第2期35卷 74-80页

作者：余波中南林业科技大学涉外学院湖南长沙410042 国防科学技术大学计算机学院湖南长沙410073

针对应用规约自动测试BPEL表示组合服务时需要解决BPEL服务的规约生成问题,提出了一种从BPMN模型导出BPEL规范定义的组合Web服务的由代数规约语言CASOCC-WS表示的代数规约方法。首先,定义从BPMN模型转换成基调的规则和从BPMN结构转换成... 详细信息

针对应用规约自动测试BPEL表示组合服务时需要解决BPEL服务的规约生成问题,提出了一种从BPMN模型导出BPEL规范定义的组合Web服务的由代数规约语言CASOCC-WS表示的代数规约方法。首先,定义从BPMN模型转换成基调的规则和从BPMN结构转换成正则表达式的规则,设计由正则表达式导出构成公理的项的算法;然后,提出根据所得的项人工书写公理的启发式规则;最后,实现一个从BPMN模型导出组合服务基调的工具原型。案例研究表明,该方法可以解决BPEL服务的代数规约生成问题。

关键词：代数规约组合服务业务流程建模标注业务流程可执行语言

来源：评论

学校读者我要写书评

暂无评论

由MDA/PIM到Java代码的转换及验证

引用

计算机工程与设计 2017年第6期38卷 1510-1515,1574页

作者：李凯宁武淑红王耀力太原理工大学计算机科学与技术学院山西太原030024 太原理工大学信息工程学院山西太原030024

在基于模型驱动架构(MDA)的软件开发设计过程中,为简化平台无关模型(PIM)到平台相关模型(PSM)以及PSM到可执行代码的多步转换问题,减少转换所花费的时间和精力,提出基于MDA规则及MOF建模体系的PIM到代码的间接转换方法。采用EMF建模框... 详细信息

在基于模型驱动架构(MDA)的软件开发设计过程中,为简化平台无关模型(PIM)到平台相关模型(PSM)以及PSM到可执行代码的多步转换问题,减少转换所花费的时间和精力,提出基于MDA规则及MOF建模体系的PIM到代码的间接转换方法。采用EMF建模框架建立业务流程建模符号(BPMN)与Java语言之间的联系,直接对其中间模型XML(PSM)完成面向对象建模,将模型检测算法加入模型转换规则,实现对如死锁、活锁等结构问题的检测。通过BPMN的典型实例验证了间接转换方法和模型检测算法的可行性和有效性。

关键词：模型驱动架构 MOF建模体系业务流程建模标注 Eclipse建模框架平台无关模型可扩展标记语言

来源：评论

学校读者我要写书评

暂无评论

面向过程的Mashups教学资源聚合模型研究

引用

重庆师范大学学报（自然科学版） 2013年第1期30卷 123-128页

作者：谢丽广东技术师范学院计算机科学学院广州510665

为了降低教学资源的Mashups应用设计门槛!让一线教师(可能是不懂计算机技术的)也能够设计出适合自己的教学业务系统,本文提出将SOA、Web 2.0技术和Web服务集成到面向服务的教学业务应用上,以实现Mashups教学资源聚合模型。根据Mashups... 详细信息

为了降低教学资源的Mashups应用设计门槛!让一线教师(可能是不懂计算机技术的)也能够设计出适合自己的教学业务系统,本文提出将SOA、Web 2.0技术和Web服务集成到面向服务的教学业务应用上,以实现Mashups教学资源聚合模型。根据Mashups教学资源聚合模型的建模需求和原则,选择有效的建模符号(BPMN子集)及控制流模式(Processpatterns)!将其作为基础集扩展过程模版(Process templates)和过程片断(Process fragments),提出了一个轻量级教学资源聚合模型。通过构造一个教学资源(服务)聚合平台,为一线教师亲自构建个性化教学系统做出有效示范。如何丰富扩展建模语言和实现具有嵌有Web服务的引擎机制是未来研究方向。

关键词： SOA Web服务 Mashups 教学资源业务流程建模标注

来源：评论

学校读者我要写书评

暂无评论

基于Pi演算的BPMN编排形式化的研究

基于Pi演算的BPMN编排形式化的研究

引用

作者：杨鹏玉上海大学

学位级别：硕士

BPMN(BusinessProcessModelingNotation)验证是BPMN模型在实现或转化成其它语言前，通过某种方法或技术发现模型中存在的问题。这是BPMN模型成功实现的关键。本文主要研究BPMN编排正确性的验证问题，探索基于Pi演算的BPMN编排验证方法... 详细信息

BPMN(BusinessProcessModelingNotation)验证是BPMN模型在实现或转化成其它语言前，通过某种方法或技术发现模型中存在的问题。这是BPMN模型成功实现的关键。本文主要研究BPMN编排正确性的验证问题，探索基于Pi演算的BPMN编排验证方法。本文通过对各种服务交互模式的Pi演算描述的研究，建立起Pi演算描述BPMN编排的算法。并根据Pi演算的转换语义和自动推演等理论来识别和验证BPMN编排中的语义错误。Pi演算自动验证工具MWB应用广泛，但它难于集成到其它系统，所以本文根据对BPMN编排描述的特点及Pi演算转换语义提出了简化的推演算法。最后，本文基于Eclipse基金中的STPBPMN项目，实现了基于Pi演算的BPMN编排验证系统原型。

关键词：业务流程建模标注 Pi演算 BPMN验证 BPMN编排服务交互模式 Eclipse基金

来源：评论

学校读者我要写书评

暂无评论

BPMN到WS-CDL的转换研究

BPMN到WS-CDL的转换研究

引用

作者：李潇复旦大学

学位级别：硕士

业务流程管理BPM(Business Process Management)综合集成了企业的任务、资源和数据,并通过对这些流程的管理帮助企业灵活、敏捷地应对外部环境的变化。业务流程建模是BPM中最为重要的环节,它直接决定了整个管理工作对业务需求的把握程... 详细信息

业务流程管理BPM(Business Process Management)综合集成了企业的任务、资源和数据,并通过对这些流程的管理帮助企业灵活、敏捷地应对外部环境的变化。业务流程建模是BPM中最为重要的环节,它直接决定了整个管理工作对业务需求的把握程度。实践表明,BPMN(Business Process Modeling Notation)是一种标准的、易于使用的业务流程建模语言。BPMN不仅提供了简单的建模手段,也提供了表达业务流程的丰富语义。业界的业务流程建模方法仅限于对流程的描述,缺少业务流程模型的验证,因此无法保证业务流程模型在理解需求和系统设计方面的正确性和可靠性,限制了业务流程模型按照自顶向下的方式在实践中的普及和应用。针对这一问题,本文提出了一种检验业务流程模型的技术路线,开发了模型转换工具,用于验证流程模型的正确性。这一技术路线引入W3C规范WS-CDL(Web ServicesChoreography Description Language),作为一个承上启下的流程模型表达。本文分析了BPMN和WS-CDL两种建模语言的特征,建立了彼此相互转换的映射关系和算法。从用户易于使用的BPMN,转换为WS-CDL表达的服务编排,然后,应用Pi-演算对服务编排形式化,应用Pi-演算验证工具对形式化模型进行检验和判定,从而保证了业务流程模型不存在冲突和死锁等问题。本文开发的转换工具BPMN2CDL,证实了技术路线的可行性。总之,本文的研究成果支持在模型设计阶段就进行形式化分析和验证,有效提高建模质量,降低软件系统开发的风险,减少由于模型错误导致的反复代价,保证了业务流程模型的可靠性与健壮性。

关键词：业务流程建模业务流程建模标注 Web服务编排模型验证 Pi-演算

来源：评论

学校读者我要写书评

暂无评论

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

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：