Modeling Business Processes:

Size: px
Start display at page:

Download "Modeling Business Processes:"

Transcription

1 Int'l Conf. Modeling, Sim. and Vis. Methods MSV'17 61 Modeling Business es: Events and Compliance Rules Sabah Al-Fedaghi Computer Engineering Department Kuwait University Kuwait Abstract Business process modeling has become a main tool for capturing, analyzing, and developing business activities. Each business process model acts as a blueprint for instances. The ordering of activities can be controlled through process orchestration that includes a choreography representing the start and end events of the interacting processes. Events play a crucial role in expressing interrelationships between business processes. This paper re-explores the notion of events in business processes through proposing that an event is a thing that can be created, processed, released, transferred, and received. This idea is developed such that events are recognized from the description of the processes involved. Accordingly, the choreography of the execution of processes can emerge from the specification of events. The same idea can be applied in the area of ensuring compliance with imposed rules, where the problem is how to specify the constraints and rules in preparation for applying them. The system description (schemata) can be constructed from the compliance rules. Keywords business process compliance; process modeling; diagrammatic language; conceptual model I. INTRODUCTION Business processes refers to those activities that take inputs and create an output that is of value to the customer [1]. A process itself is described in an abstract description of a collection of activities []. One example is an ordering procedure, where an order is received and processed, an invoice is sent, payment is made, and the products are shipped. Business processes are considered the key instrument to organizing business activities and to improving the understanding of their interrelationships. Information systems play an important role in supporting such processes []. In many companies there is a gap between organizational business aspects and the information technology that is in place. Narrowing this gap between organization and technology is important, because in today s dynamic markets, companies are constantly forced to provide better and more specific products to their customers. [] Business process modeling has become a main tool for capturing, analyzing, and developing business activities. Summarizing from Weske [], a model consists of activity models and execution constraints. An instance represents a concrete case in the operational business of a company. Each business process model acts as a blueprint for instances. The ordering of activities can be controlled though process orchestrations in a similar manner to a conductor who centrally controls the musicians in an orchestra. The process choreography represents start events and end events of the interacting business processes. modeling techniques include event-driven process chains. Events play a crucial role in expressing interrelationships between business processes. Events are happenings in time and space. In business process modeling, an event represents a state transition [emphasis added] of an activity instance []. This paper reexplores the notion of events in business processes. According to Penicina and Kirikova [], there is a gap between business process models and lawful states of business objects. This gap hinders compliance of business process models with internally and externally imposed regulations. Existing modeling methods such as BPMN and ArchiMate lack an explicitly declarative approach for capturing flow of business objects, their states and laws of state transitions [emphasis added]. Such deficiency can cost organization potential legal problems, make the ability of BPMN and ArchiMate to capture real-world phenomena questionable and drive modelers to employ additional standards. This paper contributes to the area by introducing an alternative approach to conceptualizing events where an event is a thing (to be defined later) that can be created, processed, released, transferred, and received. This idea is developed such that events are recognized from the description of the processes. Accordingly, the choreography of the execution of processes can emerge from the specification of events. The same idea can be applied in the area of ensuring compliance of business processes with imposed regulations stemming from various sources, such as security constraints, domain-specific guidelines, corporate standards, and legal regulations [4]. The system description (schemata) can be constructed from the compliance rules. The next section will review the diagrammatical modeling tool that will be used in process specification. This tool will be used in section to illustrate the modeling techniques and, simultaneously, to develop the notion of events. II. DIAGRAMMATIC LANGUAGE:REVIEW This section summarizes the Flowthing Machine (FM) model [5, 6], which provides a diagrammatic language

2 6 Int'l Conf. Modeling, Sim. and Vis. Methods MSV'17 proposed as a high-level description suitable for event-like notions. FM is a generalization of the well-known input process output model, utilized in many scientific fields. It involves handling of flow things: things that can be created, processed, released, and transferred, arrive, and be accepted as shown in the flow system depicted in Fig. 1. If all things that arrive are accepted, the Arrive and Accept stages can be combined into a single stage. Hereafter, a flow thing will be referred to merely as a thing. The arrows in the figure represent flows of things. Fig. 1 can be considered as a type of abstract machine. Accept Fig. 1. Flow system. (in/output) Arrive The environment of flow is called its sphere (e.g., data flow within the sphere of a company). Note that a flow system itself is a special type of sphere. The stages of a flow system are mutually exclusive; that is, a thing always exists in one and only one of these states or stages at any moment. Assuming the thing is a datum, in this model is any operation on the datum that does not produce a new piece of data. Creation denotes the appearance of a new datum in the flow system. There are many types of things, including data, information, money, food, fuel, electrical current, and so forth. The life cycle of a thing is a sequence of stages through which it passes in a stream of flow. Other states of things, for example, stored, are secondary states; thus, we can have a stored created thing, a stored processed thing, and so forth. In addition to flows denoted as arrows, FM includes triggering mechanisms represented by dashed arrows. Triggering denotes activation, such as starting a new flow. III. MODELING AND EVENTS Weske [] gives an example of an ordering process of a reseller company that is shown as a set of activities performed in a coordinated manner. The coordination between the activities is achieved by an explicit process representation using execution constraints [emphasis added]. The process starts with the company receiving and checking an order, followed by activities in concurrent branches [emphasis added]. In one branch, the invoice is sent and the payment is received; in the other branch, the products are shipped. When both branches complete their activities, the order is archived, and the business process terminates. Concurrent activities can be executed [emphasis added] in any order, and any overlap in the execution time of concurrent activities is allowed.... The ordering process can be used as a blueprint [emphasis added] that allows the reseller company to organize its work.... Each order that is processed according to this model is a business process instance. Therefore, there is a one-to-many relationship between business process models and business process instances. [] Figure shows the corresponding FM representation. Because of the simplicity of the example, different flows are not included in boxes. In the figure, the order is received and processed (circle 1) to trigger the creation of an invoice (). The invoice flows to the customer who sends the payment () and this triggers processing (e.g., packaging) and sending the shipment (4). 1 Invoice Payment 4 Shipmen t Fig.. FM representation of the example Note that the FM representation has no start or end. These are dynamic features that appear at the execution level through what we call events. Events are also flow things that can be created, processed, and so on. Usually, the concern in business modeling is with meaningful events. From the description of the problem in the example above, it seems that the interest is in the following events. Receiving an order (V 1 ) ing an order (V ) Creating and sending an invoice (V ) Receiving payment (V 4 ), and Shipping the product (V 5 ). Figure shows these events in the example of the reseller company. V 1 V V Invoice The Business Model and Notation, BPMN [7] is used to model this process of a reseller company. In BPMN, activities are represented by rectangles with the name of the activity. Events are circles with icons (e.g., envelope, indicating the type) that mark the start and end of the process. V 4 V 5 Fig.. Events Payment Shipmen t

3 Int'l Conf. Modeling, Sim. and Vis. Methods MSV'17 6 These events can be ordered according to desired implementation. V 1,V,V,V 4, V 5 V 1,V,{V,V 4 }, V 5 ; where the curly brackets indicate parallelism. It is also possible to split V 5 in Fig. into two events, retrieving and processing (e.g., packaging) the product, V 5 in Fig. 4, and transferring the product to the customer, V 6 in Fig. 4. In this case we can order the events as V 1,V,{V,V 4, V 5}, V 6. V 6 Fig. 4. Dividing V 5 of Fig. into two events Shipmen t V 5 Accordingly, modeling the dynamic behavior in FM is a phase separate from the task of describing static actions (Fig. ). The start and end in the BPMN diagram of the reseller company (see Weske []) belongs to a different ontological level than action descriptions such as receiving an order, issuing an invoice, and so on. The static description (Fig. ) is the abstract definition while the dynamic behavior is its realization in time. For example, the definition of rain is moisture condensed from the atmosphere that falls visibly in separate drops (can be modelled in FM). It has no start or end. But, the event of rain can be objectified as the rain in New York at 7:15 that lasted until 8:10 on a certain date as modelled in Fig. 5. For simplicity s sake, the time flow was not shown in previous descriptions of events (Figs. and 4). The time specification of an event reflects the singularity of events (they can only occur once). The body of the event in the modeled context is what lives though the event (i.e., in Fig. 5: moisture, drops, flows). It is the things out of which the event is constructed in addition to time. Event: Raining in New York Moisture : condensed : takes its course Drops Ground Fig. 5. An event involves a sequence of actions at a specific time Time Figure 5 provides a clear illustration of the notion of the event raining in New York. Events can be interrelated (e.g., intersections, sub-events) and have properties (e.g., intensity or how swift is the performed operation is), and so on. In this conceptualization, events are not such BPMN events as start and end; rather they are what lives though the process (e.g., moisture, drops, and flows) in time (Fig. 5). In the field of process modeling, there are different ideas regarding the typical treatment of events. As stated in the introduction, for Weske [], a state transition of an activity instance is represented by an event. In another place, he says, Examples of events are the receipt of an order, the completion of processing an order, and the completion of shipping a product. In FM terminology, these are bodies of events or what live though them. This example shows a different approach to business process modeling by producing a flow-based schemata and then specifying events of interest as sub-diagrams of the representation of the system. According to defined requirements, we can select different types of execution of events for the reseller company as shown in Fig. 6. The FM representation embeds operational semantics (e.g., run-time execution) that simplify the simulation of the chronology of events. The resulting operational semantics are conceived along a causality model specification in which events are used to define fine-grained behaviors. V V 4 V 5 V 6 V 1 V V V 5 V 6 IV. APPLICATION: COMPLIANCE RULES This Lego-like technique that constructs a (big picture) schema from pieces can be applied in different design ventures. According to Knuplesch and Reichert [4], A fundamental challenge for enterprises is to ensure compliance of their business processes with imposed compliance rules stemming from various sources, e.g., corporate guidelines, best practices, standards, and laws.... Providing a visual language is advantageous in this context as it allows hiding formal details and offering an intuitive way of modeling the compliance rules. However, existing visual languages for compliance rule modeling have focused on the control flow perspective so far, but lack proper support for the other process perspectives. V 4 V V 4 V 5 V 6 Fig. 6. Possible sequences of events

4 64 Int'l Conf. Modeling, Sim. and Vis. Methods MSV'17 They introduce an extended Compliance Rule Graph language, which models compliance rules utilizing a healthcare scenario dealing with compliance rules and processes captured in the context of a large process engineering project in a university hospital. Diagrams significantly increase the comprehensibility of and foster communication among business analysts and subject matter experts on one hand and process engineers on the other. Notations for compliance rules include Compliance Rule (e.g., Graphs [8] and BPMN-Q [9]) and process modeling languages (e.g., YAWL [10], and BPMN [7]) combine an intuitive notation with the advantages of a formal language. [4] In the following subsection, some of Knuplesch and Reichert s [4] compliance rules are given and their FM representations are drawn. As we did with events, the compliance rules will be used to produce a flow-based schemata where rules become an integral part (sub-diagrams) in the composition of the total representation of the system..1 Compliance Rule 1 For an inpatient, an x-ray examination must be ordered by a ward physician. The same physician must fill in the respective order form. ([4] based on [11]) Figure 7 shows the FM representation of this rule. The patient flows to the physician (circle 1) to be processed (), accordingly, an x-ray order is created (). For simplicity s sake, the patient and x-ray things are not enclosed in a box. 1 Fig. 7. Rule 1 Figure 7 is a rule in the sense that it describes a specific situation where a patient is processed by a physician and, accordingly, an x-ray order is issued. This rule would melt in the system schema, thus, it is the only flow that generates an x- ray order. This realizes the MUST in the rule. It is analogous to specifying that electricity for an air-conditioning unit in a building must come directly from the main power supply. In this case, the schemata of any building includes a direct supply line from the main electricity supply to the unit. The schema expresses the constraint in a diagram instead of in English. As will be shown later, all constraints are merged to form the schemata of the healthcare scenario in the involved hospital. In Fig. 8, the patient (accompanied by his/her x-ray order) flows to the (1) to trigger the creation of informed (). This, in turn, triggers releasing the patient () to go to the radiologist (4) to produce the x-ray image (5). 1 Fig. 8. Rule The figure specifies Rule through modeling it as a flow system. The patient cannot flow to the without an x-ray order and as soon as he/she arrives, an informed is produced to permit him/her to go to the radiologist.. Compliance Rule Diagnoses shall be provided by physicians only after receiving all x-ray images from the radiology department; i.e., no x-ray image may be received afterward. [4] As shown in Fig. 9, x-rays are received and processed () to keep track of the arrival of all of them. The process stage may store the x-rays until all arrive, then trigger the diagnoses of the patient (). This is performed within the sphere of a physician of a patient. As will be discussed later, instances of such an process will be tracked by events. : Diagnoses : All? Fig. 9. Rule.4 Compliance Rule 4 Before requesting an informed, a physician must inform the patient about risks. [4] In Figure 10, the informed is created only as the result of receiving and processing risks flowing from the physician Compliance Rule An x-ray examination in the radiology department must be performed by a radiologist. Before the exam, the informed of the patient must be received and checked by a medical technical assistant () in the radiology department. [4] : Fig. 10. Rule 4 Risks

5 Int'l Conf. Modeling, Sim. and Vis. Methods MSV' Compliance Rule 5 At least one day before a surgery takes place, blood bags must be ordered. As shown in Figure 11, when the date of a surgery is decided (1), then the processing of this data includes watching the specified range (at least one day) to trigger () ordering blood bags that flow to, say, the blood bank, that process such an order () and release and transfer the ordered blood bags to the surgery. Note that a surgery, here, denotes a recognizable work unit..6 Compliance Rule 6 If an additional x-ray examination is ordered to prepare a scheduled surgery, the x-ray must be completed before the surgery. This rule is similar to rule, but, here, the ordered x-rays are triggered by the preparation for surgery (see Fig. 1)..7 Compliance Rule 7 A patient shall be formally admitted within one week after her referral to the hospital. As shown in Fig. 1, the referral and its date flow to the hospital (1) where the date is processed () such that within one week, it triggers () the creation of admission of the patient. V. A COMPLETE DESCRIPTION FROM THE RULES The given rules can be merged to form a complete conceptual description of the hospital as shown in Fig. 14. First, the referrals (1) of the patient () flow to the hospital (). Within one week (4), he/she is admitted to be under the care of a physician (6). In this situation the patient is sent to the radiology department (7) to: have x-rays taken (8) and have additional x-rays taken (9) in preparation for surgery. Referral Hospital 1 4 Fig. 1. Rule 7 : Admission : within one week Blood bags Surgery : At least one day 1 4 Fig. 11 Rule 5 Additional x-ray Preparation for surgery Fig. 1. Rule 6

6 66 Int'l Conf. Modeling, Sim. and Vis. Methods MSV'17 Diagnoses (10) are provided by physicians only after receiving all x-ray images (x-rays [11] and additional x-rays [1]) from the radiology department. For simplicity s sake, the familiar notion in computer science a thick horizontal line (1) is used to denote a synchronization of the conditions of receiving ordered x-rays and additional x-rays. Upon deciding the surgery date (14), blood bags (15) are ordered as explained previously in Rule 5. Additionally, the informed (16) is received after the physician explains the risks involved (17). The resultant big picture of the integration of rules embeds them all; hence, the rules are enforced by design. Additionally, the integration can expose the interrelations between rules, thereby optimizing their design. For example, it seems that Rules 1,, and 6 (see Fig. 15) that deal with x-ray orders and additional x-ray orders can be coordinated to produce a better designed diagram. 1 Referral Hospital 4 : within one week 6 : All? Preparation for surgery 7 Admission 5 Additional x-ray 1 : All? 1 : Diagnoses 10 : 16 Risks 17 : At least one day 14 Surgery 15 Blood bags Fig. 14 Integrated schemata of rules

7 Int'l Conf. Modeling, Sim. and Vis. Methods MSV' : All? 11 Rule 1 9 Preparation for surgery 8 Rule 6 7 Rule Additional x-ray 1 : All? 1 : Diagnoses 10 Fig. 15. Rules 1,, and 6 VI. CONCLUSION This paper has examined the notion of events in business processes by treating events as flow things. This idea is developed such that events are recognized from the description of the processes. Accordingly, the choreography of the execution of processes can emerge from the resultant specifications. This led to constructing the total diagrammatic description from the events diagrams which seems to avoid the complexity of building one schemata of the system. The same idea of developing a big picture specification from small diagrams has been applied to compliance rules imposed upon business processes with the goal of ensuring compliance with these rules. The rules have been specified and integrated to generate a system description (schemata). The proposed approach seems to be a viable alternative method for analyzing and designing business processes. Further research in developing FM modeling would enhance the understanding of basic notions such as events in the field of business processes. REFERENCES [1] M. Hammer and J. Champy, Reengineering the Corporation: A Manifesto for Business Revolution. Location: Harper Business, 199. [] M. Weske, Business Management. Berlin, Germany: Springer Berlin - Heidelberg, 01. [] L. Penicina and M. Kirikova, Towards compliance checking between business process models and lawful states of objects, nd International Workshop on Ontologies and Information Systems, 1th International Conference on Perspectives in Business Informatics Research Lund, Sweden, September 4, 014. [4] D. Knuplesch and M. Reichert, A visual language for modeling multiple perspectives of business process compliance rules, Software & Systems Modeling, 1 April 016. DOI: /s [5] S. Al-Fedaghi S. and H. AlMeshari, Social networks in which users are not small circles, Informing Science, Vol. 18, 05 4, 015. [6] S. Al-Fedaghi, Conceptualization of various and conflicting notions of information, Informing Science, Volume 17, pp , 014. [7] OMG: BPMN.0. Recommendation, OMG (011). /spec/bpmn/.0/ [8] L.T. Ly, S. Rinderle-Ma, and P. Dadam, Design and verification of instantiable compliance rule graphs in process-aware information systems, in CAiSE 10, LNCS, vol. 6051, Location: Springer, 010, pp. 9. [9] A. Awad, G. Decker, and M. Weske, Efficient compliance checking using BPMN-Q and temporal logic, in BPM 08, LNCS, vol. 540, Location: Springer, 008, pp [10] W.M.P. van der Aalst and A.H. ter Hofstede, YAWL: yet another workflow language, Information Systems, vol. 0, issue 4, pp , 005. [11] I. Konyen, B. Schulthei, and M. Reichert, Prozessentwurf f ur den Ablauf einer radiologischen Untersuchung, Tech. Rep. DBIS-15, University of Ulm, 1996.

Seamless (and Temporal) Conceptual Modeling of Business Process Information

Seamless (and Temporal) Conceptual Modeling of Business Process Information Seamless (and Temporal) Conceptual Modeling of Business Process Information Carlo Combi and Sara Degani Department of Computer Science - University of Verona Strada le Grazie 15, 37134 Verona, Italy carlo.combi@univr.it,sara.degani@gmail.com

More information

20. Business Process Analysis (2)

20. Business Process Analysis (2) 20. Business Process Analysis (2) DE + IA (INFO 243) - 31 March 2008 Bob Glushko 1 of 38 3/31/2008 8:00 AM Plan for Today's Class Process Patterns at Different Levels in the "Abstraction Hierarchy" Control

More information

A Tool for Supporting Object-Aware Processes

A Tool for Supporting Object-Aware Processes A Tool for Supporting Object-Aware Processes Carolina Ming Chiao, Vera Künzle, Kevin Andrews, Manfred Reichert Institute of Databases and Information Systems University of Ulm, Germany Email: {carolina.chiao,

More information

Making Business Process Implementations Flexible and Robust: Error Handling in the AristaFlow BPM Suite

Making Business Process Implementations Flexible and Robust: Error Handling in the AristaFlow BPM Suite Making Business Process Implementations Flexible and Robust: Error Handling in the AristaFlow BPM Suite Andreas Lanz, Manfred Reichert, and Peter Dadam Institute of Databases and Information Systems, University

More information

Workflow : Patterns and Specifications

Workflow : Patterns and Specifications Workflow : Patterns and Specifications Seminar Presentation by Ahana Pradhan Under the guidance of Prof. Rushikesh K. Joshi Department of Computer Science and Engineering Indian Institute of Technology,

More information

Generation of Interactive Questionnaires Using YAWL-based Workflow Models

Generation of Interactive Questionnaires Using YAWL-based Workflow Models Management Studies, December 2015, Vol. 3, No. 11-12, 273-280 doi: 10.17265/2328-2185/2015.1112.002 D DAVID PUBLISHING Generation of Interactive Questionnaires Using YAWL-based Workflow Models Raimond

More information

Demonstrating Context-aware Process Injection with the CaPI Tool

Demonstrating Context-aware Process Injection with the CaPI Tool Demonstrating Context-aware Process Injection with the CaPI Tool Klaus Kammerer, Nicolas Mundbrod, and Manfred Reichert Institute of Databases and ation Systems Ulm University, Germany {klaus.kammerer,

More information

Consolidation of Interacting BPEL Process Models with Fault Handlers

Consolidation of Interacting BPEL Process Models with Fault Handlers Consolidation of Interacting BPEL Process Models with Fault Handlers Sebastian Wagner, Oliver Kopp, and Frank Leymann Institute of Architecture of Application Systems, University of Stuttgart, Germany

More information

Modeling Choreographies: BPMN 2.0 versus BPEL-based Approaches

Modeling Choreographies: BPMN 2.0 versus BPEL-based Approaches Institute of Architecture of Application Systems Modeling Choreographies: BPMN 2.0 versus BPEL-based Approaches Oliver Kopp, Frank Leymann, Sebastian Wagner Institute of Architecture of Application Systems,

More information

Business Process Modelling

Business Process Modelling CS565 - Business Process & Workflow Management Systems Business Process Modelling CS 565 - Lecture 2 20/2/17 1 Business Process Lifecycle Enactment: Operation Monitoring Maintenance Evaluation: Process

More information

Analysis of BPMN Models

Analysis of BPMN Models Analysis of BPMN Models Addis Gebremichael addisalemayehu.gebremichael@student.uantwerpen.be Abstract The Business Process Modeling Notation (BPMN) is a standard notation for capturing business processes,

More information

Process Model Consistency Measurement

Process Model Consistency Measurement IOSR Journal of Computer Engineering (IOSRJCE) ISSN: 2278-0661, ISBN: 2278-8727Volume 7, Issue 6 (Nov. - Dec. 2012), PP 40-44 Process Model Consistency Measurement Sukanth Sistla CSE Department, JNTUniversity,

More information

Decision Management in the Insurance Industry: Standards and Tools

Decision Management in the Insurance Industry: Standards and Tools Decision Management in the Insurance Industry: Standards and Tools Kimon Batoulis 1, Alexey Nesterenko 2, Günther Repitsch 2, and Mathias Weske 1 1 Hasso Plattner Institute, University of Potsdam, Potsdam,

More information

Lifecycle Management for Business Process Variants

Lifecycle Management for Business Process Variants Lifecycle Management for Business Process Variants Manfred Reichert 1, Alena Hallerbach 2, and Thomas Bauer 3 1 University of Ulm, Ulm, Germany 2 Daimler TSS GmbH, Ulm, Germany 3 Neu-Ulm University of

More information

Towards Automated Process Modeling based on BPMN Diagram Composition

Towards Automated Process Modeling based on BPMN Diagram Composition Towards Automated Process Modeling based on BPMN Diagram Composition Piotr Wiśniewski, Krzysztof Kluza and Antoni Ligęza AGH University of Science and Technology al. A. Mickiewicza 30, 30-059 Krakow, Poland

More information

CreditInfo = [Jane, 16000] AcceptCredit. Fig Process instance where request approval activity is not required

CreditInfo = [Jane, 16000] AcceptCredit. Fig Process instance where request approval activity is not required 4.7 Business Process Modeling Notation 205 RiskFactor = low CreditInfo = [Miller, 15000] Accept Credit CreditInfo = [Miller, 15000] CreditInfo = [Jane, 16000] CreditInfo = [Jane, 16000] RiskFactor = low

More information

Dealing with Artifact-Centric Systems: a Process Mining Approach

Dealing with Artifact-Centric Systems: a Process Mining Approach Dealing with Artifact-Centric Systems: a Process Mining Approach Guangming Li and Renata Medeiros de Carvalho 2 Abstract: Process mining provides a series of techniques to analyze business processes based

More information

Enabling Time-Aware Process Support with the ATAPIS Toolset

Enabling Time-Aware Process Support with the ATAPIS Toolset Enabling Time-Aware Process Support with the ATAPIS Toolset Andreas Lanz and Manfred Reichert Institute of Databases and Information Systems, Ulm University, Germany {andreas.lanz,manfred.reichert}@uni-ulm.de

More information

ArchiMate 2.0. Structural Concepts Behavioral Concepts Informational Concepts. Business. Application. Technology

ArchiMate 2.0. Structural Concepts Behavioral Concepts Informational Concepts. Business. Application. Technology ArchiMate Core Structural Concepts Behavioral Concepts Informational Concepts interaction Technology Application Layer Concept Description Notation Concept Description Notation Actor An organizational

More information

Towards Process-based Composition of Activities for Collecting Data in Supply Chains

Towards Process-based Composition of Activities for Collecting Data in Supply Chains Towards Process-based Composition of Activities for Collecting Data in Supply Chains Gregor Grambow, Nicolas Mundbrod, Vivian Steller and Manfred Reichert Institute of Databases and Information Systems

More information

Business Process Management Seminar 2007/ Oktober 2007

Business Process Management Seminar 2007/ Oktober 2007 Business Process Management Seminar 2007/2008 22. Oktober 2007 Process 2 Today Presentation of topics Deadline 29.10.2007 9:00 Rank up to 3 topics - send to hagen.overdick@hpi.uni-potsdam.de 3.12.2007

More information

Domain-Driven Development with Ontologies and Aspects

Domain-Driven Development with Ontologies and Aspects Domain-Driven Development with Ontologies and Aspects Submitted for Domain-Specific Modeling workshop at OOPSLA 2005 Latest version of this paper can be downloaded from http://phruby.com Pavel Hruby Microsoft

More information

21. Business Process Analysis (3)

21. Business Process Analysis (3) 21. Business Process Analysis (3) DE + IA (INFO 243) - 2 April 2008 Bob Glushko 1 of 43 4/1/2008 3:34 PM Plan for Today's Class Business Transaction Patterns Business Signals Collaborations and Choreography

More information

Alignment of Business and IT - ArchiMate. Dr. Barbara Re

Alignment of Business and IT - ArchiMate. Dr. Barbara Re Alignment of Business and IT - ArchiMate Dr. Barbara Re What is ArchiMate? ArchiMate is a modelling technique ("language") for describing enterprise architectures. It presents a clear set of concepts within

More information

Practical UML - A Hands-On Introduction for Developers

Practical UML - A Hands-On Introduction for Developers Practical UML - A Hands-On Introduction for Developers By: Randy Miller (http://gp.codegear.com/authors/edit/661.aspx) Abstract: This tutorial provides a quick introduction to the Unified Modeling Language

More information

Supporting the Workflow Management System Development Process with YAWL

Supporting the Workflow Management System Development Process with YAWL Supporting the Workflow Management System Development Process with YAWL R.S. Mans 1, W.M.P. van der Aalst 1 Department of Mathematics and Computer Science, Eindhoven University of Technology, P.O. ox 513,

More information

A Tool for Checking Soundness of Decision-Aware Business Processes

A Tool for Checking Soundness of Decision-Aware Business Processes A Tool for Checking Soundness of Decision-Aware Business Processes Kimon Batoulis and Mathias Weske Hasso Plattner Institute at the University of Potsdam, Potsdam, Germany {Kimon.Batoulis,Mathias.Weske}@hpi.de

More information

On Utilizing Web Service Equivalence for Supporting the Composition Life Cycle

On Utilizing Web Service Equivalence for Supporting the Composition Life Cycle On Utilizing Web Service Equivalence for Supporting the Composition Life Cycle Stefanie Rinderle-Ma 1, Manfred Reichert 2, Martin Jurisch 3 1 Workflow Systems and Technology Group, University of Vienna,

More information

Data and Process Modelling

Data and Process Modelling Data and Process Modelling 8a. BPMN - Basic Modelling Marco Montali KRDB Research Centre for Knowledge and Data Faculty of Computer Science Free University of Bozen-Bolzano A.Y. 2014/2015 Marco Montali

More information

Flexibility for Distributed Workflows *

Flexibility for Distributed Workflows * Flexibility for Distributed Workflows * Manfred Reichert 1,2, Thomas Bauer 3, Peter Dadam 1 1 Institute of Databases and Information Systems, University of Ulm, Germany 2 Information Systems Group, University

More information

Business Process Management

Business Process Management Business Process Management Mathias Weske Business Process Management Concepts, Languages, Architectures Second Edition Mathias Weske Hasso Plattner Institute (HPI) Universität Potsdam Potsdam, Germany

More information

THE SELECTION OF THE ARCHITECTURE OF ELECTRONIC SERVICE CONSIDERING THE PROCESS FLOW

THE SELECTION OF THE ARCHITECTURE OF ELECTRONIC SERVICE CONSIDERING THE PROCESS FLOW THE SELECTION OF THE ARCHITECTURE OF ELECTRONIC SERVICE CONSIDERING THE PROCESS FLOW PETERIS STIPRAVIETIS, MARIS ZIEMA Institute of Computer Control, Automation and Computer Engineering, Faculty of Computer

More information

Practical UML : A Hands-On Introduction for Developers

Practical UML : A Hands-On Introduction for Developers Borland.com Borland Developer Network Borland Support Center Borland University Worldwide Sites Login My Account Help Search Practical UML : A Hands-On Introduction for Developers - by Randy Miller Rating:

More information

1 Executive Overview The Benefits and Objectives of BPDM

1 Executive Overview The Benefits and Objectives of BPDM 1 Executive Overview The Benefits and Objectives of BPDM This is an excerpt from the Final Submission BPDM document posted to OMG members on November 13 th 2006. The full version of the specification will

More information

Workflow Time Patterns for Process-Aware Information Systems

Workflow Time Patterns for Process-Aware Information Systems Workflow Time Patterns for Process-Aware Information Systems Andreas Lanz 1,BarbaraWeber 2, and Manfred Reichert 1 1 Institute of Databases and Information Systems, Ulm University, Germany {Andreas.Lanz,Manfred.Reichert}@uni-ulm.de

More information

Striving for Object-aware Process Support: How Existing Approaches Fit Together

Striving for Object-aware Process Support: How Existing Approaches Fit Together Striving for Object-aware Process Support: How Existing Approaches Fit Together Vera Künzle and Manfred Reichert Institute of Databases and Information Systems, Ulm University, Germany {vera.kuenzle,manfred.reichert}@uni-ulm.de

More information

Visual Modeling of Business Process Compliance Rules with the Support of Multiple Perspectives

Visual Modeling of Business Process Compliance Rules with the Support of Multiple Perspectives Visual Modeling of Business Process Compliance Rules with the Support of Multiple Perspectives David Knuplesch 1, Manfred Reichert 1, Linh Thao Ly 1, Akhil Kumar 2, and Stefanie Rinderle-Ma 3 1 Institute

More information

From IHE Audit Trails to XES Event Logs Facilitating Process Mining

From IHE Audit Trails to XES Event Logs Facilitating Process Mining 40 Digital Healthcare Empowering Europeans R. Cornet et al. (Eds.) 2015 European Federation for Medical Informatics (EFMI). This article is published online with Open Access by IOS Press and distributed

More information

Reasoning on Business Processes and Ontologies in a Logic Programming Environment

Reasoning on Business Processes and Ontologies in a Logic Programming Environment Reasoning on Business Processes and Ontologies in a Logic Programming Environment Michele Missikoff 1, Maurizio Proietti 1, Fabrizio Smith 1,2 1 IASI-CNR, Viale Manzoni 30, 00185, Rome, Italy 2 DIEI, Università

More information

May 31, 2011 Semantic Technologies For Business Process Management

May 31, 2011 Semantic Technologies For Business Process Management May 31, 2011 DIA@RomaTRE Semantic Technologies For Business Process Management Fabrizio Smith (IASI-CNR, Univaq) Maurizio Proietti (IASI-CNR) Michele Missikoff (IASI-CNR) Outline (Semantic) Business Process

More information

Enabling Flexibility in Process-Aware

Enabling Flexibility in Process-Aware Manfred Reichert Barbara Weber Enabling Flexibility in Process-Aware Information Systems Challenges, Methods, Technologies ^ Springer Part I Basic Concepts and Flexibility Issues 1 Introduction 3 1.1 Motivation

More information

Flexab Flexible Business Process Model Abstraction

Flexab Flexible Business Process Model Abstraction Flexab Flexible Business Process Model Abstraction Matthias Weidlich, Sergey Smirnov, Christian Wiggert, and Mathias Weske Hasso Plattner Institute, Potsdam, Germany {matthias.weidlich,sergey.smirnov,mathias.weske}@hpi.uni-potsdam.de,

More information

Managing Virtual Records in Relational Databases. Frank Wm. Tompa Ahmed Ataullah

Managing Virtual Records in Relational Databases. Frank Wm. Tompa Ahmed Ataullah Managing Virtual Records in Relational Databases Frank Wm. Tompa Ahmed Ataullah ACKNOWLEDGEMENTS Records Retention in Database Management Systems, in CIKM 2008, 873-882 (co-authored with Ashraf Aboulnaga).

More information

Purpose-based Versus Flow-based Access Control for Privacy

Purpose-based Versus Flow-based Access Control for Privacy Journal of Computer Science 8 (4): 564-572, 2012 ISSN 1549-3636 2012 Science Publications Purpose-based Versus Flow-based Access Control for Privacy Sabah Al-Fedaghi, Bashayer Al-Babtain and Maha Al-Fahad

More information

A Recommender System for Business Process Models

A Recommender System for Business Process Models A Recommender System for Business Process Models Thomas Hornung Institute of Computer Science, Albert-Ludwigs University Freiburg, Germany hornungt@ informatik.uni-freiburg.de Agnes Koschmider, Andreas

More information

Definition of Information Systems

Definition of Information Systems Information Systems Modeling To provide a foundation for the discussions throughout this book, this chapter begins by defining what is actually meant by the term information system. The focus is on model-driven

More information

A Normative Language Approach to the Application of Petri Nets for Clinical Workflows

A Normative Language Approach to the Application of Petri Nets for Clinical Workflows A Normative Language Approach to the Application of Petri Nets for Clinical Workflows Kamyar Sarshar, Peter Loos Johannes Gutenberg-Universität Mainz Information Systems & Management Lehrstuhl Wirtschaftsinformatik

More information

A Formal Model for Web-Service Composition

A Formal Model for Web-Service Composition Simon Foster Department of Computer Science University of Sheffield http://www.dcs.shef.ac.uk/~simonf BCTCS 2006 Outline 1 Composing Web-Services Current Technologies 2 3 4 Outline

More information

BPMN Getting Started Guide

BPMN Getting Started Guide Enterprise Studio BPMN Getting Started Guide 2017-09-21 Applies to: Enterprise Studio 3.0.0, Team Server 3.0.0 Table of contents 1 About modeling with BPMN 5 1.1 What is BPMN? 5 1.2 BPMN modeling 5 1.3

More information

Process Modelling using Petri Nets

Process Modelling using Petri Nets Process Modelling using Petri Nets Katalina Grigorova Abstract: This paper discusses the reasons, which impose Petri nets as a conceptual standard for modelling and analysis of workflow. Petri nets notation

More information

Towards Process Instances Building for Spaghetti Processes

Towards Process Instances Building for Spaghetti Processes Towards Process Instances Building for Spaghetti Processes Claudia Diamantini 1, Laura Genga 1, Domenico Potena 1, and Wil M.P. van der Aalst 2 1 Information Engineering Department Università Politecnica

More information

Requirements Engineering for Enterprise Systems

Requirements Engineering for Enterprise Systems Association for Information Systems AIS Electronic Library (AISeL) AMCIS 2001 Proceedings Americas Conference on Information Systems (AMCIS) December 2001 Requirements Engineering for Enterprise Systems

More information

Formal Foundation of Workflow Hyperpaths and a Graph Search Algorithm for Workflow Hyperpath Generation

Formal Foundation of Workflow Hyperpaths and a Graph Search Algorithm for Workflow Hyperpath Generation Formal Foundation of Workflow Hyperpaths and a Graph Search Algorithm for Workflow Hyperpath Generation Sinnakkrishnan Perumal and Ambuj Mahanti Indian Institute of Management Calcutta, Joka, D.H. Road,

More information

Enhancing the Case Handling Paradigm to Support Object-aware Processes

Enhancing the Case Handling Paradigm to Support Object-aware Processes Enhancing the Case Handling Paradigm to Support Object-aware Processes Carolina Ming Chiao, Vera Künzle, and Manfred Reichert Institute of Databases and Information Systems, Ulm University, Germany {carolina.chiao,vera.kuenzle,manfred.reichert}@uni-ulm.de

More information

REENGINEERING SYSTEM

REENGINEERING SYSTEM GENERAL OBJECTIVES OF THE SUBJECT At the end of the course, Individuals will analyze the characteristics of the materials in the industries, taking into account its advantages and functionality, for their

More information

Open Work of Two-Hemisphere Model Transformation Definition into UML Class Diagram in the Context of MDA

Open Work of Two-Hemisphere Model Transformation Definition into UML Class Diagram in the Context of MDA Open Work of Two-Hemisphere Model Transformation Definition into UML Class Diagram in the Context of MDA Oksana Nikiforova and Natalja Pavlova Department of Applied Computer Science, Riga Technical University,

More information

LECTURE 3: BUSINESS ARCHITECTURE ASPECTS: BUSINESS PROCESS MODELLING

LECTURE 3: BUSINESS ARCHITECTURE ASPECTS: BUSINESS PROCESS MODELLING LECTURE 3: BUSINESS ARCHITECTURE ASPECTS: BUSINESS PROCESS MODELLING CA4101 Lecture Notes (Martin Crane 2017) 1 Historical View of BP Modelling Work Process Flow (early to mid 1900s) o Frank Gilbreth &

More information

Adaptive Guideline-based Treatment Workflows with AdaptFlow

Adaptive Guideline-based Treatment Workflows with AdaptFlow In: Kaiser, K., Miksch, S., Tu, S.W. (eds.): Computer-based Support for Clinical Guidelines and Protocols. Proceedings of the Symposium on Computerized Guidelines and Protocols (CGP 2004). Prague. IOS

More information

Systems Design: SysML vs. Flowthing Modeling

Systems Design: SysML vs. Flowthing Modeling , pp.355-370 http://dx.doi.org/10.14257/ijseia.2014.8.1.31 Systems Design: SysML vs. Flowthing Modeling Sabah Al-Fedaghi Kuwait University sabah@alfedaghi.com Abstract In model-based systems engineering,

More information

Data Model and Software Architecture for Business Process Model Generator

Data Model and Software Architecture for Business Process Model Generator VOL 2 (2018) NO 4-2 e-issn : 2549-9904 ISSN : 2549-9610 INTERNATIONAL JOURNAL ON INFORMATICS VISUALIZATION Data Model and Software Architecture for Business Process Model Generator Ivaylo Kamenarov #,

More information

Enterprise Architecture

Enterprise Architecture Enterprise Architecture Dr. Adnan Albar Faculty of Computing & Information Technology King AbdulAziz University - Jeddah 1 Dimensions of Architectural Modeling Lecture 7 Week 6 Slides King AbdulAziz University

More information

Towards a Task-Oriented, Policy-Driven Business Requirements Specification for Web Services

Towards a Task-Oriented, Policy-Driven Business Requirements Specification for Web Services Towards a Task-Oriented, Policy-Driven Business Requirements Specification for Web Services Stephen Gorton and Stephan Reiff-Marganiec Department of Computer Science, University of Leicester University

More information

Process Querying in Apromore

Process Querying in Apromore Process Querying in Apromore Artem Polyvyanyy 1, Luigi Corno 2, Raffaele Conforti 1, Simon Raboczi 1, Marcello La Rosa 1,3, and Giancarlo Fortino 2 1 Queensland University of Technology, Brisbane, Australia

More information

Design and Implementation of Task Management Lifecycle Concepts based on Process Mining Master s Thesis at Ulm University

Design and Implementation of Task Management Lifecycle Concepts based on Process Mining Master s Thesis at Ulm University Ulm University 89069 Ulm Germany Faculty of Engineering and Computer Science Institute of Databases and Information Systems Design and Implementation of Task Management Lifecycle Concepts based on Process

More information

IBM Research Report. Model-Driven Business Transformation and Semantic Web

IBM Research Report. Model-Driven Business Transformation and Semantic Web RC23731 (W0509-110) September 30, 2005 Computer Science IBM Research Report Model-Driven Business Transformation and Semantic Web Juhnyoung Lee IBM Research Division Thomas J. Watson Research Center P.O.

More information

Experiences with OWL-S, Directions for Service Composition:

Experiences with OWL-S, Directions for Service Composition: Experiences with OWL-S, Directions for Service Composition: The Cashew Position Barry Norton 1 Knowledge Media Institute, Open University, Milton Keynes, UK b.j.norton@open.ac.uk Abstract. Having used

More information

VERIFYING BPMN PROCESSES USING GENERALIZED NETS. Pavel Tcheshmedjiev

VERIFYING BPMN PROCESSES USING GENERALIZED NETS. Pavel Tcheshmedjiev Годишник на секция Информатика Съюз на учените в България Том 5, 2012, 111-119 Annual of Informatics Section Union of Scientists in Bulgaria Volume 5, 2012, 111-119 VERIFYING BPMN PROCESSES USING GENERALIZED

More information

ERD Getting Started Guide

ERD Getting Started Guide Enterprise Studio ERD Getting Started Guide 2017-09-21 Applies to: Enterprise Studio 3.0.0, Team Server 3.0.0 Table of contents 1 About modeling with ERD 4 1.1 What are entity-relationship diagrams? 4

More information

The onprom Toolchain for Extracting Business Process Logs using Ontology-based Data Access

The onprom Toolchain for Extracting Business Process Logs using Ontology-based Data Access The onprom Toolchain for Extracting Business Process Logs using Ontology-based Data Access Diego Calvanese, Tahir Emre Kalayci, Marco Montali, and Ario Santoso KRDB Research Centre for Knowledge and Data

More information

Dierencegraph - A ProM Plugin for Calculating and Visualizing Dierences between Processes

Dierencegraph - A ProM Plugin for Calculating and Visualizing Dierences between Processes Dierencegraph - A ProM Plugin for Calculating and Visualizing Dierences between Processes Manuel Gall 1, Günter Wallner 2, Simone Kriglstein 3, Stefanie Rinderle-Ma 1 1 University of Vienna, Faculty of

More information

Activity Diagram Written Date : September 02, 2016

Activity Diagram Written Date : September 02, 2016 Written Date : September 02, 2016 s describe how activities are coordinated to provide a service which can be at different levels of abstraction. Typically, an event needs to be achieved by some operation,

More information

Chapter 2 Process-Aware Information Systems

Chapter 2 Process-Aware Information Systems Chapter 2 Process-Aware Information Systems Abstract The success of commercial enterprises increasingly depends on their ability to flexibly and quickly react to changes in their environment. Businesses

More information

Declarative Workflows

Declarative Workflows Informatik - Forschung und Entwicklung manuscript No. (will be inserted by the editor) W.M.P. van der Aalst M. Pesic H. Schonenberg Declarative Workflows Balancing Between Flexibility and Support Eingegangen:

More information

White Paper. The Evolution of RBAC Models to Next-Generation ABAC: An Executive Summary

White Paper. The Evolution of RBAC Models to Next-Generation ABAC: An Executive Summary White Paper The Evolution of RBAC Models to Next-Generation ABAC: An Executive Summary 2 Overview: IT security has gone through major changes. Enterprises today are facing a rapid expansion of diverse

More information

IJESMR International Journal OF Engineering Sciences & Management Research

IJESMR International Journal OF Engineering Sciences & Management Research COMPARISON OF BUSINESS PROCESS MODELING STANDARDS Katalina Grigorova * 1, Kaloyan Mironov 2 *1 Department of Informatics and Information Technologies, University of Ruse, Bulgaria 2 Department of Informatics

More information

Copyright 2016 Ramez Elmasri and Shamkant B. Navathe

Copyright 2016 Ramez Elmasri and Shamkant B. Navathe CHAPTER 4 Enhanced Entity-Relationship (EER) Modeling Slide 1-2 Chapter Outline EER stands for Enhanced ER or Extended ER EER Model Concepts Includes all modeling concepts of basic ER Additional concepts:

More information

An Analytical Evaluation of BPMN Using a Semiotic Quality Framework

An Analytical Evaluation of BPMN Using a Semiotic Quality Framework An Analytical Evaluation of BPMN Using a Semiotic Quality Framework Terje Wahl, Guttorm Sindre Department of Computer and Information Science, Norwegian University of Science and Technology, Sem Sælands

More information

AN ONTOLOGICAL EVALUATION OF JACKSON'S SYSTEM DEVELOPMENT MODEL. Fiona Rohde. Department of Commerce The University of Queensland, 4072.

AN ONTOLOGICAL EVALUATION OF JACKSON'S SYSTEM DEVELOPMENT MODEL. Fiona Rohde. Department of Commerce The University of Queensland, 4072. AN ONTOLOGICAL EVALUATION OF JACKSON'S SYSTEM DEVELOPMENT MODEL Fiona Rohde Department of Commerce The University of Queensland, 4072. Australia ABSTRACT Within the discipline of information systems, numerous

More information

MASSiVE, Unità di Torino

MASSiVE, Unità di Torino MASSiVE, Unità di Torino Personalization, verification and conformance for logic-based communicating agents M. Baldoni, C. Baroglio, A. Martelli, V. Mascardi, V. Patti, C. Schifanella, L. Torasso 1 Main

More information

The Process Checklist Generator: Establishing Paper-based Process Support

The Process Checklist Generator: Establishing Paper-based Process Support The Process Checklist Generator: Establishing Paper-based Process Support Marcel Bankau, Michaela Baumann, Michael Heinrich Baumann?, Stefan Schönig, and Stefan Jablonski University of Bayreuth, Universitätsstraße

More information

The Process Checklist Generator: Establishing Paper-based Process Support

The Process Checklist Generator: Establishing Paper-based Process Support The Process Checklist Generator: Establishing Paper-based Process Support Marcel Bankau, Michaela Baumann, Michael Heinrich Baumann, Stefan Schönig, and Stefan Jablonski University of Bayreuth, Universitätsstraße

More information

Towards Choreography Transactions

Towards Choreography Transactions Towards Choreography Transactions Oliver Kopp, Matthias Wieland, and Frank Leymann Institute of Architecture of Application Systems, University of Stuttgart, Germany Universitätsstraße 38, 70569 Stuttgart,

More information

EXAM PREPARATION GUIDE

EXAM PREPARATION GUIDE When Recognition Matters EXAM PREPARATION GUIDE PECB Certified ISO 22000 Lead Implementer www.pecb.com The objective of the Certified ISO 22000 Lead Implementer examination is to ensure that the candidate

More information

Enhanced Entity-Relationship (EER) Modeling

Enhanced Entity-Relationship (EER) Modeling CHAPTER 4 Enhanced Entity-Relationship (EER) Modeling Copyright 2017 Ramez Elmasri and Shamkant B. Navathe Slide 1-2 Chapter Outline EER stands for Enhanced ER or Extended ER EER Model Concepts Includes

More information

A declarative meta modeling approach to define process migration constraints

A declarative meta modeling approach to define process migration constraints A declarative meta modeling approach to define process migration constraints Bram Leemburg, s1398334 Master thesis Software Engineering & Distributed Systems University of Groningen Supervisor: prof. dr.

More information

Mining with Eve - Process Discovery and Event Structures

Mining with Eve - Process Discovery and Event Structures Mining with Eve - Process Discovery and Event Structures Robin Bergenthum, Benjamin Meis Department of Software Engineering, FernUniversität in Hagen {firstname.lastname}@fernuni-hagen.de Abstract. This

More information

SOFTWARE ENGINEERING UML FUNDAMENTALS. Saulius Ragaišis.

SOFTWARE ENGINEERING UML FUNDAMENTALS. Saulius Ragaišis. SOFTWARE ENGINEERING UML FUNDAMENTALS Saulius Ragaišis saulius.ragaisis@mif.vu.lt Information source Slides are prepared on the basis of Bernd Oestereich, Developing Software with UML: Object- Oriented

More information

White Paper Workflow Patterns and BPMN

White Paper Workflow Patterns and BPMN White Paper Workflow Patterns and BPMN WP0121 December 2013 In general, a pattern describes a solution for a recurring problem. Patterns are commonly used in architecture as a formal way of documenting

More information

EXAM PREPARATION GUIDE

EXAM PREPARATION GUIDE When Recognition Matters EXAM PREPARATION GUIDE PECB Certified ISO 22000 Lead Auditor www.pecb.com The objective of the Certified ISO 22000 Lead Auditor examination is to ensure that the candidate has

More information

UNIT-4 Behavioral Diagrams

UNIT-4 Behavioral Diagrams UNIT-4 Behavioral Diagrams P. P. Mahale Behavioral Diagrams Use Case Diagram high-level behaviors of the system, user goals, external entities: actors Sequence Diagram focus on time ordering of messages

More information

Comparison of Simple Graphical Process Models

Comparison of Simple Graphical Process Models JIOS, VOL. 36, NO. 2 (2012) SUBMITTED 07/12; ACCEPTED 10/12 Comparison of Simple Graphical Process Models Katarina Tomičić-Pupek University of Zagreb Faculty of Organization and Informatics Varaždin Ivan

More information

Event-driven Process Engines Background. Matthias Weidlich

Event-driven Process Engines Background. Matthias Weidlich Event-driven Process Engines Background Matthias Weidlich read occurring events read / write Setting defined by data attributes Simple Event Type Complex Event Type defined by a query to be evaluated over

More information

9 Patterns of Process Modeling

9 Patterns of Process Modeling 9 Patterns of Process Modeling WIL M.P. VAN DER AALST 1;2, ARTHUR H.M. TER HOFSTEDE 2, MARLON DUMAS 2 1 Eindhoven University of Technology, The Netherlands 2 Queensland University of Technology, Australia

More information

Visual support for work assignment in YAWL

Visual support for work assignment in YAWL Visual support for work assignment in YAWL Citation for published version (APA): Cardi, F., Leoni, de, M., Adams, M., Hofstede, ter, A. H. M., & Aalst, van der, W. M. P. (2009). Visual support for work

More information

Configurable Process Models as a Basis for Reference Modeling position paper

Configurable Process Models as a Basis for Reference Modeling position paper Configurable Process Models as a Basis for Reference Modeling position paper W.M.P. van der Aalst 1,3, A. Dreiling 2,3, M. Rosemann 3,andM.H. Jansen-ullers 1 1 Department of Technology Management, Eindhoven

More information

arxiv: v2 [cs.se] 6 May 2014

arxiv: v2 [cs.se] 6 May 2014 Modeling and Execution of Multienterprise Business Processes Robert Singer 1, Johannes Kotremba 2, and Stefan Raß 2 1 FH JOANNEUM University of Applied Sciences 2 StrICT Solutions GmbH arxiv:1404.7618v2

More information

Using Component-oriented Process Models for Multi-Metamodel Applications

Using Component-oriented Process Models for Multi-Metamodel Applications Using Component-oriented Process Models for Multi-Metamodel Applications Fahad R. Golra Université Européenne de Bretagne Institut Télécom / Télécom Bretagne Brest, France Email: fahad.golra@telecom-bretagne.eu

More information

Ontology and Hyper Graph Based Dashboards in Data Warehousing Systems

Ontology and Hyper Graph Based Dashboards in Data Warehousing Systems Ontology and Hyper Graph Based Dashboards in Data Warehousing Systems Gitanjali.J #1, C Ranichandra #2, Meera Kuriakose #3, Revathi Kuruba #4 # School of Information Technology and Engineering, VIT University

More information

TRANSLATING BPMN TO E-GSM: SPECIFICATIONS AND RULES. Giovanni Meroni, Luciano Baresi, Pierluigi Plebani

TRANSLATING BPMN TO E-GSM: SPECIFICATIONS AND RULES. Giovanni Meroni, Luciano Baresi, Pierluigi Plebani TRANSLATING BPMN TO E-GSM: SPECIFICATIONS AND RULES Giovanni Meroni, Luciano Baresi, Pierluigi Plebani Politecnico di Milano Dipartimento di Elettronica Informazione e Bioingegneria Piazza Leonardo da

More information

Petri-net-based Workflow Management Software

Petri-net-based Workflow Management Software Petri-net-based Workflow Management Software W.M.P. van der Aalst Department of Mathematics and Computing Science, Eindhoven University of Technology, P.O. Box 513, NL-5600 MB, Eindhoven, The Netherlands,

More information