Process time patterns: A formal foundation

The increasing adoption of Process-aware Information Systems (PAISs), together with the variability of Business Processes (BPs) across different application contexts, has resulted in large process model repositories with collections of related process model variants. To reduce both costs and occurrence of errors, the explicit management of variability throughout the BP lifecycle becomes crucial. In literature, several proposals dealing with BP variability have been proposed. However, the lack of a method for their systematic comparison makes it difficult to select the most appropriate one meeting current needs best. To close this gap, this work presents an evaluation framework that allows analyzing and comparing the variability support provided by existing proposals developed in the context of BP variability. The framework encompasses a set of language requirements as well as a set of variability support features. While language requirements allow assessing the expressiveness required to explicitly represent variability of different process perspectives, variability support features reflect the tool support required to properly cover such expressiveness. Our evaluation framework has been derived based on an in-depth analysis of several large real-world process scenarios, an extensive literature review, and an analysis of existing PAISs. In this vein, the framework helps to understand BP variability along the BP lifecycle. In addition, it supports PAISs engineers in deciding, which of the existing BP variability proposals meets best their needs.

Enterprise information systems created with model-driven software engineering methods need to handle not only data but also business processes in an automated way. This paper shows how to engineer process-aware information systems following the model-driven and generative software engineering paradigms. Existing approaches realize either the generation of automated or manual activities but do not employ model-driven engineering of all system aspects through systematic language composition. A generative approach that additionally uses process modeling languages allows developers to evolve generated data-centric information systems into process-aware information systems. To be usable within our generation process, we have developed a textual BPMN version and a corresponding language tooling to check the soundness of the models. We have included these process models into the generation process of an information system together with other domain-specific modeling languages, e.g., for data structures, and generate an extendable, process-aware information system that is open for continuous regeneration and hand-written additions. This approach allows us to lift a generated data-centric information system to a process-aware information system. Agile development enabled through the opportunity to validate assumptions automatically and adapt changes efficiently, enhances the engineering process as well as the generated systems themselves.

Process aware information system (PAIS) is important in the recent business environment. Developments of PAIS need to consider contexts about technical and business elements. They are needed to develop PAIS effectively (e.g. monitoring environment and constructing adequate business process). Process mining is an important method for analyzing a business environment and utilizing PAIS development and improvement. LTL checking is an important method for checking a specific property to be satisfied with business processes, but correctly writing formal language like LTL is difficult. In this paper, we use LTL checking and prediction based on decision-tree learning for checking goal achievement, false detection and oversight detection. It helps writing properly LTL formula for representing the correct goal property. We conducted a case study using a real life log of traffic fine management process in Italy.

Companies are demanding more flexibility from their Process Aware Information Systems (PAIS). However, regulations and standards that impose limits to process executions are becoming increasingly important for business process management. The need for a compliance agenda and the security requisites for PAIS are pushing companies to search and to acquire new systems and technics for control and audit business processes. The aim is to avoid process execution that violates some business rules. In order to build an approach that support companies in auditing and controlling their business processes, there is a need for a formal and systematic modeling of business rules. In the present paper we have two objectives. The first one is to propose a set of business rules related to the ordering of tasks and to the involvement of a role or agent in cases. The second one is to build a supervisory control of PAIS that ensures compliance of business rules. To evaluate the correctness of our approach we applied it in two different business processes.KeywordsProcess-Aware Information Systembusiness rulessupervisory controlcompliancesecurity

The increasing adoption of process-aware information systems (PAISs) has resulted in a large number of implemented business processes. To react on changing needs, companies should be able to quickly adapt these process implementations if required. Current PAISs, however, only provide mechanisms to evolve the schema of a process model, but do not allow for the automated creation and adaptation of their user interfaces (UIs). The latter may have a complex logic and comprise, for example, conditional elements or database queries. Creating and evolving the UI components of a PAIS manually is a tedious and error-prone task. This technical report introduces a set of patterns for transforming fragments of a business process model, whose activities are performed by the same user role, to UI components of the PAIS. In particular, UI logic can be expressed using the same notation as for process modeling. Furthermore, a transformation method is introduced, which applies these patterns to automatically derive UI components from a process model by establishing a bidirectional mapping between process model and UI. This mapping allows propagating UI changes to the process model and vice versa. Overall, our approach enables process designers to rapidly develop and update complex UI components in PAISs.

Organizations that manage their Business Processes (BPs) poorly -or that not manage them at all- have well-known problems regarding their operation, both at the BPs and the Information Systems (IS) levels. Some of these problems are due to a vertical and functional vision of the organization, without any global BP vision. In this context, similar decentralized organizational units very often perform the same BPs sometimes in different ways. Moreover, some BPs are implicit in the IS supporting them. In this article we present an experience report of a BPM pilot project we have carried out within our university, as an initiative to improve BPs management and corresponding IS support. We started specifying a process map for management support BPs, and then we selected key BPs which where specified, modeled and implemented using BPMN 2.0 and Bonita BPMS, to shift the organization focus from traditional IS to Process Aware IS (PAIS).

Enabling process flexibility is crucial for any process-aware information system (PAIS). In particular, implemented processes may have to be frequently adapted to accommodate to changing environments and evolving needs. When evolving a PAIS, corresponding process schemas have to be changed in a controlled manner. In the context of object-aware processes, which are characterized by a tight integration of process and data, PAIS evolution not only requires process schema evolution, but the evolution of data and user authorization schemas as well. Since the different schemas of an object-aware PAIS are tightly integrated, modifying one of them usually requires concomitant changes of the other schemas. This paper presents a framework for object-aware process support and discusses major requirements and challenges for enabling schema evolution in object-aware PAIS.

In the paper, an integrated approach for the modeling and enforcement of delegation policies in process-aware information systems is presented. In particular, a delegation extension for process-related role-based access control (RBAC) models is specified. The extension 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 delegation models. Moreover, the detection of delegation-related conflicts is discussed and a set of pre-defined resolution strategies for each potential conflict is provided. Thereby, the design-time and runtime consistency of corresponding RBAC delegation models can be ensured. Based on a formal metamodel, UML2 modeling support for the delegation of roles, tasks, and duties is provided. A corresponding case study evaluates the practical applicability of the approach with real-world business processes. Moreover, the approach is implemented as an extension to the BusinessActivity library and runtime engine.

With the broad use of business process management technology, there are more and more business process models. Since the ability of different modelers is different, the quality of these models varies. A question arises here is that, can we refactor these models to improve the quality as practised in software engineering? Business process modeling can be regarded as declarative programming, and business process models can be used to drive the process aware information systems, which are generally developed with model driven architecture, so business process models are crucial for the efficiency of process aware information systems. In this paper, we propose a novel approach on how to systematically refactor business process models with parallel structures for sequence structures for the first time. More specifically, we analyze the real causal relations between business tasks based on data operation dependency analysis, and refactor business process models with process mining technology. After comprehensive model refactoring, parallel execution of business tasks can be maximized, so the efficiency of business processing can be improved, that is, the quality of business process models can be improved. Analysis and experiments show that our approach is effective and efficient.

Many present-day companies carry out a huge amount of daily operations through the use of their information systems without ever having done their own enterprise modeling. Business process mining is a well-proven solution which is used to discover the underlying business process models that are supported by existing information systems. Business process discovery techniques employ event logs as input, which are recorded by process-aware information systems. However, a wide variety of traditional information systems do not have any in-built mechanisms with which to collect events (representing the execution of business activities). Various mechanisms with which to collect events from non-process-aware information systems have been proposed in order to enable the application of process mining techniques to traditional information systems. Unfortunately, since business processes supported by traditional information systems are implicitly defined, correlating events into the appropriate process instance is not trivial. This challenge is known as the event correlation problem. This paper presents an adaptation of an existing event correlation algorithm and incorporates it into a technique in order to collect event logs from the execution of traditional information systems. The technique first instruments the source code to collect events together with some candidate correlation attributes. Based on several well-known design patterns, the technique provides a set of guidelines to support experts when instrumenting the source code. The event correlation algorithm is subsequently applied to the data set of events to discover the best correlation conditions, which are then used to create event logs. The technique has been semi-automated to facilitate its validation through an industrial case study involving a writer management system and a healthcare evaluation system. The study demonstrates that the technique is able to discover an appropriate correlation set and obtain well-formed event logs, thus enabling business process mining techniques to be applied to traditional information systems.

Process-aware information systems are used to execute business processes to reach the operational goals of an organization. In this context, access control policies are defined to govern the choice in behavior of such systems. In a role engineering process these access control policies can be defined and customized. This paper introduces a new automated approach to derive current state access control policies from event logs extracted from process-aware information systems. For this purpose, the two standard formats for event logs called MXML and XES are used. It is demonstrated how this derivation can ease certain steps in the scenario-driven role engineering process, that are otherwise time-consuming and can get tedious if conducted manually.

Enhancing existing business process modeling languages with security concepts has attracted increased attention in research and several graphical notations and symbols have been proposed. How these extensions can be comprehended by users has not been evaluated yet. However, the comprehensibility of security concepts integrated within business process models is of utmost importance for many purposes such as communication, training, and later automation within a process-aware information system. If users do not understand the security concepts, this might lead to restricted acceptance or even misinterpretation and possible security problems in the sequel. In this paper, we evaluate existing security extensions of Business Process Model and Notation (BPMN) as BPMN constitutes the de facto standard in business modeling languages nowadays. The evaluation is conducted along two lines, i.e., a literature study and a survey. The findings of both evaluations identify shortcomings and open questions of existing approaches. This will yield the basis to convey security-related information within business process models in a comprehensible way and consequently, unleash the full effects of security modeling in business processes.

Nowadays, Process-aware Information Systems (PAISs) are widely used in many business scenarios, e.g., by government agencies, by insurance companies, and by banks. Despite this widespread usage, the typical application of such systems is predominantly in the context of business scenarios. Nevertheless, emergency management can also benefit from the use of PAISs; for instance, the metaphor of a business process fits very good with the concept of emergency recovery plan. This paper summarizes an invited talk given by the first author for the EMSOA'10 workshop that has been co-located with the ServiceWave 2010 Conference. This paper starts the basic PAIS' requirements for the domain of emergency management, then it gives an overview of the nowadays' literature on using PAISs for Emergency Management. Finally, the paper proposes an architecture and a system to support the execution of emergency management processes.

Process-aware information systems are valuable for automating business tasks leading to cost reduction and efficiency. This research aims to advance the state of the art in process management towards autonomic process performance improvement by contributing control-flow change recommendations for process instances that is supporting automatic change enactment as a response to predicted KPI violations. Towards that goal, the related literature has been investigated in two literature review studies and research gaps have been identified. The proposed generic architecture provides a feedback loop that enables evaluation of the resulting recommendations for future process instances. We also present the current state of the research and future plans.

Dynamically adapting business process to changing needs, and promptly reacting to events are today key factors to maintain competitiveness in the market. Business Process Management (BPM) is focusing today more and more on a BPM in the large approach to process changes that embrace all of the specific techniques and mechanisms needed to design, enact, execute and monitor processes and process-aware information systems. A novel and promising feature of BPM in the large is the ability to store, aggregate and combine this huge and very diverse amount of data that can enable new ways of analysing current operations and can deliver new business insights. The KITE.IT Project [2] is aimed at facing such challenges in the context of the Italian aerospace industry, using and integrating Open Source tools exclusively. The project has recently deployed its initial open framework offering a robust data integration system in an open and scalable architecture. In such a context a metamodel approach was considered the very first base to design a system apt at integrating data originated from heterogeneous sources. The clear advantage that can be reached is the improvement of the speed and the effectiveness of business operations. The clear advantage, which can be reached, is the improvement of the effectiveness of business operations. This paper, in particular, presents the design process that was implemented in defining the KITE.IT Metrics Metamodel (KMM). A final evaluation of the framework, as it was initially deployed, is also reported.