一种基于双状态的业务流程描述模型

提出一种基于双状态的业务流程描述模型DSBPDM(包括业务流程模型和调度模型)来刻画以表单为中心的应用系统业务流程,解决其业务流程建模中的突出问题,包括:各类约束的严格描述、权限表示、流程关系、流程推进过程以及业务对象被调度和执行的全过程描述.实践证明采用该模型的业务系统更容易扩展和维护,能较好地满足用户的需求.     

基于本体的车间业务流程知识分析及表达

如何有效利用现有业务流程是车间生产管理研究的重点之一.将本体论引入车间的业务流程管理中,探讨了流程知识的构建和表达方法.通过分析车间业务模型,建立了车间本体元模型;再由业务流程的形式化描述,构建了以流程为中心的车间本体模型;利用本体建模语言OWL实现了车间中某具体业务流程的表达,由此来验证所构建的车间本体模型适合于车间知识的表达和共享.结果表明,该方法能便利地实现车间现有业务流程的本体表达.     

适用于煤炭采掘业ERP系统的业务模型设计与研究

针对煤炭采掘业信息管理模式的特点,基于制造业ERP系统的理论,构建适用于煤炭采掘这种非制造企业的ERP系统的业务流程模型.提出了由企业决策管理层、生产计划调度层、经营业务管理层以及生产业务管理层和生产安全监控层组成的企业业务流程模型,并对其业务流程的控制模型进行了分析,最后给出了适用于煤炭采掘业的ERP功能模型.     

基于线性时序逻辑的业务流程验证

目的为了解决业务流程设计与需求的不一致性问题。方法提出了一种基于XML过程定义语言和线性时序逻辑的业务流程验证方法。结果采用Promela语言描述业务流程模型,线性时序逻辑表示抽象的业务需求,通过模型检测器Spin完成流程的验证工作。结论实现了对流程正确性的判断。     

业务流程的形式化设计与验证

针对如何保证业务流程设计模型与业务需求的一致性问题,在研究有限自动机模型的基础上,提出了一种业务流程的自动机模型构建和验证方法.采用扩展的带约束条件的确定有限自动机对业务流程设计模型进行形式化描述,使用线性时序逻辑表示业务需求,分别给出业务流程设计模型到自动机模型和自动机模型到Promela描述的转换算法,并通过模型检测技术,使用Spin工具验证设计模型是否满足需求性质.若不满足性质,则能够获得反例执行的路径.实例分析表明,该方法可用于业务流程设计的正确性验证.      

基于关联模型的关键业务系统识别与风险评估

为有效识别业务流程中关键业务系统并评估其对业务流程造成的安全风险,提出一种关键业务系统识别模型.首先,通过建立业务流程关联模型得到评价属性矩阵和系统关联度矩阵;然后,改进优劣解距离法（technique for order preference by similarity to an ideal solution,TOPSIS）中的加权方法和相对接近度计算方法,利用TOPSIS的改进方法识别关键业务系统;最后,评估业务系统发生信息安全事件时业务流程面临的损失.实验结果表明,本文模型可以准确地识别业务流程中关键业务系统,并能有效地评估业务系统对业务流程造成的影响.      

有穷自动机在车辆管理系统开发中的应用

利用有穷自动机理论对"企业车辆管理"的生命周期状态转化进行了形式化描述.通过分析车辆管理的流程,得到了车辆管理所涉及的各项业务流程,并对各项业务进行了说明,使得车辆管理的业务流程更加清晰.     

水利业务流程可视化及其在水资源配置中的应用

在分析水利业务流程需求的基础上,采用组件技术、服务组合、工作流等技术,给出一个业务系统流程可视化及组件化编排框架,并在水资源配置中加以应用。在以知识图为核心的业务逻辑描述中,建立知识可视化服务模式,通过业务组件化封装和工作流方式的业务系统构建,更加有效地表征业务活动的相关信息,降低水利业务系统开发的复杂度,为其规范化建立和快速搭建提供基础支撑。     

业务流程评价指标体系研究

提出了一套反映业务流程综合性能的流程评价指标体系.该指标体系由四个宏观指标构成,即业务流程成本、业务流程效率、业务流程顾客满意度和业务流程质量.对于业务流程成本指标,运用作业成本法和作业成本管理理论进行分析和量化;对于业务流程效率指标,运用排队论进行分析和量化;对于业务流程顾客满意度指标,提出以流程下游顾客评价为主的评价方法,并基于这一思想建立了业务流程顾客满意度计算模型;对于业务流程质量指标,提出应主要分析流程产品/服务的“符合性”标准,通过对业务流程所提供的产品或服务与“符合性”标准的比较,量化业务流程的质量.     

面向风险评估的关键系统识别

为有效识别关键业务系统并评估业务系统对全业务流程造成的安全风险和影响,提出一种全业务流程关键业务系统识别模型.首先,建立业务流程关联树与业务流程关联网络,得到评价属性矩阵与系统关联度矩阵.其次,由评价属性矩阵与系统关联度矩阵构造关联评价属性矩阵,改进优劣解距离法(technique for order preference by similarity to an ideal solution,TOPSIS)中加权方法和相对接近度计算方法,基于TOPSIS改进方法计算业务系统的重要性系数,进而识别全业务流程中关键业务系统.最后,评估业务系统发生信息安全事件时对全业务流程连续性的影响.实验结果表明,该方法能够准确地识别出全业务流程中的关键业务系统,有助于高效评估业务系统对全业务流程造成的影响.     

企业信息化工程模型及其集成化支撑环境

分析企业信息化工程建设过程以及企业信息化需求、企业过程建模、应用系统构造与工程项目管理的内在联系,提出由需求工程、过程工程、应用系统工程和支持工程组成的4元立体企业信息化工程模型,将企业业务过程和应用系统的开发应用有机地集成在同一开发空间和运行空间.在此基础上,初步完成了企业信息化工程建设的支撑环境原型系统的设计,它包括4大构件系统:需求工程环境、企业过程环境、应用系统工程环境、支持工程环境.它的完善与推广应用将有利于我国企业信息化工程建设.     

基于流程知识的业务流程设计方法

随着新经济时代的到来,企业关键业务流程的知识密集程度越来越高,企业需要探寻更为有效的业务流程设计方法。为此,选择流程知识为设计方法研究的基础信息,从中获取控制流及相关知识流的结构缺陷和改进环节,实现目标业务流程的设计和优化。以某轿车厂的设备工装采购过程为例,将本研究提出的方法应用于设备工装采购的流程设计工作中,说明其科学性和有效性。     

基于Web服务的远程业务流程集成模型

在介绍Web服务和异步服务访问协议的基础上,针对远程业务流程的集成中的数据交换问题,采用REST结构的Wf-XML协议作为基本的模型框架,提出了一种基于Web服务的业务流程的封装模型和远程业务流程的集成模型．这个模型有效解决了企业内或企业间,跨部门、跨平台的业务流程的集成．在对原有业务流程系统最小改动和尽可能通用的前提下,完成构建复杂的业务流程,克服了原来业务流程只能在小范围内构建的不足,扩大了业务流程的应用范围．     

多粒度制造资源统一模型及其语义服务发现

为了实现企业间的业务流程协同,提出了多粒度资源统一模型及其语义化方法,并实现了语义发现算法。将业务流程片段抽象成不同粒度大小的流程复合资源和单粒度资源,基于扩展OWL-S对多粒度资源进行了语义封装,并构建了领域业务流程本体和功能活动本体,对多粒度资源进一步语义化。进而给出了功能、过程和服务质量的三阶段语义匹配算法,并比较了复合粒度和单粒度资源的匹配性能。结合一个制造业务流程任务实例说明了多粒度资源模型及其语义化的应用过程。最后,通过仿真实验验证了模型、语义化和算法的有效性。     

一种面向业务过程管理的企业资源模型

目的解决业务过程管理系统中过程建模与过程执行过度耦合的问题。方法通过对组织机构/角色模型的分析,提出了将过程控制逻辑进一步分解为路由逻辑与管理逻辑的思想,提出了描述管理逻辑的企业资源模型并进行了形式化描述。结果通过把企业中的功能作为一种资源由资源管理系统进行管理,实现了路由逻辑与管理逻辑的分离,使过程定义与执行之间的耦合程度大大降低。结论基于企业资源模型的业务过程管理系统,具有模块更清晰、柔性更突出、分解粒度更小等优势。     

基于业务流程的数据库应用系统优化

系统的优化在软件开发和维护中必不可少,基于数据库的应用系统更是需要进行优化。传统的系统优化方法：包括硬件的升级,基于数据库及程序理论的优化可以解决大部分的问题。提出了一种基于业务流程的数据库应用系统优化的方法及处理模式。通过对比及分析业务流程及应用软件的处理流程,找出系统的瓶颈所在,制定优化方案,最终解决问题。     

业务过程模型驱动的网格工作流互操作机制

从工作流调度模型、工作流映射模型和业务过程评价模型等角度，建立了业务过程模型驱动的动态网格工作流的互操作机制．通过不同层次的业务过程模型，驱动支持企业间集成的全局工作流机、支持企业内异构平台集成的工作流机、企业内同一平台下的工作流机，建立工作流调度模型，解决面向业务流程的动态集成问题；通过建立业务工作流、抽象工作流、执行工作流的映射模型，解决复杂业务工作流到执行工作流的映射与纵向式集成问题；通过建立业务过程选择模型，解决企业业务过程在动态联盟合作伙伴间的评价、动态选择与共享问题．     

卡银行系统业务模型的分析和建立

笔者针对卡银行系统进行业务建模,得到卡银行系统的概念模型、逻辑模型和物理模型。通过探讨卡银行系统业务系统架构以及业务流程实施方法,阐述了采用标准化流程引擎实现SOA架构的系统整体解决方案。研究还讨论了流程引擎的抽象模型以及三种主流开源工作流引擎,并比较了各自的优劣。以上研究的成果验证了本实验室自创并一直沿用的SOA三层模型建模方法的有效性。