共查询到20条相似文献，搜索用时 15 毫秒
1.
由于BPEL语言的XML表示十分冗长以及没有形式化的分析技术,其抽象级别不适合用于业务流程分析和设计.而业务流程分析师和设计者更容易接受高级别的抽象模式,例如BPMN(Business Process Modeling Notation).很多建模工具支持BPMN,但是到目前为止没有系统可直接执行BPMN模型.因此,需... 相似文献
2.
3.
4.
5.
支持复杂事件处理的业务流程建模研究 总被引：1，自引：0，他引：1
现有的流程建模语言缺少对复杂事件的支持.通过对BPMN进行扩展,提出一种事件的分层方法来表达业务过程中的基本事件和复杂事件.在此基础上进一步提出CE-BPM建模方法,并给出其形式化定义和图形化表示,增加了复杂事件和复杂事件处理网关的图形表示.最后通过实例来说明用BPMN建模时遇到的问题以及如何用CE-BPM建模解决问题的. 相似文献
6.
Existing techniques for automated discovery of process models from event logs generally produce flat process models. Thus, they fail to exploit the notion of subprocess as well as error handling and repetition constructs provided by contemporary process modeling notations, such as the Business Process Model and Notation (BPMN). This paper presents a technique, namely BPMN Miner, for automated discovery of hierarchical BPMN models containing interrupting and non-interrupting boundary events and activity markers. The technique employs approximate functional and inclusion dependency discovery techniques in order to elicit a process–subprocess hierarchy from the event log. Given this hierarchy and the projected logs associated to each node in the hierarchy, parent process and subprocess models are discovered using existing techniques for flat process model discovery. Finally, the resulting models and logs are heuristically analyzed in order to identify boundary events and markers. By employing approximate dependency discovery techniques, BPMN Miner is able to detect and filter out noise in the event log arising for example from data entry errors, missing event records or infrequent behavior. Noise is detected during the construction of the subprocess hierarchy and filtered out via heuristics at the lowest possible level of granularity in the hierarchy. A validation with one synthetic and two real-life logs shows that process models derived by the proposed technique are more accurate and less complex than those derived with flat process discovery techniques. Meanwhile, a validation on a family of synthetically generated logs shows that the technique is resilient to varying levels of noise. 相似文献
7.
介绍了业务流程研究的最新成果和对企业级应用集成的意义,分析了MVC实际应用中的缺陷,MVC和BPMN(Business Process Modeling Notation)在机理上的可衔接性,从而提出用BPMN辅助MVC建模,使基于MVC模型的应用结构更趋合理,并且更容易实现EAI. 相似文献
8.
ContextAlthough SPEM 2.0 has great potential for software process modeling, it does not provide concepts or formalisms for precise modeling of process behavior. Indeed, SPEM fails to address process simulation, execution, monitoring and analysis, which are important activities in process management. On the other hand, BPMN 2.0 is a widely used notation to model business processes that has associated tools and techniques to facilitate the aforementioned process management activities. Using BPMN to model software development processes can leverage BPMN’s infrastructure to improve the quality of these processes. However, BPMN lacks an important feature to model software processes: a mechanism to represent process tailoring.ObjectiveThis paper proposes BPMNt, a conservative extension to BPMN that aims at creating a tailoring representation mechanism similar to the one found in SPEM 2.0.MethodWe have used the BPMN 2.0 extensibility mechanism to include the representation of specific tailoring relationships namely suppression, local contribution, and local replacement, which establish links between process elements (such as in the case of SPEM). Moreover, this paper also presents some rules to ensure the consistency of BPMN models when using tailoring relationships.ResultsIn order to evaluate our proposal we have implemented a tool to support the BPMNt approach and have applied it for representing real process adaptations in the context of an academic management system development project. Results of this study showed that the approach and its support tool can successfully be used to adapt BPMN-based software processes in real scenarios.ConclusionWe have proposed an approach to enable reuse and adaptation of BPMN-based software process models as well as derivation traceability between models through tailoring relationships. We believe that bringing such capabilities into BPMN will open new perspectives to software process management. 相似文献
9.
过程的复用问题如同软件本身的复用性，具有同样重要的意义．提出了一种支持领域复用的过程元模型．借鉴OO技术中的类继承概念，以表示领域业务过程间的共性以及抽象-特化父子关系；通过参数化模板机制的使用，增强过程的抽象表示能力．据此设计了独立于具体平台的过程定义语言，通过映射机制可转换为特定的过程定义语言如WSFL、WPDL等，从而可被各种工作流引擎执行．实现了过程建模工具PM Builder． 相似文献
10.
余波 《计算机工程与科学》2013,35(2):74-80
针对应用规约自动测试BPEL表示组合服务时需要解决BPEL服务的规约生成问题,提出了一种从BPMN模型导出BPEL规范定义的组合Web服务的由代数规约语言CASOCC-WS表示的代数规约方法。首先,定义从BPMN模型转换成基调的规则和从BPMN结构转换成正则表达式的规则,设计由正则表达式导出构成公理的项的算法;然后,提出根据所得的项人工书写公理的启发式规则;最后,实现一个从BPMN模型导出组合服务基调的工具原型。案例研究表明,该方法可以解决BPEL服务的代数规约生成问题。 相似文献
11.
For decades, business process improvement (BPI) has been a persistent and expensive concern that spans across many industry sectors. We present OPM‐BPI—a model‐based method to improve business processes using ISO 19450—Object‐Process Methodology (OPM). The approach compares favorably to state‐of‐the‐art business process languages and approaches, such as Business Process Modeling Notation (BPMN). An aviation manufacturing company case study of safely removing a part from an aircraft and reinstalling it demonstrates the method. We show how using OPM‐BPI enables removing a large portion of the supporting objects, and how related processes can be eliminated or merged, achieving considerable model simplification that represents a significantly improved, more effective and less wasteful business process. 相似文献
12.
段盛 《计算机工程与设计》2008,29(12)
传统的商业建模方法存在无法为商业系统开发提供一个集成的"从概念到代码"的方案的缺陷,为解决在商业建模中存在的问题,提出了使用基于UML的商业建模方法.用实例阐述了该方法的具体步骤,并针对基于UML模型形式化复杂、验证难的问题,进一步提出了一种模型形式化的方法.应用实例和实验结果表明,基于UML建模方法和形式化方法能够减少商业建模的工作量,提高商业软件的开发效率及质量,较好地解决了商业建模中存在的问题. 相似文献
13.
The interplay between process and decision models plays a crucial role in business process management, as decisions may be based on running processes and affect process outcomes. Often process models include decisions that are encoded through process control flow structures and data flow elements, thus reducing process model maintainability. The Decision Model and Notation (DMN) was proposed to achieve separation of concerns and to possibly complement the Business Process Model and Notation (BPMN) for designing decisions related to process models. Nevertheless, deriving decision models from process models remains challenging, especially when the same data underlie both process and decision models. In this paper, we explore how and to which extent the data modeled in BPMN processes and used for decision-making may be represented in the corresponding DMN decision models. To this end, we identify a set of patterns that capture possible representations of data in BPMN processes and that can be used to guide the derivation of decision models related to existing process models. Throughout the paper we refer to real-world healthcare processes to show the applicability of the proposed approach. 相似文献
14.
由图形化流程建模语言生成可执行的业务流程语言(business process execution language,简称BPEL)时,对于源模型中顺序与并发结构交织的情况(称为交叠模式),传统的复制相关活动方法缺少系统分析及形式化描述.针对这一现状,提出基于工作流网的UML活动图生成BPEL方法,以自由选择工作流网作为活动图的理论基础,利用活的、有界的自由选择网系统的合成规则,定义合理的自由选择工作流网中的两种交叠模式,针对其中一种给出复制相关活动的形式化转换方法,并借助Petri网的并发正则表达式证明转换等价性,说明另一种交叠模式中复制相关活动方法的适用范围.针对BPEL流程建模及图形化流程语言生成块状语言过程中的交叠模式转换问题,给出形式化的描述与解决方法. 相似文献
15.
The modeling and management of business processes deals with temporal aspects both in the inherent representation of activity coordination and in the specification of activity properties and constraints. In this paper, we address the modeling and specification of constraints related to the duration of process activities. In detail, we consider the Business Process Model and Notation (BPMN) standard and propose an approach to define re-usable duration-aware process models that make use of existing BPMN elements for representing different nuances of activity duration at design time. Moreover, we show how advanced event-handling techniques may be exploited for detecting the violation of duration constraints during the process run-time. The set of process models specified in this paper suitably captures duration constraints at different levels of abstraction, by allowing designers to specify the duration of atomic tasks and of selected process regions in a way that is conceptually and semantically BPMN-compliant. Without loss of generality, we refer to real-world clinical working environments to exemplify our approach, as their intrinsic complexity makes them a particularly challenging and rewarding application environment. 相似文献
16.
Currently, inter-organizational process collaboration (IOPC) has been widely used in the design and development of distributed systems that support business process execution. Blockchain-based IOPC can establish trusted data sharing among participants, attracting more and more attention. The core of such study is to translate the graphical model (e.g., BPMN) into program code called smart contract that can be executed in the blockchain environment. In this context, a proper smart contract plays a vital role in the correct implementation of block-chain-based IOPC. In fact, the quality of graphical model affects the smart contract generation. Problematic models (e.g., deadlock) will result in incorrect contracts (causing unexpected behaviors). To avoid this undesired implementation, this article explores to generate smart contracts by using the verified formal model as input instead of graphical model. Specifically, we introduce a prototype framework that supports the automatic generation of smart contracts, providing an end-to-end solution from modeling, verification, translation to implementation. One of the cores of this framework is to provide a CSP#-based formalization for the BPMN collaboration model from the perspective of message interaction. This formalization provides precise execution semantics and model verification for graphical models, and a verified formal model for smart contract generation. Another novelty is that it introduces a syntax tree-based translation algorithm to directly map the formal model into a smart contract. The required formalism, verification, and translation techniques are transparent to users without imposing additional burdens. Finally, a set of experiments shows the effectiveness of the framework. 相似文献
17.
BPMN是一种基于图元的业务逻辑流程标记,既能给用户提供简洁直观的业务模型表示,又具有十分强大的流程逻辑表达能力,同时还具有一定程度的抽象性,所以非常适合业务分析人员在流程设计、定义、分析阶段使用.目前BPMN已经成为了一种在不同的部门、企业和经济实体之间描述、展示和交流业务逻辑流程的有效手段,并且越来越受到企业经营者、客户以及研究者的重视和青昧.现阶段,已经有了一些基于BPMN的流程定义工具,但是至今还极少有一个业务流程管理平台能够提供对BPMN的解析执行.另一方面,工作流语言BPEL(Business Pmcess Execution Language)已经成为了Web服务工作流技术事实上的标准,并且得到了众多厂商、研究机构的支持.针对上述问题,本文通过对BPMN规范、BPEL规范的详细分析,根据既满足业务流程分析人员从高抽象层次上设计流程又最终能够在一个平台上具体执行业务流程的需求,在分析了这两种规范之间的语义差异的基础上,研究了BPMN到BPEL映射的具体方法和机制,设计并实现了一个工作流映射系统. 相似文献
18.
提出了面向服务的企业应用与商务伙伴进行业务集成需要将基于企业服务总线的资源集成基础设施和业务流程集成方法结合起来,给出了一个通用的企业服务总线的参考模型,并对三种业务流程集成方法进行了分析和比较。通过一个基于Weblogic面向服务开发平台构建的企业门户应用中业务集成的实例,验证了基于企业服务总线与ebXML、RosettaNet或BPEL交互的可行性和优越性。 相似文献
19.
Wolfgang Emmerich Ben Butchart Liang Chen Bruno Wassermann Sarah L. Price 《Journal of Grid Computing》2005,3(3-4):283-304
Modern scientific applications often need to be distributed across Grids. Increasingly applications rely on services, such
as job submission, data transfer or data portal services. We refer to such services as Grid services. While the invocation
of Grid services could be hard coded in theory, scientific users want to orchestrate service invocations more flexibly. In
enterprise applications, the orchestration of web services is achieved using emerging orchestration standards, most notably
the Business Process Execution Language (BPEL). We describe our experience in orchestrating scientific workflows using BPEL.
We have gained this experience during an extensive case study that orchestrates Grid services for the automation of a polymorph
prediction application. Using this example, we explain the extent with which the BPEL language supports the definition of
scientific workflows. We then describe the reliability, performance and scalability that can be achieved by executing a complex
scientific workflow with ActiveBPEL, an industrial strength but freely available BPEL engine.
*The work has been funded by the UK EPSRC through grants GR/R97207/01 (e-Materials) and GR/S90843/01 (OMII Managed Programme). 相似文献
20.
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. 相似文献