一种基于模型精化的业务流程开发方法

如何高效组织建模过程和提高业务流程的重用效率是现代业务流程建模和再造过程中亟待解决的问题。传统的业务流程建模方法面向角色组织建模人员、面向单一实例组织流程制品,无法有效组织多人协作、降低流程重用成本。讨论了基于模型精化的流程建模方法,该方法基于流程模型的抽象级别组织建模人员和流程制品。研究还设计实现了使用该方法进行流程开发的分布式业务流程开发平台DMRB-BPMA,用于帮助企业规范和优化建模过程,通过内置的任务分发和流程合并机制有效地组织建模人员进行协作,指导其高效完成业务流程制品的重用。     

面向跨组织业务流程的服务组合策略

动态服务组合为跨组织业务流程的快速开发提供了重要技术支撑.传统的集中规划的组合方式不能很好适应开放环境所提要求.提出一种基于分布式层次任务网络的服务组合策略,分析了实现该策略的组件的结构和功能,并定义组件间的Web服务接口,给出该策略下跨组织流程的开发方式,并以应用实例说明该策略对开放组织之间业务流程开发的有效支持.     

基于网格架构的分布式内容分发模型

提出了一种新型的基于网格架构的分布式内容分发模型：内容分发网格.给出了内容分发网络的层次架构,分析了架构中的内容服务VO协作机制.进而论述了新型服务模型包含的元件,元件之间的关系,提供的关键服务和性能评估参数体系.最后进一步阐述了该领域未来需要重点突破的研究方向.     

异构网络管理系统间分布式协作机制*

从全局全网出发对通信业务进行提供和保障,要求作为支撑体系中的网络管理系统之间能够动态协作。而分布式协作方式相对于集中式协作方式具有性能和可扩展性等方面的优势。分析了网络管理系统对分布式协作的需求,在一个基于Web services的动态协作网络管理体系结构的基础上,将网络管理系统间的协作转换为由网络管理系统提供的管理服务之间的协作,定义了异构网络管理系统之间的分布式协作机制,设计并实现了一个原型系统来验证该分布式协作机制。     

支持JSR286和WSRP2.0规范的Portlet协作的设计

JSR286规范定义了本地Portlet之间的协作方式,WSRP2.0规范定义了远程Portlet之间的协作方式,但两者并未深入涉及远程Portlet和本地Portlet之间的协作问题,降低了Portlet的交互能力。针对这点不足,在WSRP2.0规范定义的事件分发及状态分发等协作机制基础上,设计了一个消费者门户主导的联邦协作框架。在该框架中,通过协作信息转换和协作服务作为中介,通过消息队列进行消息存储、消息验证和消息处理,实现了Portlet容器和代理容器的松散耦合,并支持远程Portlet和远程Portlet之间、远程Portlet和本地Portlet之间、本地Portlet和本地Portlet之间的协作。该框架与JSR286规范和WSRP2.0规范兼容,满足WSRP2.0模块的可插拔性,并具有良好的可扩展性和可移植性。     

分布式业务流程实时一致性分析方法

业务流程的实时性是业务流程可靠运行的重要指标,实时一致性分析是保证业务流程高效执行的关键。针对分布式业务流程对实时性的要求,提出时间业务流程图的概念,并规定协作业务流程的组合建模方法。定义时间业务流程图的结构正确性,并给出正确性分析方法。在结构正确的基础上,对业务流程的实时性进行分析,判断协作业务流程的时间执行是否满足一致性,从而为保证业务流程的实时可信提供了一种有效的技术途径。     

基于服务协作中间件的动态流程模型

新兴的面向服务体系结构正在加速软件的发展和变化,无法适应动态环境的应用将逐渐失去作用,尤其对那些面临着需求频繁变更的业务流程管理系统而言更是如此.为了响应这种现实需求,基于Web服务和业务流程管理技术,提出了服务协作中间件(service cooperation middleware,简称SCM)模型,探讨了其内部机理与协作流程元模型的形式化.通过引入模型转换,扩充流程状态空间,定义了动态流程模型,动态流程的结构重构和行为自适应可以借助SCM的反射能力得以实现.针对SCM模型,设计了流程虚拟机(prrocess virtual machine,简称PVM),流程在运行时由PVM控制执行.借助于模型驱动机制,业务流程可从设计到运行不断地进行模型变换.由此建立的业务流程能够更灵活、更广泛地适用于各种开放环境,提升企业分布计算.     

基于Pi-Calculus的跨组织工作流建模方法*

针对跨组织协同环境下的业务流程建模技术的不足,提出了一个新的用于跨组织业务流程的形式化建模方法。首先根据工作流管理联盟（WfMC）的有关工作流过程定义接口规范,利用PiCalculus技术对跨组织业务流程结构进行了形式化定义。此外,利用PiCalculus特有机制对并发流程及其之间的通信进行描述。提出的方法可以有效用于不同业务流程间的协同工作,并且适合于对分布式协同环境下的工作流进行建模。     

基于分布式协调模型的服务协作方法研究

由于服务是由彼此独立的提供商开发的,无法在开发阶段就预测到其潜在的所有交互可能,因此需要在实际协作时检查服务之间的兼容性,从而保障协作的正确性和一致性.提出了一种基于分布式协调模型的方法,以提高服务的可复用性和服务协作的灵活性.该方法通过失败等价(failure-equivalent)行为语义保持的投影规则,将协作流程转换为协作子流程,以实现分布式的成对兼容性检查,并提出基于适配的检查方法,检验服务是否可以通过适配机制满足兼容性的要求,同时给出了适配器自动生成的算法.适配机制的引入进一步降低了服务与协作环     

网格工作流模型和协同机制的研究与实现

网格技术为分布式的资源和服务共享提供了一个标准的平台,工作流在将网格资源和服务组合起来完成较复杂的业务流程具有独特的优势,协同机制保证了分布的组织／个人高效协作的完成工作。在对这三者充分研究的基础上提出了一个基于网格平台的协同工作流模型,探讨了在网格平台上服务、资源协同机制的应用,初步实现了可定制的协同的网格服务流程。     

支持业务事务验证的服务协调模型

在Web服务业务流程中如何保证参与者之间的协调一致性是亟待解决的重要问题.Web服务事务规范中描述的参与者之间的交互消息缺乏严格的语义,无法精确地描述复杂的协调活动,本文用Pi-演算形式化描述WS -TX规范中定义业务活动事务的WS-BA协议,在此基础上建立了适用于多方参与的业务事务的服务协调模型;并利用基于等价自动机转换的HAL模型检测工具,验证分析了WS-BA协议的安全性和活性,给出一个多方参与的业务事务实例的验证过程,介绍如何利用模型检测技术来分析业务流程设计正确性的方法,有效地确保了业务事务执行的可靠性和一致性.     

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

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

Constructing scalable Internet of Things services based on their event‐driven models

Even though many IoT (Internet of Things) applications have been implemented based on distributed events, how to construct scalable IoT services is still unclear. In this paper, we first discuss representing physical entities as IoT resources in the cyber world and integrate them into IoT services and then use an event session mechanism to express the coordination logic in an IoT service system. Given their event‐driven models, the scalable IoT services are constructed through decoupling one service at behavior from others, where running atomic service instances with high concurrency is our first focus, and distributed execution of an IoT business process is our second focus. Our last focus is to make each distributed business process execution unit hold its properties in the whole process, which requires modeling the environment as a prerequisite to compute its properties, and some assume‐guarantee rules for composing the services from the environment's perspective. We then propose a platform to support the construction, where according to the behavior decoupling features, one IoT business process is decomposed into pieces of event composition logic and business computation logic, together with separating the data dependency of computation functions in each process fragment, such that it can be concurrently executed and distributed. A practical application is implemented to concept‐prove our work. Copyright © 2015 John Wiley & Sons, Ltd.     

A distributed architecture for policy-customisable multi-tenant processes-as-a-service

Service-based business processes are often developed and deployed by single organisations. In distributed, shared resource environments like the cloud on the other hand, consumers share resources owned by cloud providers. This requires multi-tenancy capability for service processes that provide customised behaviour on shared process implementations to meet the varying needs of different process consumers as tenants of the process resource. In this paper, we define a distributed multi-tenant architecture for Business Process Execution Language (BPEL) processes provided as a service. A single-version BPEL process is deployed by a provider and offered for all process consumers, combined with a customisation and management functionality to create a unique experience for different consumers (process tenants). We provide two core components: a policy model for consumers to express customisation/business requirements of service processes and a coordination framework for policy enforcement between consumers and providers to achieve on-the-fly customisation of service processes.     

Execution system for distributed business processes in a virtual enterprise

New cooperative approaches for manufacturing and service industries, as represented by the virtual enterprise paradigm, are enabled by the recent advances in communication technologies, computer networks, and logistics. The implantation of this paradigm requires the design and development of a flexible execution environment to support the distributed business processes that materialize the cooperation in a network of enterprises. A configurable architecture for such execution system is proposed focusing the support for multi-level process coordination. A set of examples to illustrate the adopted concepts and developed tools are discussed.     

基于多Agent协商的服务流程定制

针对复杂业务需求,提出了基于多Agent协商的服务流程定制模型、算法和系统．首先介绍了该模型及其支持系统的框架以及服务Agent的结构和工作原理;然后在将业务需求满足定义为分布式柔性约束满足问题的基础上,提出了基于多Agent协商的求解算法并介绍了一个应用案例;最后,给出了一个原型系统．该模型和系统能够对复杂的业务需求进行建模和求解,从而寻找到合适的服务,满足了服务流程定制的需要．     

基于JADE的企业商务智能服务代理平台

为解决电子商务平台在异构和分布环境下计算实体的协作和协调、快速有效的信息收集及平台的智能化等问题,提出基于移动Agent在JADE上的企业商务智能服务代理平台体系结构模型和实现方法,给出基于多移动Agent的商务服务竞标算法流程和服务实体的行为交互过程,结合实际的应用验证,表明该服务代理平台系统在实际应用中的可行性与有效性。     

基于G2G信息共享需求识别的G2B业务流程设计研究*

为了给公众和企业提供更好的服务,给政府决策者提供更准确及时的支持,政府部门间G2G信息共享势在必行。然而,由于政府业务繁多且程序复杂,许多政府部门对政府信息分布及共享需求并不清晰,给电子政务流程设计造成了一定的难度。为此,试图从跨组织信息资源管理的角度出发,首先对G2B传统业务流程中业务依托信息和产生信息进行分析,以确定各职能部门的信息需求状况;其次,通过分析不同部门间的业务信息关系,分别建立依托信息与依托信息、依托信息与产生信息以及产生信息与产生信息三种信息交集关系,从而识别部门间信息共享需求并分析可能     

Process fragmentation,distribution and execution using an event-based interaction scheme

The combination of service oriented architectures and business processes creates an enactment environment in which processes can be deployed and executed automatically. From a managerial and technical point of view, the interpretation, control and execution of a process flow happen very often at one point in the organizational and IT structure. This creates an inflexible environment in which control over and visibility of cross-departmental processes cannot be distributed across these organizational entities. Although the process model may need to be designed as a whole (to have an end-to-end definition), the actual execution of the process may need to be distributed across all participating partners. There are several ways to achieve this distribution. In this paper, we look at an event-based process deployment and execution infrastructure in which a process model can be automatically partitioned and distributed over different enactment entities, provided some given distribution definition. We compare the performance and flexibility of the proposed technique with other approaches and discuss the potential advantages and drawbacks of the event-based distribution.     

基于BPEL和ws-Tx的Web服务组合事务协调框架研究

针对当前Web服务事务协调框架中缺乏对服务组合流程定义的支持而需要在协调过程中手动定义业务流程的问题,提出了一种支持流程和事务语义自动抽取的服务组合事务协调框架。该框架从扩展了事务语义的业务流程执行语言(Business Process Execution Language,BPEL)中抽取协调信息,并结合Web服务事务规范(Web Services Transaction,WS-TX)所定义的协调器实现了服务组合的全局事务协调。通过将WS-TX在事务协调和BPEL在业务流程设计方面的优势相结合,该框架将业务逻辑与事务处理逻辑有效地分离。最后通过实例分析说明了该框架的可行性。