基于服务虚拟化的业务编程模型

为了提高电子商务系统的敏捷性,降低对维护、构建新业务的人员的IT技术要求,在整合了服务管理代理功能的基础上,提出在业务人员与服务管理代理之间插入一个服务虚拟化层,构建基于服务虚拟化的业务编程模型,以实现业务人员按业务逻辑需求可以敏捷地构建系统的新功能,实现业务编程。     

面向服务的企业架构

定义了面向服务的企业架构、业务过程和活动类型,分析了企业架构内涵的演化、概念框架和服务视角,并在传统企业建模、IT规划和企业架构的基础上提出了面向服务企业架构及其规划过程,为分析面向服务环境下企业的业务、IT及其一致性提供了公共的理解和交流基础,有助于企业实时监控IT架构运营状况,进而预测、评估和优化企业业务过程性能,实现企业间的业务过程协作建模与执行.     

六西格玛：ITIL的质量助手

ITIL使企业建立一致的流程,六西格玛为完善流程和服务质量提供工具和方法;ITIL是IT人员熟知的,六西格玛是业务人员熟知的,两种方法结合能明显推进IT进一步与业务集成。     

技术与“奥运精神”的异曲同工之妙

企业中不同层级人员有不同的业务职能．需要通过IT系统实现不同的业务支撑，但是针对工T运维管理的要求．业务人员对其的诉求更与“更快、更高、更强（Faster，Higher，Stronger）的“奥运精神“不谋而合。     

面向性能分析和优化的多业务过程仿真方法研究

针对业务过程性能分析和优化多侧重于对已部署的业务过程进行事后的性能监控、管理和数据分析等问题,详细分析了业务过程性能和仿真优化的研究进展,提出了一种与企业模型和工作流模型相兼容的集成化业务过程仿真建模方法（IBPSM）,并设计了支持IBPSM的多业务过程仿真工具（MBPST）原型系统。最后给出了一个具体的应用案例。实践表明这种事前的基于多业务过程仿真方法提供了业务过程性能的仿真分析与优化;同时可对优化后的业务过程进行快速部署,有利于业务过程的信息化实现。     

流程业务化定制中的工作流建模方法研究

针对流程业务化定制的需求,提出了一套面向业务人员的、直观易用的工作流建模方法.首先定义了一种基于有向图的工作流模型.在该模型的基础上,通过设置建模规则来规范业务人员的建模行为,使得无需模型验证就能够保证所建过程模型的正确性,从而回避了传统的有向图方法在模型分析方面的缺陷.最后将这套建模方法转化为Petri网的形式来描述,并利用Petri网的分析技术证明了该方法的可靠性.     

业务建模五步法研究

业务建模需要解决的首要问题是在业务理解一致的情况下如何做到不同业务人员可以建出相同的模型。本文针对这个问题,对业务建模过程设定了五个步骤,其目的是规范模型建设流程,同时保障业务模型向需求模型过渡。     

业务过程建模中冲突消解的研究

业务过程建模是整个工作流管理的基础,在工作流执行之前,需要对业务过程模型进行分析和检测,对含有冲突的模型进行冲突消解,以协助建模人员修改业务过程模型。介绍了冲突的体系结构,对近年来在冲突消解方面的研究进行论述,并提出了含有二级检测机制的冲突消解工具结构,为业务过程模型的分析提供依据。     

基于知识的可变业务流程建模模型

为满足虚拟企业业务流程经常调整的需求,需采用一种可变的业务流程建模模型,便于业务人员在不需IT人员干预的情况下能够对已有业务流程进行修改或重新搭建新的系统。提出了一种基于知识的可变业务流程建模模型,采用业务模板与规则知识库,通过对业务目标分析、检索业务模板,从而定制新的业务流程。在建模过程中使用规则引擎对规则进行校验。业务人员不需对已有业务流程进行大规模重建,提取相应模板进行组合配置即可。     

基于工作流的业务过程建模研究

业务生成环境是实现信息系统的快速开发、提高业务运行维护效率的必要工具,其中业务过程的建模是业务生成环境中最为重要的方面。该文研究了工作流技术中的业务过程描述方式,设计了一个业务过程模型,并对其结构正确性和语义正确性进行了证明和分析。     

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

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

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

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

工作流管理系统的流程柔性动态变更研究

为解决工作流管理系统中流程柔性演进变化问题,结合业务模型生命周期和业务流程模型变更管理的特点,提出了一个支持业务流程动态更新模型和业务流程实例动态迁移算法。在该算法中引入区域划分法,在迁移之前进行相关数据一致性检查和影响区域比较,通过该算法实现流程实例动态调整,以适应新的变种。最后基于该算法和一工作流管理系统平台,通过一个案例来演示业务流程动态更新的过程。     

Developing a Theory to Explain the Insights Gained Concerning Information Systems and Business Process Behaviour: The ASSESS-IT Project

Business Process (BP) literature promotes the value of business processes as essential gearwheels that help organisations to reach their goals. Similarly, many process design approaches claim that information technology is a major enabler of business process, a view also shared by the Information Systems (IS) community. Despite this, BP and IS approaches do not provide clear guidance on how to coordinate the design of BP and IS. Nor is any indication of which modelling techniques could be used to detect and design IT opportunities within a business process context given.The ASSESS-IT project examined this domain and proposed the use of simulation techniques to achieve BP and IT integration. The outcome of this project gave indication that depicting the dynamic behaviour of IS could be very helpful for BP modellers to predict the impact that the insertion of IS may have on organisational processes. This paper proposes a simulation framework to depict IS behaviour within a BP simulation model, namely BPS/ISS, and tests it using the case study that was part of the ASSESS-IT project.     

一种针对统一流程引擎的安全设计模型

以企业级IT架构为着眼点,对基于SOA的统一流程引擎的安全问题进行研究。对网络、服务、应用等多个层面的安全问题全面分析,提出了NSA模型。该模型实现了多层次的安全防御架构,能与企业级IT架构能够很好的结合。通过在金融系统的统一流程引擎建设中的实践,对模型进行了验证,并在模型中引入改良的智能神经网络结构,优化入侵检测的效能。     

业务过程协同中数据恢复策略建模及分析

业务过程协同允许组织之间彼此进行通信,交互和协作以完成特定的业务目标。为了确保实施的正确性和一致性,需要对业务过程协同进行建模和分析,但现有的工作鲜有关注于从架构的视角和数据的层次来对其进行讨论。为此,首先提出了一种“代理端 盟主端”业务过程协同架构;其次,通过对该协同架构进行分析,提出了一种业务过程协同的数据恢复通用模型;最后,基于该通用模型,提出了数据恢复策略模型,以此为基础提出了五种数据恢复策略并采用随机Petri网对其进行建模与仿真。实验结果表明,采用最短队列随机恢复策略能够使得业务过程协同应用在协同中确保高的系统吞吐量、快的响应时间及低的拒绝率。     

基于有色Petri网的经营过程建模

在经营过程重组（BPR）的过程中,利用仿真工 具对经营过程建模与仿真分析,被认为是快速和顺利实施BPR的必要手段．目前大多数BPR支 持工具局限于对过程的仿真,而Petri网则因其严格的数学定义和丰富的分析方法,不仅能 够仿真过程的性能参数,还可以对过程的结构进行分析,从而在过程诊断和重组方案的设计 中发挥重要作用．将有色Petri网应用于经营过程建模,可以较好地描述经营过程的不确定 性、并发性和资源共享等问题,并解决模型中存在的冲突、死锁等问题,同时避免了普通Pe tri网过于复杂的缺点．     

基于AHP和系统仿真的面向服务业务过程性能评价

首先,分析了面向服务环境下业务过程(SOBP)性能评价的新需求,并从业务与IT两个层面指出了现有评价方法的片面性;然后从业务、应用系统和IT基础设施三个层次提出了SOBP的性能度量指标及其基于AHP和系统仿真的性能综合评价方法;最后通过一个案例验证了该方法的正确性、可行性及其在服务选择和性能评价方面的全面性。     

Business Processes Verification for e-Government Service Delivery

Domain experts knowledge represents a major source of information in the design and the development of user-centric and distributed service-based applications, such as those of e-government. Issues related both to the communication among domain and IT experts, and to the implementation of domain dependent requirements in service-based applications, have to be carefully considered to support both Public Administrations efficiency and citizen satisfaction. In this article, we provide as user-friendly approach toward business process assessment via formal verification. Starting from a semi-formal notation, well understood and largely used by domain experts, we provide a mapping to a formal specification in the form of a process algebra. This transformation makes possible formal and automatic verification of desired quality requirements. The approach has been already applied, with encouraging results, in the e-government domain to verify the quality of business processes related to the delivery of e-government digital services to citizens. Moreover, the approach is supported by a plug-in for the Eclipse platform permitting to have an integrated environment in which to design the process model and to assess its quality.