Generating Correct EPCs from Configured C-EPCs* Jan MendlingVienna University of Economics Jan ReckerQueensland University of Technology Michael RosemannQueensland.

Slides:



Advertisements
Similar presentations
The transformation of an ER or EER model into a relational model
Advertisements

Workflow Management Appendix B. Workflow Modelling using UML Wil van der Aalst has copyrights to almost all figures in the following slideshow made by.
PROJECT RISK MANAGEMENT
L9 – State Assignment and gate implementation. States Assignment  Rules for State Assignment  Application of rule  Gate Implementation  Ref: text.
A university for the world real R © 2009, Chapter 3 Advanced Synchronization Moe Wynn Wil van der Aalst Arthur ter Hofstede.
Sequential Patterns & Process Mining Current State of Research Edgar de Graaf LIACS.
Lecture # 2 : Process Models
Information Technology IMS5024 Information Systems Modelling Event-driven modelling.
Towards Workflow Pattern Support of Event-Driven Process Chains (EPC) Jan Mendling, Gustaf Neumann Dept. of IS and New Media, WU Wien, Austria Markus Nüttgens.
Programming Distributed Systems Lab Institute of Computer Science University of Augsburg Universitätsstraße 14, D Augsburg Tel.: (+49) 821/ ,
Mining Declarative Models using Intervals Jan Martijn van der Werf Ronny Mans Wil van der Aalst.
Introduction to BizAgi. Slide 2 User Interface (Summary) The user interface for BizAgi resembles Office It uses a similar ribbon The Palette contains.
Jiannong IMC Lab - Department of Computing, Hong Kong Polytechnic Univ. Slide 1 Architecture Description of Distributed Systems using UML and XML.
Automated Analysis and Code Generation for Domain-Specific Models George Edwards Center for Systems and Software Engineering University of Southern California.
ModelicaXML A Modelica XML representation with Applications Adrian Pop, Peter Fritzson Programming Environments Laboratory Linköping University.
Process Mining in CSCW Systems All truths are easy to understand once they are discovered; the point is to discover them. Galileo Galilei ( )
Requirements Analysis Concepts & Principles
SATEL Semi Automatic TEsting Language University of Geneva Levi Lúcio VALID Meeting - Besançon 10/3/06.
Pertemuan Matakuliah: A0214/Audit Sistem Informasi Tahun: 2007.
 Dr. Syed Noman Hasany.  Review of known methodologies  Analysis of software requirements  Real-time software  Software cost, quality, testing and.
History-Dependent Petri Nets Kees van Hee, Alexander Serebrenik, Natalia Sidorova, Wil van der Aalst ?
Principles of Procedural Programming
Requirements Model Inputs (Test Sequences) Expected outputs Implementation Verdict Author Generate Feedback.
Department of Computer Science 1 CSS 496 Business Process Re-engineering for BS(CS)
A university for the world real R © 2009, Chapter 17 Process Mining and Simulation Moe Wynn Anne Rozinat Wil van der Aalst Arthur.
A university for the world real R © 2009, Chapter 14 EPCs Jan Mendling.
Deriving AO Software Architectures using the AO-ADL Tool Suite Luis Fernández, Lidia Fuentes, Mónica Pinto, Juan A. Valenzuela Universidad de Málaga
A university for the world real R © 2009, Chapter 18 Process Configuration Florian Gottschalk Marcello La Rosa.
Dr Marcello La Rosa BPM Research Group, Queensland University of Technology.
The 7th International Web Rule Symposium: Research Based and Industry Focused (RuleML 2013) July 11-13, 2013, Seattle, USA.
Agenda  Purpose  Definition  Processes  Performance Reports  Quality Control  Risk Monitoring & Control  Change Requests 5.3.
Scientific Workflow Interchanging Through Patterns: Reversals and Lessons Learned Bruno Fernandes Bastos Regina Maria Maciel Braga Antônio Tadeu Azevedo.
Validated Model Transformation Tihamér Levendovszky Budapest University of Technology and Economics Department of Automation and Applied Informatics Applied.
A language to describe software texture in abstract design models and implementation.
Experiences in enhancing existing BPM Tools with BPEL Import and Export Jan MendlingVienna University of Economics Kristian Bisgaard LassenUniversity of.
Hybrid Transformation Modeling Integrating a Declarative with an Imperative Model Transformation Language Pieter Van Gorp
ESM Analysis of BioSim Configurations Izaak Neveln General Engineering University of Illinois Advisors: Haibei Jiang Professor Luis Rodriguez.
Business Process Design by View Integration J. MendlingVienna University of Economics C. SimonUniversity of Koblenz.
Presented By Dr. Mohsen Alardhi College of Technological Studies, Kuwait April 19 th,2009.
Visual Specification of a DSL Processor Debugger Tamás Mészáros and Tihamér Levendovszky Budapest University of Technology and Economics.
TK2023 Object-Oriented Software Engineering CHAPTER 12 Introduction to Responsibility-Driven Design.
Developing Product Line Components Jan Bosch Professor of Software Engineering University of Groningen, Netherlands
Inferring Declarative Requirements Specification from Operational Scenarios IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 24, NO. 12, DECEMBER, 1998.
Motivation FACE architecture encourages modularity of components on data boundaries Transport Services Segment interface is centered on sending and receiving.
Decomposing Replay Problems: A Case Study Eric Verbeek and Wil van der Aalst.
CS223: Software Engineering
2000 Research Overview Dr. Kim Mens Programming Technology Lab Vrije Universiteit Brussel.
Transformation Strategies between Block-Oriented and Graph-Oriented Process Modeling Languages Jan MendlingVienna University of Economics (WU Wien) Kristian.
Michael Radloff, Martin Schultz 12th International Conference BPM 2014 Modeling Concepts for Internal Controls in Business Processes – an Empirically Grounded.
Sheet 1MDAFA2004 Linköping, June 2004 A Language for Model Transformations in the MOF Architecture Ivan Kurtev, Klaas van den Berg University of Twente,
Digital Logic Design Lecture 29. Announcements Homework 9 due today Please fill out Course Evaluations online. Final exam will be on Thursday, Dec. 18.
1 Introduction to XML Babak Esfandiari. 2 What is XML? introduced by W3C in 98 Stands for eXtensible Markup Language it is more general than HTML, but.
A Discourse on Complexity of Process Models J. CardosoUniversidade da Madeira J. MendlingVienna University of Economics G. NeumannVienna University of.
Multi-phase Process Mining: Building Instance Graphs
Concurrent Systems Modeling using Petri Nets
Building SimQuest simulations
Detection and Prediction of Errors in EPC Business Process Models
Daniel Strüber University of Koblenz and Landau
Introduction to Software Testing Chapter 5.1 Syntax-based Testing
Business Process Redesign
Concurrent Systems Modeling using Petri Nets – Part II
Wil van der Aalst Eindhoven University of Technology
Michael Schäfer, Mark van der Loo & Olav ten Bosch
Wil van der Aalst Eindhoven University of Technology
A graphing calculator is required for some problems or parts of problems 2000.
Introduction to Software Testing Chapter 5.1 Syntax-based Testing
Automated Analysis and Code Generation for Domain-Specific Models
Detection and Prediction of Errors in EPC Business Process Models
EXPLICIT RULES: INPUT-OUTPUT FORMULAS
Faulty EPCs in the SAP Reference Model
Presentation transcript:

Generating Correct EPCs from Configured C-EPCs* Jan MendlingVienna University of Economics Jan ReckerQueensland University of Technology Michael RosemannQueensland University of Technology Wil van der Aalst Eindhoven University of Technology * The research on the C-EPC is financially supported by SAP Research.

Folie 2 Agenda 1.What is the idea of configurable reference models? 2.What are EPCs, what are Configurable EPCs? 3.How to derive correct EPCs from a configured C-EPC? 4.Conclusion

Folie 3 Agenda What is the idea of configurable reference models?

Folie 4 From Reference Model of Instantiation

Folie 5 Agenda What are EPCs?

Folie 6 EPC symbols EPC syntax rules: Alternate functions and events No OR and XOR split after events

Folie 7 EPC example from the SAP reference model

Folie 8 Agenda What are Configurable EPCs?

Folie 9 C-EPC Example Configurable EPC Configured C-EPC

Folie 10 Agenda How to derive correct EPCs from a configured C-EPC?

Folie 11 Three steps to arrive at minimal model Goal: Calculate Process Graph that is minimal for configured C-EPC Derive Configured Connectors Derive Configured Functions Apply Graph Reduction to Process Graph Proof-of-Concept Implementation: Input: C-EPC in EPC Markup Language (EPML) extension Output: EPC in EPML

Folie 12 Derive Configured Connectors

Folie 13 Derive Configured Functions

Folie 14 Reduce Graph

Folie 15 The configurable ‚vicious circle‘ example

Folie 16 Derive Configured Functions 1

Folie 17 Derive Configured Functions 2

Folie 18 Resulting EPC Process Model

Folie 19 Resulting EPC Process Model

Folie 20 Agenda Conclusion

Folie 21 Conclusion Configuration is promising to leverage reuse of reference models Configurable reference models make configuration choices explicit Future research: Tool support within ProM Engineering of configurable models

Folie 22 Thank you for your attention!

Folie 23 Agenda What are the problems of deriving configured EPC?

Folie 24 Example of a C-Function in a Sequence

Folie 25 Agenda How to derive configured EPCs?

Folie 26 Why XML-based C-EPCs? Have C-EPCs machine-processable for Validation: are requirements met? Transformation: calculate EPC from C-EPC Interchange: separate modeling and deployment

Folie 27 Configurable Functions Configurability: mark function as configurable Configuration: assign ON, OPT, or OFF to configurable function

Folie 28 Configurable Connectors Configurability: mark connector as configurable Configuration: assign AND, XOR, OR, or SEQ to c-connector depending on c-connector type

Folie 29 Further Configurability Aspects Configuration Requirements: constraints on the allowed configuration – must hold true Configuration Guidelines: advises on actual configuration – should hold true Configuration Order: recommended partial order identifying configuration sequences

Folie 30 C-EPC Validator based on XSLT

Folie 31 Conclusion Configuration is promising to leverage reuse of reference models Configurable reference models make configuration choices explicit Derivation of EPCs from C-EPCs Future research: Tool support Engineering of configurable models

Folie 32 Three steps to arrive at minimal model Goal: Calculate Process Graph that is minimal for configured C-EPC Derive Configured Connectors Derive Configured Functions Apply Graph Reduction to Process Graph Proof-of-Concept Implementation: Input: C-EPC in EPC Markup Language (EPML) extension Output: EPC in EPML

Folie 33 Derive Configured Connectors

Folie 34 Derive Configured Functions

Folie 35 Reduce Graph

Folie 36 The configurable ‚vicious circle‘ example

Folie 37 Derive Configured Functions 1

Folie 38 Derive Configured Functions 2

Folie 39 Resulting EPC Process Model

Folie 40 Resulting EPC Process Model

Folie 41 Agenda Conclusion

Folie 42 Conclusion Configuration is promising to leverage reuse of reference models Configurable reference models make configuration choices explicit Future research: Tool support Engineering of configurable models