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

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

基于重构规则的企业应用系统影响分析方法

企业应用系统需进行频繁重构以响应变化，如何保证重构的完备性和正确性是重构工程中需要解决的一个关键问题。重构需求作用于业务模型，进而映射为相应软件系统的变化。该文给出了基于业务规则的业务元模型与重构元模型，并基于该模型简要地描述了应用系统的统一重构过程。随之对重构操作进行了分类，定义了重构规则的表达形式，并给出了基于重构规则的影响分析方法。最后给出了应用实例。     

面向MDA的业务逻辑模型到代码的转换方法研究

业务逻辑自动生成是代码自动生成领域中一个匾待解决的问题。为了解决这个问题,分析了业务逻辑难于生成的原因,在MDA的基础上引入产生式规则的思想,研究PSM模型到代码的转换过程。提出一种基于产生式规则的建模方法对逻辑中业务规则及业务流程进行建横,并基于产生式系统原理,对代码生成器进行设计与实现。基于本方法实现的代码生成器,实现了业务规则及业务流程模型到代码的转换,使目标代码业务逻辑与数据分离,一定程吱上解决了业务逻辑代码自动生成问题。     

基于本体规则的模型转换的研究

本文实现了统一建模语言(UML)描述的模型与企业过程建模系统(EPMS)模型之间的转换。UML的特点是便于建模,主要用于对软件的描述,不能进行模拟执行和优化。EPMS对业务过程进行建模,用于过程模型建造和过程模型模拟,支持过程仿真、分析和优化。模型之间的转换需要建立相应的转换规则,采用本体的思想描述规则,将编写规则的程序从映射程序中分离出来,实现规则与映射的解耦。源模型通过基于本体规则的映射程序处理转换为目标模型,领域专家就可管理、维护和修改基于本体的规则,减少了专业编程人员维护映射程序的工作。     

一种适合于电子政务中业务处理的过程模型

目前，电子政务系统一般通过业务过程模型支持电子政务业务处理，而当前已有的业务过程模型在灵活性和安全性方面尚存在不足。为此，提出了一种适合于电子政务中业务处理的过程模型，它将多变的业务规则从过程流中分离出来，通过耦合机制实现业务规则与过程流的结合。该模型简化了过程流的定义，使过程流的变更相对容易，而且可以在不改变过程流的情况下独立、便捷地维护业务规则，确保业务处理的安全性。最后给出了一个使用该模型的电子政务业务处理应用实例。     

扩展UML类图的业务建模方法

本文在目前UML业务建模的方法基础上把UML业务类图从概念层向说明层进行扩展,运用情景矩阵描述业务规则,从而对业务过程建模,达到更好地支持业务模型向软件模的转化的目的.最后对建模方法进行了举例说明.     

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

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

基于规则的企业模型一致性检查

随着各种全新的制造理念的出现和信息技术的发展，企业模型的规模不断扩大，使得采用人工方式进行企业模型检查不仅耗时长，而且检查的完整性和正确性也难以保证。本文针对此问题，设计了一个基于规则的企业模型检查系统，并针对构件化企业建模系统（CEMS）定义了一个较为完整的规则库。     

基于业务规则多角色审批构件的研究

针对信息系统中业务审批流程受人为影响因素和复杂多变的问题,提出了一种基于业务规则的自定义审批构件模型,该模型在审批的过程中考虑到多角色审批权限的设置,并引入模式匹配算法进行业务规则匹配,很好的解决审批过程中出现的业务流程突变问题,实现审批流程中的自定义化和柔性化。结合某集团企业的人力资源系统中审批工作的实际情况,开发了原型系统,并得到初步验证。     

基于多个域的UML模型的一致性检测

任何模型的表示都是要有意义的、一致的，通常的解决办法是加强约束。给出了在当前软件开发过程中的解决方案。约束和语义的关系是一致性检测的基础。对建模过程中模型受到的各个域的约束进行分级：从专家系统的知识根基中引入即成建模规则并且用约束构造型定义了不一致性的类型、级别和严重程度，因此可以向用户发出警告并且帮助用户改正甚至完善模型。     

Guidelines for Business Rule Modeling Decisions

Business process models are used heavily in practice as a basis for process improvement, systems development, and understanding business operations. While prior research has identified a clear need for integrating business rules into graphical business process models, there is little guidance on the circumstances under which business rules should be integrated into business process models. Unnecessary integration may hamper business rule reuse, increase business process model complexity, and lead to difficulties with business rule modification, to name a few. Accordingly, it is important to understand when such integration is appropriate. The aim of this article is to address this need for guidance on when business rules should be integrated in process models, and when they should remain separate. To this end, we explain 12 factors posited to influence such modeling decisions, conduct an empirical study to identify their importance, and develop empirically based modeling guidelines that inform business rule modeling decisions.     

基于层次泳道的业务流程最优化建模

业务流程技术是企业管理、应用和集成领域的一个研究热点,而业务流程建模是其应用中的关键问题之一。针对流程建模自动化程度低、缺乏有效评价等不足,提出了基于层次泳道的最优化建模方法。该方法只需给出流程各活动的描述,便可根据活动间的推演关系自动构建流程全图;然后对可能流程进行层次泳道化;最后,综合流程的执行代价和泳道的均衡度,从层次泳道化模型中选择最优者为最终的业务流程建模。结合遗传算法对港口集装箱业务流程进行了最优化建模。实际应用表明,该方法建立的业务流程能有效地均衡码头的业务负载,提高码头的作业效率。     

基于MFFC信息系统分析与设计方法

该文首先分析了信息系统开发中传统业务流程描述方法———DFD、IDEF0在业务流程描述中存在的不足,强调了经营管理领域中活动主体在业务流程建模中的重要作用,介绍了一种新的业务流程描述方法,及其与计算机应用系统模型的映射关系,最后给出一个应用实例。     

智慧家庭服务系统过程建模与设计

智慧家庭服务系统是现代服务计算和云计算环境下服务系统的新形态和新应用,对智慧家庭服务业务过程的分析、建模与设计问题进行了研究。介绍了智慧家庭的新理念,提出了智慧家庭服务系统的体系结构。在详细分析家庭服务业务过程基础上,提出了基于BPMN建模语言的智慧家庭服务过程建模方法。最后以具有典型性的采购服务为例,建立了服务过程模型,并给出了设计与实现方案。     

A systematic literature review of studies on business process modeling quality

ContextBusiness process modeling is an essential part of understanding and redesigning the activities that a typical enterprise uses to achieve its business goals. The quality of a business process model has a significant impact on the development of any enterprise and IT support for that process.ObjectiveSince the insights on what constitutes modeling quality are constantly evolving, it is unclear whether research on business process modeling quality already covers all major aspects of modeling quality. Therefore, the objective of this research is to determine the state of the art on business process modeling quality: What aspects of process modeling quality have been addressed until now and which gaps remain to be covered?MethodWe performed a systematic literature review of peer reviewed articles as published between 2000 and August 2013 on business process modeling quality. To analyze the contributions of the papers we use the Formal Concept Analysis technique.ResultsWe found 72 studies addressing quality aspects of business process models. These studies were classified into different dimensions: addressed model quality type, research goal, research method, and type of research result. Our findings suggest that there is no generally accepted framework of model quality types. Most research focuses on empirical and pragmatic quality aspects, specifically with respect to improving the understandability or readability of models. Among the various research methods, experimentation is the most popular one. The results from published research most often take the form of intangible knowledge.ConclusionWe believe there is a lack of an encompassing and generally accepted definition of business process modeling quality. This evidences the need for the development of a broader quality framework capable of dealing with the different aspects of business process modeling quality. Different dimensions of business process quality and of the process of modeling still require further research.     

From fine-grained to abstract process models: A semantic approach

Organizations actively managing their business processes face a rapid growth of the number of process models that they maintain. Business process model abstraction has proven to be an effective means to generate readable, high-level views on business process models by showing coarse-grained activities and leaving out irrelevant details. In this way, abstraction facilitates a more efficient management of process models, as a single model can provide for many relevant views. Yet, it is an open question how to perform abstraction in the same skillful way as experienced modelers combine activities into more abstract tasks. This paper presents an approach that uses semantic information of a process model to decide on which activities belong together, which extends beyond existing approaches that merely exploit model structural characteristics. The contribution of this paper is twofold: we propose a novel activity aggregation method and suggest how to discover the activity aggregation habits of human modelers. In an experimental validation, we use an industrial process model repository to compare the developed activity aggregation method with actual modeling decisions, and observe a strong correlation between the two. The presented work is expected to contribute to the development of modeling support for the effective process model abstraction.     

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

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

基于组件的B2B电子商务系统建模研究

本文简单介绍了面向对象建模技术现状和统一建模语言（UML），并从讨论B2B电子商务系统的设计要求出发，分析了组件技术的特点和优势，提出采用组件来封装业务规则并构造商务对象，最后结合项目“电子商务试验室系统”中的B2B招标子系统的实例，着重介绍了在基于组件的B2B电子商务系统中的建模步骤与方法。     

Modeling and execution of event stream processing in business processes

The Internet of Things and Cyber-physical Systems provide enormous amounts of real-time data in the form of streams of events. Businesses can benefit from the integration of these real-world data; new services can be provided to customers, or existing business processes can be improved. Events are a well-known concept in business processes. However, there is no appropriate abstraction mechanism to encapsulate event stream processing in units that represent business functions in a coherent manner across the process modeling, process execution, and IT infrastructure layer. In this paper we present Event Stream Processing Units (SPUs) as such an abstraction mechanism. SPUs encapsulate application logic for event stream processing and enable a seamless transition between process models, executable process representations, and components at the IT layer. We derive requirements for SPUs and introduce EPC and BPMN extensions to model SPUs at the abstract and at the technical process layer. We introduce a transformation from SPUs in EPCs to SPUs in BPMN and implement our modeling notation extensions in Software AG ARIS. We present a runtime infrastructure that executes SPUs and supports implicit invocation and completion semantics. We illustrate our approach using a logistics process as running example.     

The importance of business process modeling in software systems design

Despite diligent efforts made by the software engineering community, the failure of software projects keeps increasing at an alarming rate. After two decades of this problem reoccurring, one of the leading causes for the high failure rate is still poor process modeling (requirements’ specification). Therefore both researchers and practitioners recognize the importance of business process modeling in understanding and designing accurate software systems. However, lack of direct model checking (verification) feature is one of the main shortcomings in conventional process modeling methods. It is important that models provide verifiable insight into underlying business processes in order to design complex software systems such as Enterprise Information Systems (EIS). The software engineering community has been deploying the same methods that have haunted the industry with failure. In this paper, we try to remedy this issue by looking at a non-conventional framework. We introduce a business process modeling method that is amenable to automatic analysis (simulation), yet powerful enough to capture the rich reality of business systems as enacted in the behavior and interactions of users. The proposed method is based on the innovative language-action perspective.