A new verification technique for large processes based on identification of relevant tasks

Verification recently has become a challenging topic for business process languages. Verification techniques like model checking allow to ensure that a process complies with domain-specific requirements, prior to the execution. To execute full-state verification techniques like model checking, the state space of the process needs to be constructed. This tends to increase exponentially with the size of the process schema, or it can even be infinite. We address this issue by means of requirements-specific reduction techniques, i.e., reducing the size of the state space without changing the result of the verification. We present an approach that, for a given requirement the system must fulfill, identifies the tasks relevant for the verification. Our approach then uses these relevant tasks for a reduction that confines the process to regions of interest for the verification. To evaluate our new technique, we use real-world industrial processes and requirements. Mainly because these processes make heavy use of parallelization, full-state-search verification algorithms are not able to verify them. With our reduction in turn, even complex processes with many parallel branches can be verified in less than 10 s.     

Verifying BPEL-like programs with Hoare logic

The WS-BPEL language has recently become a de facto standard for modeling Web-based business processes. One of its essential features is the fully programmable compensation mechanism. To understand it better, many recent works have mainly focused on formal semantic models for WS-BPEL. In this paper, we make one step forward by investigating the verification problem for business processes written in BPEL-like languages. We propose a set of proof rules in Hoare-logic style as an axiomatic verification system for a BPEL-like core language containing key features such as data states, fault and compensation handling. We also propose a big-step operational semantics which incorporates all these key features. Our verification rules are proven sound with respect to this underlying semantics. The application of the verification rules is illustrated via the proof search process for a nontrivial example.     

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.     

基于Pi-演算的工作流模式描述

工作流模式包含了业务流程的基本特征和共性,其实现依赖于具体的流程建模语言或方法.Pi-演算是一种进程代数,可以应用于业务流程的形式化建模.本文使用Pi-演算作为业务流程形式化的工具,对存在多种BPMN表示的工作流模式进行形式化建模,以探究工作流模式Pi-演算的描述,检验Pi-演算对业务流程行为特征的表现能力.     

Linking Business Processes and Information Systems Provision in a Dynamic Environment

This paper discusses decision and communication processes which link strategic activity in a business with information systems development activity. We develop a model which illustrates these processes as observed in one company (AXA Sun Life, Bristol HQ), but we suggest there may be generalizable features. We use Role Activity Diagrams as our diagramming method.In most organizations it is impractical to achieve a fully articulated business model and IS architecture. Organizations do try to make development (or acquisition) of information systems which will serve business needs as orderly as they can, in circumstances which are inherently complex and unstable. We suggest that the degree of regularity which is achieved in IS development within the business context comes not so much from following one overarching plan, as from a continuous process of adjustment, in which local short-term plans are weighed against current understanding of the business's key interests. What is needed to aid this process is a general framework of communication and decision making within which plans can be reviewed and modified in the light of changing circumstances. This paper presents an attempt to reveal and represent such a framework.     

Model-driven specification and enforcement of RBAC break-glass policies for process-aware information systems

ContextIn many organizational environments critical tasks exist which – in exceptional cases such as an emergency – must be performed by a subject although he/she is usually not authorized to perform these tasks. Break-glass policies have been introduced as a sophisticated exception handling mechanism to resolve such situations. They enable certain subjects to break or override the standard access control policies of an information system in a controlled manner.ObjectiveIn the context of business process modeling a number of approaches exist that allow for the formal specification and modeling of process-related access control concepts. However, corresponding support for break-glass policies is still missing. In this paper, we aim at specifying a break-glass extension for process-related role-based access control (RBAC) models.MethodWe use model-driven development (MDD) techniques to provide an integrated, tool-supported approach for the definition and enforcement of break-glass policies in process-aware information systems. In particular, we provide modeling support on the computation independent model (CIM) layer as well as on the platform independent model (PIM) and platform specific model (PSM) layers.ResultsOur approach is generic in the sense that it can be used to extend process-aware information systems or process modeling languages with support for process-related RBAC and corresponding break-glass policies. Based on the formal CIM layer metamodel, we present a UML extension on the PIM layer that allows for the integrated modeling of processes and process-related break-glass policies via extended UML Activity diagrams. We evaluated our approach in a case study on real-world processes. Moreover, we implemented our approach at the PSM layer as an extension to the BusinessActivity library and runtime engine.ConclusionOur integrated modeling approach for process-related break-glass policies allows for specifying break-glass rules in process-aware information systems.     

一个基于管理信息单元的描述

先进的管理理念诸如全面质量管理、业务流程再造或是六西格马管理在企业应用过程中获得了巨大的成功。从中我们发现,这些管理创新都以业务流程改进为出发点。因此,对业务流程进行管理显得至关重要。本文描述了一个业务流程管理系统的管理信息单元组织模型和流程模型,以及系统功能模块及其实现工具,为企业进行业务流程管理提供了一定的参考。     

IT治理决策中业务应用需求的分析与应用

在深入剖析了业务应用需求的主要研究内容的基础上,以CSF思想为指导,提出一种业务应用需求中关注的企业核心流程需求的识别方法,给出一种确定重构业务流程的方法和理论,可以作为在实施IT治理中业务应用需求分析的参考。并在此基础上,将此方法应用于中海集团的IT治理决策中,得出中海集团的核心业务流程。     

Event-based failure prediction in distributed business processes

Traditionally, research in Business Process Management has put a strong focus on centralized and intra-organizational processes. However, today’s business processes are increasingly distributed, deviating from a centralized layout, and therefore calling for novel methodologies of detecting and responding to unforeseen events, such as errors occurring during process runtime. In this article, we demonstrate how to employ event-based failure prediction in business processes. This approach allows to make use of the best of both traditional Business Process Management Systems and event-based systems. Our approach employs machine learning techniques and considers various types of events. We evaluate our solution using two business process data sets, including one from a real-world event log, and show that we are able to detect errors and predict failures with high accuracy.     

Verifying workflow processes: a transformation-based approach

Workflow modeling is a challenging activity and designers are likely to introduce errors, especially in complex industrial processes. Effective process verification is essential at design time because the cost of fixing errors during runtime is substantially higher. However, most user-oriented workflow modeling languages lack formal semantics that hinders such verification. In this paper, we propose a generic approach based on the model transformation to verify workflow processes. The model transformation includes two steps: first, it formalizes the desirable semantics of each modeling element; secondly, it translates a workflow process with clear semantics to an equivalent Petri net. Thus, we can verify the original workflow process using existing Petri net theory and analysis tools. As a comprehensive case study, verifying workflow processes in an industrial modeling language (TiPLM) is presented. Experimental evaluations on verifying real-world business processes validate our approach.     

Referenzprozessabläufe für Telekommunikationsunternehmen

The telecommunication market is experiencing substantial changes. New business models, innovative services, and technologies require reengineering, transformation, and process standardization. Enterprise Architecture Frameworks support the transformation by specifying methods, procedures, and reference models. With the Enhanced Telecom Operation Map (eTOM), the TM Forum offers an international de facto reference process framework, based on specific features and requirements of the telecommunication industry. However, this reference framework only offers a hierarchical collection of processes on different levels of abstraction; a control view in terms of a sequential ordering of tasks and hence a real process flow as well as an end-to-end view on the customer are missing. In this paper, we extend the eTOM reference model by reference process flows, in which we abstract and generalize the knowledge about processes in telecommunication companies. With reference process flows, we aim to assist companies in achieving a structured and transparent re-structuring and re-design of their processes. We demonstrate the applicability and usefulness of our reference process flows in two case studies, and evaluate them by means of criteria for reference model evaluation. Our reference process flows have been accepted as a standard by the TM Forum and published as part of eTOM version 9. We further elaborate on those components of our approach which can be applied outside the telecommunication industry.     

Minimizing test-point allocation to improve diagnosability in business process models

Diagnosability analysis aims to determine whether observations available during the execution of a system are sufficient to precisely locate the source of a problem. Previous work deals with the diagnosability problem in contexts such as circuits and systems, but no with the adaptation of the diagnosability problem to business processes. In order to improve the diagnosability, a set of test points needs to be allocated. Therefore, the aim of this contribution is to determine a test-point allocation to obtain sufficient observable data in the dataflow to allow the discrimination of faults for a later diagnosis process. The allocation of test points depends on the strategies of the companies, for this reason we defined two possibilities: to improve the diagnosability of a business process for a fixed number of test points and the minimization of the number of test points for a given level of diagnosability. Both strategies have been implemented in the Test-Point Allocator tool in order to facilitate the integration of the test points in the business process model life cycle. Experimental results indicate that diagnosability of business processes can be improved by allocating test points in an acceptable time.     

Controlled violation of temporal process constraints – Models,algorithms and results

While there has been much work on modeling and analysis of temporal constraints in workflows in the context of many real-world applications, there has not been much work on managing violations of temporal constraints. In real-time workflows, such as in medical processes and emergency situations, and also in logistics, finance and in other business processes with deadlines some violations are unavoidable. Here we introduce the notion of controlled violations as the ability to monitor a running process and develop an approach based on constraint satisfaction to determine the best schedule for its completion in a way so as to minimize the total penalty from the violations. The violations are evaluated in terms of metrics like number of violations, delay in process completion, and penalty of weighted violations. We also relate our work to the concept of controllability in literature and show how it can be checked using our method. Finally, we analyze the properties of our approach and also offer a proposal for implementation.     

Designing business capability-aware configurable process models

Process Aware Information Systems manage processes within organisations on the basis of business process models. These models can be created either from scratch or by reusing exiting reference process models.Particular types of reference models are configurable process models that are created by merging multiple models into a single one that can be customized to the needs of the business experts. Using those models presents two main challenges: their creation and their configuration.In this paper, we focus on the first challenge and propose a novel algorithm for merging process models into a configurable process model. The difference in our work is the pre-annotated process models with their business capabilities that report on what actions each process element achieves. Our algorithm generates configurable models that are also annotated with their capabilities that can be used to face the second challenge of these models: the configuration phase.We tested our algorithm using real-world process models to evaluate the required creation time and resulting compression rate after merging the input models. The results show that the models can be created in few milliseconds and achieving a compression rate of 50%. We further carried out interviews with domain experts to assess the usefulness and the level of maturity of this work. The results show the importance of the automation of process merging using a tool support that we proposed. However, further adaptation efforts are required to integrate this work in the working environments of the interviewed experts.     

A conceptual framework for understanding business processes and business process modelling

It is increasingly common to describe organizations as sets of business processes that can be analysed and improved by approaches such as business process modelling. Successful business process modelling relies on an adequate view of the nature of business processes, but there is a surprising divergence of opinion about the nature of these processes. This paper proposes a conceptual framework to organize different views of business processes under four headings. It also aims at providing an integrated discussion of the different streams of thought, their strengths and limitations, within business process modelling. It argues that the multifaceted nature of business processes calls for pluralistic and multidisciplinary modelling approaches.     

A data model for processes based on relative time

Advanced database applications such as automated manufacturing, scheduling, and computer-aided software engineering, demand an explicit representation of processes, including their decomposition into subprocesses, where subprocesses may be repeated or shared. Temporal information on these processes is inherently relative to particular temporal frames of reference, that may be different from that of a complex process containing them. We suggest the Rtime object-oriented data model in which processes are first-class citizens and complex processes are built, using standard type constructors, from their component processes. The relative timing of component processes is a key feature of the suggested model. It allows for a modular construction of complex process objects that may be repeated and shared. Standard object-oriented query languages can be used for temporal queries on processes, by providing an operator for translating timing information between different temporal frames of reference.     

一种自适应的BPEL流程控制策略及其实现

传统的BPEL语言,只是静态地描述业务流程与所需Web服务之间的绑定关系,并不能很快适应动态变化的SOA环境;针对这一问题,该文提出一种白适应的BPEL流程编排和执行机制,通过推迟业务过程与所需服务之间的绑定时间,加入动态服务选择机制,从而使得BPEL流程的执行过程具有一定程度的自适应特征,不仅提高了BPEL流程编排和...     

Business process management with the user requirements notation

A number of recent initiatives in both academia and industry have sought to achieve improvements in e-businesses through the utilization of Business Process Management (BPM) methodologies and tools. However there are still some inadequacies that need to be addressed when it comes to achieving alignment between business goals and business processes. The User Requirements Notation (URN), recently standardized by ITU-T, has some unique features and capabilities beyond what is available in other notations that can help address alignment issues. In this paper, a URN-based framework and its supporting toolset are introduced which provide business process monitoring and performance management capabilities integrated across the BPM lifecycle. The framework extends the URN notation with Key Performance Indicators (KPIs) and other concepts to measure and align processes and goals. An example process for controlling access to a healthcare data warehouse is used to illustrate and evaluate the framework. Early results indicate the feasibility of the approach.     

E-MEMO: a method to support the development of customized electronic commerce systems

In many industries structural change through E-Commerce is challenging firms to re-align their strategies as well as re-engineer their business processes with new competitive environments while taking advantage of technological opportunities. This article presents E-MEMO, a method for multi-perspective enterprise modelling with special emphasis on processes and technologies for E-Commerce. It serves to analyse and design corporate information systems that are balanced with a company’s E-Commerce strategy and its organisation. E-MEMO offers specific languages for modelling strategies, business processes, and related resources. In addition to that, it provides a library of reference models including strategy networks to guide strategic planning and models of business processes. In order to further support the implementation of information systems a transformation has been defined that allows for generating workflow schemata from business process models. Since design-oriented research is not predominant in the Information Systems field, the epistemological challenges of the chosen research approach are discussed, too.