基于Pi验算的信息化系统流程研究与设计

软件建模是把现实世界的需求抽象成概念模型,软件编码是把概念模型转变成能够运行的代码,在建模阶段,针对传统的UML即统一建模语言对信息系统业务流程的建模,无法严谨地定义和模拟信息系统的业务流程,不能保证流程本身的正确性和一致性等问题.以物流订单流程为例,研究BPMN表达业务流程及与形式化语言之间的转换,用形式化描述语言Pi演算描述和验证BPMN已描述的信息系统业务流程,通过JPDL直接定义出已通过Pi演算验证的订单流程,并应用于工作流引擎JBPM中,从而保证应用系统业务流程的正确性.     

基于BPMN2.0在电力营销业务建模实践研究

随着新能源接入和需求管理等新业务发展,从业务管理流程和业务操作流程上对电力营销业务带新的机遇,同时对信息化支撑带来了挑战,如何将业务流程变化快速在信息化系统中实现,成为业务和信息化融合的关键点.本论文基于BPMN2.0在电力营销业务建模实践进行总结,实现业务标准化建模,最终支撑信息化快速实现.     

基于Activiti5引擎的售后业务信息平台

随着网络信息技术的发展,一些传统的依据工作流技术的产品已经无法满足企业的需要,尤其是对变化的流程类型,同时也缺乏开放性和集成性等问题从而不能很好的适应公司的业务需求。该系统总体架构采用S2SH框架,引入Activiti5引擎对系统流程进行管理,这样可以减少企业运行成本,提高管理效率,增强各部门协同办公能力。该系统从实际出发,以公司的售后业务信息系统为例,详细介绍S2SH框架和Activiti5引擎整合的优势以及实现细节。     

通过基于SOA的业务系统融合平台,整合企业信息化应用

随着当前企业信息化应用的不断深入,企业引进了各种针对不同业务场景的信息化系统,但由于企业自身的需求是不断演进的,同时,企业信息化系统建设也往往是循序渐进的建设的,在这个跨度较长的过程中,由于各信息化系统有各自针对的管理范畴、信息系统建设初期需求挖掘不到位、各应用系统间技术架构不统一、企业自身管理模式、业务流程发生改变等原因,导致各信息系统间数据不融通、业务流程不能对接,造成了若干的信息孤岛和流程孤岛。为了解决这一问题,在实践中我们尝试使用基于SOA的业务系统融合平台将各业务系统的数据和业务流程联接起来,化解数据孤岛难题,使各个业务系统可以联动,另外,通过工作流系统灵活的可定制性,也使企业的业务流程可以随需应变。     

Towards an Interoperable Metamodel Suite: Size Assessment as One Input

In recent years, many metamodels have been introduced in the software engineering literature and standards. These metamodels vary in their focus across, for example, process, product, organizational and measurement aspects of software development and have typically been developed independently of each other with shared concepts being only accidental. There is thus an increasing concern in the standards communities that possible conflicts of structure and semantics between these various metamodels will hinder their widespread adoption. The complexity of these metamodels has also increased significantly and is another barrier in their appreciation. This complexity is compounded when more than one metamodel is used in the lifecycle of a software project. Therefore there is a need to have interoperable metamodels. As a first step towards engendering interoperability and/or possible mergers between metamodels, we examine the size and complexity of various meta-models. To do this, we have used the Rossi and Brinkkemper metrics-based approach to evaluate the size and complexity of several standard metamodels including UML 2.3, BPMN 2.0, ODM, SMM and OSM. The size and complexity of these metamodels is also compared with the previous version of UML, BPMN and Activity diagrams. The comparatively large sizes of BPMN 2.0 and UML 2.3 suggest that future integration with these metamodels might be more di±cult than with the other metamodels under study (especially ODM, SSM and OSM).     

基于BPMN的Web服务并发交互机制

如何抽象描述复杂业务流程的交互是服务计算研究的重要问题。大量的国内外研究虽然关注业务流程建模,但却忽略了建模过程中组件之间的并发交互描述和实现。针对Web服务并发交互,提出一种基于BPMN的Web服务并发交互的形式化模型。首先,采用BPMN描述业务流程中的并发交互模式;其次,将BPMN并发交互模式映射到Orc语言;最后,Web服务实例表明,所提方法可有效支持Web服务并发交互抽象建模。     

基于BPMN 2．0的业务流程集成平台研究与实现

阐述了国家电网公司（以下简称国网）信息化建设的现状,指出了国网对于流程集成以及对流程管理软件提出的需求,针对这一需求,提出了业务流程集成平台这一解决方案,论述了平台的主要构成部分,重点阐述了流程集成产品的架构设计思想以及该产品所遵循的BPMN标准,应用示例验证了该平台的可行性,最后说明了该流程集成平台对国网信息化建设的作用与意义。     

基于SOA的协同制造工作流建模方法

针对现代制造业跨平台、跨区域、跨企业的协同需求,提出一种基于SOA的协同制造工作流建模方法。该方法利用面向服务的SOA体系结构框架实现企业的协同工作,同时采用业务流程建模符号BPMN和流程执行语言BPEL4WS构建基于SOA的协同制造业务流程模型。最后结合一个具体应用实例详细说明该工作流建模方法的使用。     

从BPMN到可执行业务流程建模

传统的可视化业务流程模型通常都无法直接转换成可执行的流程,而利用业务流程建模符号(BPMN)建立的业务流程模型可以直接映射到业务流程执行语言(BPEL4WS),在业务流程执行引擎中直接运行,提高了从业务流程建模到执行的效率。介绍了BPMN的基本符号及其与BPEL4WS的映射关系,给出了利用BPMN建模一个第三方物流运作流程并实现的案例。     

面向复杂任务结构的Agent联盟算法

Agent联盟形成是多Agent系统的一个基本操作.多个Agent往往需要形成联盟来协作完成任务或者提高联盟体的能力.现有的Agent联盟算法并不考虑任务内部的结构.本文则考虑一类具有复杂内部结构的任务.任务由一组子任务构成,子任务之间存在着逻辑依赖关系,并且以BPMN的流程形式描述.本文还在此基础上加入了对相邻子任务之间的转移成本的考虑.并且本文提出了一种基于动态规划的多项式时间算法来解决此类加入了逻辑依赖关系和转移成本因素的Agent联盟问题.