分离业务规则和过程流的业务过程模型研究

针对动态环境中业务逻辑的不断变化,通过业务规则和过程流分别描述业务过程中的易变和相对稳定业务逻辑,构建了业务过程模型BPM4DBL（Business Process Model for Dynamic Business Logic）。模型引入了活动、规则和事件元素,定义了分离业务规则和过程流的元组表达,并且给出了业务规则和过程流之间的耦合策略。最后,给出了一个BPM4DBL的具体应用实例。     

一种分离业务规则的灵活业务过程建模方法

针对动态环境中业务应用的不断变化,将易变的业务逻辑从过程控制结构中分离,并且通过业务规则的声明性表达式描述,由此构建了业务过程模型BPM4DBL(Business Process Model for Dynamic Business Logic)。在建立规则元素的模型定义后,给出了业务规则的定义、分类和可执行语言描述,最后给出一个BPM4DBL的具体应用实例。     

一种新的业务过程管理模型

通过对工作流本质的探讨和对WfMC工作流参考模型的分析,提出了在分解业务过程控制逻辑与应用逻辑的基础上,进一步将控制逻辑分解为路由逻辑与资源管理逻辑的思想.提出了描述资源管理逻辑的资源管理模型.基于资源管理模型提出一种新的过程管理模型BRM,给出了基于BRM的业务过程管理系统的系统框架和功能模块.与WfMC工作流参考模型的对比表明:BRM模块更清晰,柔性更突出,分解粒度更小.     

电子政务：呼唤业务模型

我国企业的信息化和工业化是同时进行的。因此要将企业信息化与工业化融合起来发展，必须走中国特色的企业信息化道路。同样，在政府信息化工程中，也存在着类似的问题。     

一种面向业务的风险评估模型

当前主流的信息安全风险评估关注于资产损失,而忽视了时业务的影响.提出了一种面向业务的风险评估模型.该模型从业务安全需求出发,将机密性、完整性和可用性等安全属性引入风险评估过程中,通过评估对业务过程的影响来量化风险.将传统风险评估的资产要素视为业务的支撑,采用层次化方法依次分析资产风险、业务过程风险和业务风险.各风险要素采用面向属性归纳和聚类方法进行概化分析,并采用Markov模型描述业务过程的风险传导.最后以某网上银行交易系统风险进行模型验证.理论分析和实验结果表明,该模型能够将传统的资产风险转化为业务风险,从机密性、完整性和可用性3个安全属性进行度量,从而体现业务安全需求.     

一种可生存的电子政务安全策略模型

本文在研究当前电子政务模型的基础上,分析了电子政务的安全需求,基于信息安全和信息保障的思想,提出了可生存的电子政务安全策略模型。基于这一模型构建的电子政务系统,具有更好的安全性、健壮性和可生存性。     

一种跨边界业务过程集成平台

针对分布式异构环境下业务过程集成效率低、动态性差等问题,文章提出了一种跨边界业务过程集成模型,通过将跨边界业务过程集成模型构建为包含业务过程层、自治域内业务过程集成层以及跨边界业务过程集成层三个层次的层次模型,将每层问题简化,并通过层次间的紧密耦合解决复杂的实际问题。基于层次模型构建基于WebService的业务过程集成平台的体系结构,并利用业务过程动态协商技术,动态选择可提供个性化服务的服务提供者,按照合作双方协商结果进行实际业务过程集成,以提高跨边界业务过程集成的效率和动态适应能力。     

BeehiveZ:一个开放的业务过程模型管理框架

随着面向服务架构、业务过程管理技术的推广应用,企业中用建模语言描述的业务过程模型越来越多,这些模型描述了企业核心的业务逻辑,是企业最宝贵的知识资产.为了更好地促进企业的发展,提升竞争力,需要将这些业务过程模型作为数据进行有效地管理、建立企业过程模型库,并支持对过程模型的存储、浏览、相似性度量、检索等操作和应用开发.提出了一个开放的业务过程模型管理框架--BeeHiveZ,阐述了BeeHiveZ的体系结构、关键技术及系统功能与操作等内容.BeeHiveZ现已在开源软件社区SourceForge. net上发布.     

一种弹性的软件过程模型验证工具

过程模型验证是保证软件过程定义正确性的重要手段.针对目前过程模型验证中的一些问题,首先提出了一种以活动为中心的软件过程元模型,并以XML对其进行描述.在此基础上,从行为、资源、组织视图结合的角度,提出了保证软件过程模型正确性的语义约束规则.最后,提出了一种弹性的用于验证XML描述的过程模型的机制,并基于此实现了过程模型验证工具,来验证过程模型的正确性.     

一种基于反射的BPEL业务过程动态演化方法

提出了一种基于反射的BPEL业务过程动态演化方法.该方法基于可反射的BPEL业务过程的动态演化框架,扩展了现有BPEL引擎,并对演化元过程建模,使其在BPEL引擎中实例化执行,来实现对业务过程的动态演化.     

业务模型中的协同模型研究*

针对业务模型中对协同关系描述的不足,详细定义了协同模型,给出了从业务模型中的过程模型抽取协同模型的规则,并阐明了协同模型对业务模型中其他各模型的影响。     

面向对象的电子政务系统模型研究与设计*

在对电子政务系统模型综述的基础上,提出并构建了面向对象的电子政务系统模型。该模型中将电子政务系统分解为三个对象,即政府、企（事）业单位和公民,建立了面向对象电子政务系统模型中各对象之间直接和间接的互动关系,结合上海社会保障卡应用实例,对面向对象的电子政务系统模型进行了系统分析。通过分析,该模型具有融合性、可扩展性、可管理性等特点,易于扩展、成本低且效率高,对电子政务的研究及实践具有一定的指导意义。     

支持快速构建领域应用系统的业务过程模型研究

针对基于业务基础平台快速构建领域应用系统,建立了业务过程模型BPM4DBL(business process model for dynamic business logic).模型中包括活动和规则元素,可以描述领域应用中宏观实体和微观知识结构;给出了模型中元素的构建步骤和原则,并定义了模型向XPDL(XML process definition language)和BPEL4WS(bussiness process execution language for Web service)的映射规则,从而支持领域应用系统的快速构建.最后给出了一个具体的应用实例.     

面向重构的企业应用系统业务模型

在分析面向重构的设计原则的基础上,提出一种基于业务规则的业务模型,并给出八类规则的表达形式。通过对业务元素的持续分解,将模型中频繁发生变化的部分分离出来并使用规则表达,提高了业务模型的动态性和灵活性。最后研究了基于该业务模型的建模过程。     

基于UML的商业建模及模型验证机制研究

传统的商业建模方法存在无法为商业系统开发提供一个集成的"从概念到代码"的方案的缺陷,为解决在商业建模中存在的问题,提出了使用基于UML的商业建模方法.用实例阐述了该方法的具体步骤,并针对基于UML模型形式化复杂、验证难的问题,进一步提出了一种模型形式化的方法.应用实例和实验结果表明,基于UML建模方法和形式化方法能够减少商业建模的工作量,提高商业软件的开发效率及质量,较好地解决了商业建模中存在的问题.     

业务流程模型中生成特征模型方法的研究

目前的软件产品系统中,由于现有的造型系统研究的只是单一系统的开发,因此使用现有的方法进行特征造型时就会导致最终开发出来的产品的质量和产量比较低。通过使用增加产品复用性的软件产品线,提出了从业务流程模型中生成特征模型的方法。该方法通过使用重叠操作算法,将业务流程中相似的功能编成一个用例组,清晰地显示了业务流程中的共性和差异性,从而为整个业务流程实现了软件化,提高了产品的质量和产量。     

从私有过程提取公共过程构建业务协同的方法

业务过程协同允许组织之间彼此进行通信、交互和协作以完成特定的业务目标.为了确保实施的正确性和一致性,需要对业务过程协同进行建模和分析.针对从私有过程(组织所拥有的完整流程)中抽取公共过程(组织参与协同的流程)以构建业务过程协同,首先定义业务过程模型以表示组织的私有过程,该模型由内部视图和公共视图组合而成,且内部视图是自由选择网结构;进而将业务过程模型抽象为4种基本块,即顺序块、选择块、并发块及迭代块;针对这4种基本块提出各自的抽取规则集以获得组织的公共过程,并从理论上证明了这些规则集能够保持协同中接口一致性,从而确保了每一次抽取是上下文无关的.通过对协同制造中供应链进行建模并与现有的、典型的方法进行对比分析,结果表明：相对于已有的工作,在考虑隐私保护原则的情况下,所提方法能够更加有效地对业务过程协同进行建模和分析.     

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

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