Business Process Technology Master Seminar

Size: px
Start display at page:

Download "Business Process Technology Master Seminar"

Transcription

1 Business Process Technology Master Seminar BPT Group Summer Semester 2008

2 Agenda 2 Official Information Seminar Timeline Tasks Outline Topics Sergey Smirnov 17 April 2008

3 Official Information 3 Title: Business Process Technology Seminar Credit Points: 6 SWS: 4 Registration Deadline: 2 May 2008 Sergey Smirnov 17 April 2008

4 Seminar Timeline 4 topics submission paper draft submission review submission final presentation final paper submission topics presentation short presentation technical presentation Today April May July July July July July Sergey Smirnov 17 April 2008

5 Topic Distribution 5 topics submission three topics ranked by preference + name, student ID number sergey.smirnov@hpi.uni-potsdam.de topics presentation 22 April Sergey Smirnov 17 April 2008

6 Grading System 6 final presentation review submission final paper submission short presentation technical presentation Sergey Smirnov 17 April 2008

7 Outline Presentation min short presentation problem outline possible solutions Sergey Smirnov 17 April 2008

8 Technical Presentation 8 ~ 30 min talk +10 min discussion technical aspects technical presentation Sergey Smirnov 17 April 2008

9 Review Submission 9 max 16 pages LNCS style PDF paper draft submission review submission 2 peer reviews Sergey Smirnov 17 April 2008

10 10 Final Presentation ~ 30 min talk +10 min discussion overview of the whole work final presentation Sergey Smirnov 17 April 2008

11 Final Paper Submission 11 max 16 pages LNCS style PDF final paper submission Sergey Smirnov 17 April 2008

12 Business Process Technology Master Seminar Ahmed Awad

13 Using BPMN-Q to show violation of Execution ordering compliance rules 13 Build a plug-in to Oryx that: Review literature for tool support for explanation of violation to compliance rules. Use BPMN-Q's capabilities to express queries about the structure of process models to define queries (patterns) that would capture a violation of user-defined execution ordering constraint between activities. Extend BPMN-Q notation if necessary in order to complete this task. Ahmed Awad 17 April 2008

14 Example 14 Requirement: In all instances be sure that If A is executed B will eventually be executed. Formally this is equivalent to LTL expression G(A -> F(B)) This is violated by the counter example execution instance ACD. Ahmed Awad 17 April 2008

15 Business Process Technology Master Seminar Gero Decker

16 Usability of choreography languages 16 Buyer Order Order ack Payment Place order Send payment Seller vs. What notation is better suited for the human modeler? Send ack Read test: User retrieves information from a given model Write test: User creates models for given scenarios Design, conduct and interpret experiment Gero Decker 17 April 2008

17 Advanced Petri net constructs for an execution engine 17 Background Execute BPMN models transform to Petri nets execute PN Transformations available for place/transition nets Question: Would high-level constructs increase performance / simplify transformations? Validation through prototype (extending existing PN engine) Gero Decker 17 April 2008

18 Performance considerations for process execution engines 18 Background Process execution engine based on XML Petri nets Performance is key Question How do specific database designs / caching strategies / distribution strategies affect performance? Validation through prototype (extending existing PN engine) Gero Decker 17 April 2008

19 Business Process Technology Master Seminar Alexander Großkopf

20 Transforming EPCs to BPMN 20 Context: EPCs are wide spread in the industry and many processes have been modelled using this language. By now BPMN is the emerging process modelling standard. Transforming EPC models to BPMN however is not a simpe task Task: Identify a mapping from EPCs to BPMN and the missmatches in the language concepts. Propose extensions to annotate EPCs for a more comprehensive mapping. Envision how manual annotations could be automated for large amounts of models. Implement a prototype to show the mapping from annotated EPCs to BPMN. Literature: ( Puhlmann Siemens Report (by Frank Contact: alexander.grosskopf@hpi.uni-potsdam.de Alexander Großkopf 17 April 2008

21 Measure consistency of model hierarchies 21 Context: Processes are modeled on different levels of abstraction for different purposes. The connection between models on different levels can be very different. It may range from strong hierarchical refinement to arbitrary associations. Task: Investigate latest research and existing approaches to connect models on different levels of abstraction. Identify metrics to measure the degree of consistency which models models at different abstraction levels can have. Literature: Inubit BPM-Suite, A. Rozinat, W.M.P. van der Aalst, Conformance Testing: Measuring the Fit and Appropriateness of Event Logs and Process Models Contact: Alexander Großkopf 17 April 2008

22 Business Process Technology Master Seminar Artem Polyvyanyy

23 Hypergraph-based modeling of Control-Flow Patterns 23 Context: Flexible process graph (FPG) is a novel approach to model ad-hoc processes. As formal grounding, the approach uses hypergraphs, where each edge can associate any number of nodes. Hypergraphs are used to define execution semantics of ad-hoc processes formally. Task: Though FPG is an approach designed specifically to model ad-hoc business processes it can be applied to model regular control-flow patterns. It should be studied how well does FPG suits this task. Based on the evaluation results, FPG extension proposals should be formulated. These might include introduction of minimal set of hyperedge types, extension of the process execution semantics, etc. Proposed extensions should allow to model regular control-flow patterns by means of FPG. Literature: "Hypergraph-based Modeling of Ad-Hoc Business Processes", Artem Polyvyanyy and Mathias Weske Artem Polyvyanyy 17 April 2008

24 Hypergraph-based modeling of Control-Flow Patterns 24 Artem Polyvyanyy 17 April 2008

25 Hypergraph-based modeling of Control-Flow Patterns 25 Artem Polyvyanyy 17 April 2008

26 Hypergraph-based modeling of Control-Flow Patterns 26 Artem Polyvyanyy 17 April 2008

27 Abstracting from Business Process Details 27 Context: Many companies have documented their business processes well in the form of models. Unfortunately, in many cases the resulting models are rather complex, so that the overall process logic is hidden in low level process details. Abstraction is the technique aimed to generalize details to derive model overview. Task: A general process model formalism should be extracted from existing process modeling techniques: EPC, Petri nets, Workflow nets. Elementary abstractions, rules that define how process fragments can be generalized, should be developed using proposed process formalism and extend the initial set which is proposed in the literature. Each introduced elementary abstraction should specify process semantics for the abstracted process fragment. Literature: "Reducing the Complexity of Large EPCs", Artem Polyvyanyy, Sergey Smirnov, Mathias Weske Artem Polyvyanyy 17 April 2008

28 Abstracting from Business Process Details 28 Artem Polyvyanyy 17 April 2008

29 Abstracting from Business Process Details 29 Artem Polyvyanyy 17 April 2008

30 Probabilistic Business Process Model Abstraction 30 Context: In many cases business process models are enhanced with additional data like: probabilities of process control flow edge transitions or average time intervals required to execute process functions. This information can be used for the benefit of process model abstraction task. Task: A general process model formalism should be extracted from existing process modeling techniques: EPC, Petri nets, Workflow nets. Mechanisms aimed to extract core process logic based on the probabilities of process edge transitions should be developed using proposed process formalism. Literature: "Reducing the Complexity of Large EPCs", Artem Polyvyanyy, Sergey Smirnov, Mathias Weske Artem Polyvyanyy 17 April 2008

31 Probabilistic Business Process Model Abstraction 31 Artem Polyvyanyy 17 April 2008

32 Business Process Technology Master Seminar Sergey Smirnov

33 Process Model Abstraction 33 Sergey Smirnov 17 April 2008

34 Process Model Abstraction 34 Sergey Smirnov 17 April 2008

35 Sequential Abstraction 35 p e0 e 0 p e0 p f1 e 0 f 1 p f1 p e1 e 1 f S p f2 p e1 p f2 p e2 f 2 e 2 p e2 e 2 Sergey Smirnov 17 April 2008

36 Dead End Abstraction 36 e 0 e 0 p 0 p 0 p 11 p 21 f 0 XOR p 11 p (k-1)1 p 1 p 1 (1-p k1 p k2 ) p k1 1-p k1 1-p k1 f D XOR e 1 e 2 e k e 1 e k-1 p 12 p 22 p k2 p 12 p (k-1)2 f 1 f 2 f k f 1 f k-1 p 13 p 23 p k3 p 13 p (k-1)3 e k+1 Sergey Smirnov 17 April 2008

37 Block Abstraction 37 f 0 f 0 p 0 p 11 p 21 p k1 p 0 C 1 e 11 e 21 e k1 e 1 p 12 p 22 p k2 1 f 1 f 2 f k f B p 13 p 23 p k3 p x e 12 e 22 e k2 e 2 p 24 p 14 C 2 p k4 1 f k+1 f k+1 Sergey Smirnov 17 April 2008

38 Loop Abstraction 38 f 0 f 0 p 0 p 0 XOR j p 1 p loop3 e 0 e 1 f 2 1 p 2 p loop2 f L f 1 e 2 p x p 3 XOR s p 4 p loop1 e 3 e 3 Sergey Smirnov 17 April 2008

39 Topic I 39 Formalization of EPC Elementary Abstractions: Which EPCs Can be Reduced to One Function? Literature: Artem Polyvyanyy, Sergey Smirnov, Mathias Weske. Reducing the Complexity of Large EPCs, 2008 Sergey Smirnov 17 April 2008

40 Topic II 40 Fuzzy Mining: Lessons Learned for Process Model Abstraction Literature: Christian W. Günther and Wil M. P. van der Aalst. Fuzzy Mining Adaptive Process Simplification Based on Multi-perspective Metrics, BPM 2007 Artem Polyvyanyy, Sergey Smirnov, Mathias Weske. Reducing the Complexity of Large EPCs, 2008 Sergey Smirnov 17 April 2008

41 Topic III 41 Abstraction of Process Models Captured in BPMN Literature: Artem Polyvyanyy, Sergey Smirnov, Mathias Weske. Reducing the Complexity of Large EPCs, 2008 Sergey Smirnov 17 April 2008

42 Extra Info 42 Refer to seminar homepage Regarding seminar organization and submissions Regarding the topics see contact assigned to each topic Sergey Smirnov 17 April 2008

43 Questions 43 Sergey Smirnov 17 April 2008

Reducing Complexity of Large EPCs

Reducing Complexity of Large EPCs Reducing Complexity of Large EPCs Artem Polyvyanyy, Sergey Smirnov, and Mathias Weske Business Process Technology Group Hasso Plattner Institute at the University of Potsdam D-14482 Potsdam, Germany (artem.polyvyanyy,sergey.smirnov,mathias.weske)@hpi.uni-potsdam.de

More information

The Projected TAR and its Application to Conformance Checking

The Projected TAR and its Application to Conformance Checking The Projected TAR and its Application to Conformance Checking Johannes Prescher 1, Matthias Weidlich 2, Jan Mendling 1 1 Institute for Information Business, Wirtschaftsuniversität Wien, Austria [johannes.prescher

More information

Discovering Petri Nets

Discovering Petri Nets Discovering Petri Nets It s a kind of magic Prof.dr.ir. Wil van der Aalst Eindhoven University of Technology Department of Information and Technology P.O. Box 513, 5600 MB Eindhoven The Netherlands w.m.p.v.d.aalst@tm.tue.nl

More information

Usability Extensions for the Worklet Service

Usability Extensions for the Worklet Service Usability Extensions for the Worklet Service Michael Adams Queensland University of Technology, Brisbane, Australia. mj.adams@qut.edu.au Abstract. The YAWL Worklet Service is an effective approach to facilitating

More information

Flexible Heuristics Miner (FHM)

Flexible Heuristics Miner (FHM) Flexible Heuristics Miner (FHM) A.J.M.M. Weijters Eindhoven University of Technology Email: a.j.m.m.weijters@tue.nl J.T.S. Ribeiro Eindhoven University of Technology Email: j.t.s.ribeiro@tue.nl Abstract

More information

Generalised Computation of Behavioural Profiles based on Petri-Net Unfoldings

Generalised Computation of Behavioural Profiles based on Petri-Net Unfoldings Generalised Computation of Behavioural Profiles based on Petri-Net Unfoldings Matthias Weidlich, Felix Elliger, and Mathias Weske Hasso Plattner Institute at the University of Potsdam, Germany {Matthias.Weidlich,Mathias.Weske}@hpi.uni-potsdam.de

More information

Markings in Perpetual Free-Choice Nets Are Fully Characterized by Their Enabled Transitions

Markings in Perpetual Free-Choice Nets Are Fully Characterized by Their Enabled Transitions Markings in Perpetual Free-Choice Nets Are Fully Characterized by Their Enabled Transitions Wil M.P. van der Aalst Process and Data Science (PADS), RWTH Aachen University, Germany. wvdaalst@pads.rwth-aachen.de

More information

An Intuitive Formal Approach to Dynamic Workflow Modeling and Analysis

An Intuitive Formal Approach to Dynamic Workflow Modeling and Analysis An Intuitive Formal Approach to Dynamic Workflow Modeling and Analysis Jiacun Wang, Daniela Rosca, William Tepfenhart, Allen Milewski, and Michael Stoute 2 Department of Software Engineering, Monmouth

More information

Security as a Resource in Process-Aware Information Systems

Security as a Resource in Process-Aware Information Systems Security as a Resource in Process-Aware Information Systems 14 October 2011 Joint Work with: Jason Crampton Information Security Group Royal Holloway Jim Huan-Pu Kuo Department of Computing Imperial College

More information

Business Process Management

Business Process Management Business Process Management Theory: The Pi-Calculus Frank Puhlmann Business Process Technology Group Hasso Plattner Institut Potsdam, Germany 1 What happens here? We discuss the application of a general

More information

Automatic Root Cause Identification Using Most Probable Alignments

Automatic Root Cause Identification Using Most Probable Alignments Automatic Root Cause Identification Using Most Probable Alignments Marie Koorneef, Andreas Solti 2, Henrik Leopold, Hajo A. Reijers,3 Department of Computer Sciences, Vrije Universiteit Amsterdam, The

More information

Discovering Block-Structured Process Models From Event Logs - A Constructive Approach

Discovering Block-Structured Process Models From Event Logs - A Constructive Approach Discovering Block-Structured Process Models From Event Logs - A Constructive Approach S.J.J. Leemans, D. Fahland, and W.M.P. van der Aalst Department of Mathematics and Computer Science, Eindhoven University

More information

Visual Specification Language and Automatic Checking of Business Process

Visual Specification Language and Automatic Checking of Business Process 93 Visual Specification Language and Automatic Checking of Business Process Outman El Hichami Faculty of Sciences, UAE, Tetouan, Morocco el.hichami.outman@taalim.ma Mohammed Al Achhab National School of

More information

Causal Nets: A Modeling Language Tailored towards Process Discovery

Causal Nets: A Modeling Language Tailored towards Process Discovery Causal Nets: A Modeling Language Tailored towards Process Discovery Wil van der Aalst, Arya Adriansyah, and Boudewijn van Dongen Department of Mathematics and Computer Science, Technische Universiteit

More information

Motivating Questions: How many hurricanes happen in a year? Have the number of hurricanes per year changed over time?

Motivating Questions: How many hurricanes happen in a year? Have the number of hurricanes per year changed over time? Hurricanes Over Time Materials For the leader: Projector Whiteboard to project data graph onto For the activity: Graphing paper Markers Globe Copy of data cards Overview Hurricanes occur in the North Atlantic

More information

Process Mining in Non-Stationary Environments

Process Mining in Non-Stationary Environments and Machine Learning. Bruges Belgium), 25-27 April 2012, i6doc.com publ., ISBN 978-2-87419-049-0. Process Mining in Non-Stationary Environments Phil Weber, Peter Tiňo and Behzad Bordbar School of Computer

More information

Decomposing Alignment-based Conformance Checking of Data-aware Process Models

Decomposing Alignment-based Conformance Checking of Data-aware Process Models Decomposing Alignment-based Conformance Checking of Data-aware Process Models Massimiliano de Leoni 1, Jorge Munoz-Gama 2, Josep Carmona 2, and Wil M.P. van der Aalst 1 1 Eindhoven University of Technology,

More information

Efficient Computation of Causal Behavioural Profiles using Structural Decomposition

Efficient Computation of Causal Behavioural Profiles using Structural Decomposition Efficient Computation of Causal Behavioural Profiles using Structural Decomposition Matthias Weidlich 1, Artem Polyvyanyy 1, Jan Mendling 2, and Mathias Weske 1 1 Hasso Plattner Institute at the University

More information

Learning Hybrid Process Models From Events

Learning Hybrid Process Models From Events Learning Hybrid Process Models From Events Process Discovery Without Faking Confidence (Experimental Results) Wil M.P. van der Aalst 1,2 and Riccardo De Masellis 2 and Chiara Di Francescomarino 2 and Chiara

More information

The shortest path to chemistry data and literature

The shortest path to chemistry data and literature R&D SOLUTIONS Reaxys Fact Sheet The shortest path to chemistry data and literature Designed to support the full range of chemistry research, including pharmaceutical development, environmental health &

More information

Meronymy-based Aggregation of Activities in Business Process Models

Meronymy-based Aggregation of Activities in Business Process Models Meronymy-based Aggregation of Activities in Business Process Models Sergey Smirnov 1, Remco Dijkman 2, Jan Mendling 3, and Mathias Weske 1 1 Hasso Plattner Institute, Germany 2 Eindhoven University of

More information

Decomposing Conformance Checking on Petri Nets with Data

Decomposing Conformance Checking on Petri Nets with Data Decomposing Conformance Checking on Petri Nets with Data Massimiliano de Leoni 1,2, Jorge Munoz-Gama 3, Josep Carmona 3, and Wil M.P. van der Aalst 2 1 University of Padua, Padua (Italy) 2 Eindhoven University

More information

Conformance Checking of Interacting Processes With Overlapping Instances

Conformance Checking of Interacting Processes With Overlapping Instances Conformance Checking of Interacting Processes With Overlapping Instances Dirk Fahland, Massimiliano de Leoni, Boudewijn F. van Dongen, and Wil M.P. van der Aalst Eindhoven University of Technology, The

More information

Efficient Computation of Causal Behavioural Profiles using Structural Decomposition

Efficient Computation of Causal Behavioural Profiles using Structural Decomposition Efficient Computation of Causal Behavioural Profiles using Structural Decomposition Matthias Weidlich 1, Artem Polyvyanyy 1, Jan Mendling 2, and Mathias Weske 1 1 Hasso Plattner Institute at the University

More information

Distributed Process Discovery and Conformance Checking

Distributed Process Discovery and Conformance Checking Distributed Process Discovery and Conformance Checking prof.dr.ir. Wil van der Aalst www.processmining.org On the different roles of (process) models PAGE 1 Play-Out PAGE 2 Play-Out (Classical use of models)

More information

Career and College Readiness in Terms of Next Generation Science Standards (NGSS)

Career and College Readiness in Terms of Next Generation Science Standards (NGSS) Career and College Readiness in Terms of Next Generation Science Standards (NGSS) Michigan An NGSS Lead State Partner Next Generation Science Standards for Today s Students and Tomorrow s Workforce Building

More information

Chap 2: Classical models for information retrieval

Chap 2: Classical models for information retrieval Chap 2: Classical models for information retrieval Jean-Pierre Chevallet & Philippe Mulhem LIG-MRIM Sept 2016 Jean-Pierre Chevallet & Philippe Mulhem Models of IR 1 / 81 Outline Basic IR Models 1 Basic

More information

TOPIC:Water & Solutions OBJ: 9-11

TOPIC:Water & Solutions OBJ: 9-11 AGENDA ABSENT FRI 11/11 WK-4 HONORS TOPIC:Water & Solutions OBJ: 9-11 DO NOW: EXT: NONE DW: OBJ 9-11 and 6.4 RDQ/VOCAB DUE DATE: STEM PROJECT DUE MONDAY NOV 14 th /gmail access QZ-TUE [6.3 focus] -------------------------------------------------------------------------------

More information

On Formalizing Inter-process Relationships

On Formalizing Inter-process Relationships On Formalizing Inter-process Relationships Tri A. Kurniawan,AdityaK.Ghose,Lam-SonLê, and Hoa Khanh Dam Decision Systems Lab., School of Computer Science and Software Engineering, University of Wollongong,

More information

A Hierarchical Markov Model to Understand the Behaviour of Agents in Business Processes

A Hierarchical Markov Model to Understand the Behaviour of Agents in Business Processes A Hierarchical Markov Model to Understand the Behaviour of Agents in Business Processes Diogo R. Ferreira 1, Fernando Szimanski 2, Célia Ghedini Ralha 2 1 IST Technical University of Lisbon, Portugal diogo.ferreira@ist.utl.pt

More information

Design Patterns for Metamodel Design

Design Patterns for Metamodel Design Design Patterns for Metamodel Design Domain-Specific Modeling Workshop Portland, Oregon October 23, 2011 Hyun Cho and Jeff Gray University of Alabama Department of Computer Science This work supported

More information

Process Mining. Knut Hinkelmann. Prof. Dr. Knut Hinkelmann MSc Business Information Systems

Process Mining. Knut Hinkelmann. Prof. Dr. Knut Hinkelmann MSc Business Information Systems Knut Hinkelmann Prof. r. Knut Hinkelmann MSc usiness Information Systems Learning Objective Topic: Learning Process knowledge from experience learning a process/decision model ase-ased Reasoning (R) reusing

More information

An Operational Semantics for Model Checking Long Running Transactions

An Operational Semantics for Model Checking Long Running Transactions An Operational Semantics for Model Checking Long Running Transactions Hengbiao Yu, Zhenbang Chen, Ji Wang zbchen@nudt.edu.cn School of Computer, National University of Defense Technology, Changsha, China

More information

Compositional Analysis of Timed-arc Resource Workflows with Communication

Compositional Analysis of Timed-arc Resource Workflows with Communication Compositional Analysis of Timed-arc Resource Workflows with Communication Sine Viesmose Birch Christoffer Moesgaard des105f15, Spring 2015, Aalborg University 1 Resume Workflow analysis is a relatively

More information

7. Queueing Systems. 8. Petri nets vs. State Automata

7. Queueing Systems. 8. Petri nets vs. State Automata Petri Nets 1. Finite State Automata 2. Petri net notation and definition (no dynamics) 3. Introducing State: Petri net marking 4. Petri net dynamics 5. Capacity Constrained Petri nets 6. Petri net models

More information

Interorganizational Workflow Nets: a Petri Net Based Approach for Modelling and Analyzing Interorganizational Workflows

Interorganizational Workflow Nets: a Petri Net Based Approach for Modelling and Analyzing Interorganizational Workflows Interorganizational Workflow Nets: a Petri Net Based Approach for Modelling and Analyzing Interorganizational Workflows Oana Prisecaru and Toader Jucan Faculty of Computer Science, Al. I. Cuza University,

More information

Assigning Ontology-Based Semantics to Process Models: The Case of Petri Nets

Assigning Ontology-Based Semantics to Process Models: The Case of Petri Nets Assigning Ontology-Based Semantics to Process Models: The Case of Petri Nets Pnina Soffer 1, Maya Kaner 2, and Yair Wand 3 1 University of Haifa, Carmel Mountain 31905, Haifa, Israel 2 Ort Braude College,

More information

Synchronisation and Cancellation in Workflows based on Reset nets

Synchronisation and Cancellation in Workflows based on Reset nets Synchronisation and Cancellation in Workflows based on Reset nets Moe Thandar Wynn 1, W.M.P. van der Aalst 1,2, A.H.M. ter Hofstede 1 and David Edmond 1 Business Process Management Program Faculty of Information

More information

Synthesis of Petri Nets for Business Process Design

Synthesis of Petri Nets for Business Process Design Synthesis of Petri Nets for Business Process Design Robin Bergenthum, Jörg Desel, Sebastian Mauser firstname.lastname@ku-eichstaett.de Abstract: We propose the following approach to model a business process

More information

Methods for the specification and verification of business processes MPB (6 cfu, 295AA)

Methods for the specification and verification of business processes MPB (6 cfu, 295AA) Methods for the specification and verification of business processes MPB (6 cfu, 295AA) Roberto Bruni http://www.di.unipi.it/~bruni 17 - Diagnosis for WF nets 1 Object We study suitable diagnosis techniques

More information

Process Mining in the Large: A Tutorial

Process Mining in the Large: A Tutorial Process Mining in the Large: A Tutorial Wil M.P. van der Aalst Department of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands; Business Process Management

More information

Algorithmic verification

Algorithmic verification Algorithmic verification Ahmed Rezine IDA, Linköpings Universitet Hösttermin 2018 Outline Overview Model checking Symbolic execution Outline Overview Model checking Symbolic execution Program verification

More information

An Approach Based on Fuzzy Sets to Handle Preferences in Service Retrieval

An Approach Based on Fuzzy Sets to Handle Preferences in Service Retrieval An Approach Based on Fuzzy Sets to Handle Preferences in Service Retrieval Katia Abbaci, Fernando Lemos, Allel Hadjali, Daniela Grigori, Ludovic Lietard, Daniel Rocacher, Mokrane Bouzeghoub To cite this

More information

The State Explosion Problem

The State Explosion Problem The State Explosion Problem Martin Kot August 16, 2003 1 Introduction One from main approaches to checking correctness of a concurrent system are state space methods. They are suitable for automatic analysis

More information

Temporal Network Representation of Event Logs for Improved Performance Modelling in Business Processes

Temporal Network Representation of Event Logs for Improved Performance Modelling in Business Processes Temporal Network Representation of Event Logs for Improved Performance Modelling in Business Processes Arik Senderovich 1, Matthias Weidlich 2, and Avigdor Gal 1 1 Technion Israel Institute of Technology

More information

Applying the Divergence From Randomness Approach for Content-Only Search in XML Documents

Applying the Divergence From Randomness Approach for Content-Only Search in XML Documents Applying the Divergence From Randomness Approach for Content-Only Search in XML Documents Mohammad Abolhassani and Norbert Fuhr Institute of Informatics and Interactive Systems, University of Duisburg-Essen,

More information

Financial. Analysis. O.Eval = {Low, High} Store. Bid. Update. Risk. Technical. Evaluation. External Consultant

Financial. Analysis. O.Eval = {Low, High} Store. Bid. Update. Risk. Technical. Evaluation. External Consultant ACM PODS98 of CS Dept at Stony Brook University Based Modeling and Analysis of Logic Workows Hasan Davulcu* N.Y. 11794, U.S.A. * Joint with M. Kifer, C.R. Ramakrishnan, I.V. Ramakrishnan Hasan Davulcu

More information

Fielded Sequential Dependence Model for Ad-Hoc Entity Retrieval in the Web of Data

Fielded Sequential Dependence Model for Ad-Hoc Entity Retrieval in the Web of Data Fielded Sequential Dependence Model for Ad-Hoc Entity Retrieval in the Web of Data Nikita Zhiltsov 1,2 Alexander Kotov 3 Fedor Nikolaev 3 1 Kazan Federal University 2 Textocat 3 Textual Data Analytics

More information

Administrative Issues. CS5242 mirror site: https://web.bii.a-star.edu.sg/~leehk/cs5424.html

Administrative Issues. CS5242 mirror site: https://web.bii.a-star.edu.sg/~leehk/cs5424.html Administrative Issues CS5242 mirror site: https://web.bii.a-star.edu.sg/~leehk/cs5424.html 1 Assignments (10% * 4 = 40%) For each assignment It has multiple sub-tasks, including coding tasks You need to

More information

Declarative Merging of and Reasoning about Decision Diagrams

Declarative Merging of and Reasoning about Decision Diagrams Declarative Merging of and Reasoning about Decision Diagrams Thomas Eiter Thomas Krennwallner Christoph Redl {eiter,tkren,redl}@kr.tuwien.ac.at September 12, 2011 Eiter T., Krennwallner T., Redl C. (TU

More information

Agent-Based HOL Reasoning 1

Agent-Based HOL Reasoning 1 Agent-Based HOL Reasoning 1 Alexander Steen Max Wisniewski Christoph Benzmüller Freie Universität Berlin 5th International Congress on Mathematical Software (ICMS 2016) 1 This work has been supported by

More information

Semantics, Verification, and Implementation of Workflows with Cancellation Regions and OR-joins

Semantics, Verification, and Implementation of Workflows with Cancellation Regions and OR-joins Semantics, Verification, and Implementation of Workflows with Cancellation Regions and OR-joins by Moe Thandar Kyaw Wynn B.InfoTech, B.Business A dissertation submitted for the degree of IF49 Doctor of

More information

Computer science research seminar: VideoLectures.Net recommender system challenge: presentation of baseline solution

Computer science research seminar: VideoLectures.Net recommender system challenge: presentation of baseline solution Computer science research seminar: VideoLectures.Net recommender system challenge: presentation of baseline solution Nino Antulov-Fantulin 1, Mentors: Tomislav Šmuc 1 and Mile Šikić 2 3 1 Institute Rudjer

More information

Calculus Unit Plan. Curriculum Area Calculus (Mathematics) Time Frame 3-4 weeks January February. Khan Academy https://www.khanacademy.

Calculus Unit Plan. Curriculum Area Calculus (Mathematics) Time Frame 3-4 weeks January February. Khan Academy https://www.khanacademy. Title of Unit Pre-Calculus Integrals Grade Level HS (11-12) Curriculum Area Calculus (Mathematics) Time Frame 3-4 weeks January February Materials Calculus AP* Edition Finney, Demana, Waits, Kennedy Chapter

More information

Process Discovery and Conformance Checking Using Passages

Process Discovery and Conformance Checking Using Passages Fundamenta Informaticae XX (2012) 1 35 1 DOI 10.3233/FI-2012-0000 IOS Press Process Discovery and Conformance Checking Using Passages W.M.P. van der Aalst Department of Mathematics and Computer Science,

More information

The Alignment of Formal, Structured and Unstructured Process Descriptions. Josep Carmona

The Alignment of Formal, Structured and Unstructured Process Descriptions. Josep Carmona The Alignment of Formal, Structured and Unstructured Process Descriptions Josep Carmona Thomas Chatain Luis delicado Farbod Taymouri Boudewijn van Dongen Han van der Aa Lluís Padró Josep Sànchez-Ferreres

More information

Event-based Monitoring of Process Execution Violations

Event-based Monitoring of Process Execution Violations Event-based Monitoring of Process Execution Violations M. Weidlich, H. Ziekow, J. Mendling, O. Günther, M. Weske, N. Desai Hasso Plattner Institute, University of Potsdam, Germany AGT Germany Humboldt-Universität

More information

Latent Dirichlet Allocation Introduction/Overview

Latent Dirichlet Allocation Introduction/Overview Latent Dirichlet Allocation Introduction/Overview David Meyer 03.10.2016 David Meyer http://www.1-4-5.net/~dmm/ml/lda_intro.pdf 03.10.2016 Agenda What is Topic Modeling? Parametric vs. Non-Parametric Models

More information

Discovering Geographical Topics in Twitter

Discovering Geographical Topics in Twitter Discovering Geographical Topics in Twitter Liangjie Hong, Lehigh University Amr Ahmed, Yahoo! Research Alexander J. Smola, Yahoo! Research Siva Gurumurthy, Twitter Kostas Tsioutsiouliklis, Twitter Overview

More information

Trace Diagnostics using Temporal Implicants

Trace Diagnostics using Temporal Implicants Trace Diagnostics using Temporal Implicants ATVA 15 Thomas Ferrère 1 Dejan Nickovic 2 Oded Maler 1 1 VERIMAG, University of Grenoble / CNRS 2 Austrian Institute of Technology October 14, 2015 Motivation

More information

Business Process Regulatory Compliance is Hard

Business Process Regulatory Compliance is Hard IEEE TRANSACTIONS ON SERVICE COMPUTING, VOL. X, NO. X, X X 1 Business Process Regulatory Compliance is Hard Silvano Colombo Tosatto, Guido Governatori and Pierre Kelsen Abstract Verifying whether a business

More information

Course Staff. Textbook

Course Staff. Textbook Course Staff CS311H: Discrete Mathematics Intro and Propositional Logic Instructor: Işıl Dillig Instructor: Prof. Işıl Dillig TAs: Jacob Van Geffen, Varun Adiga, Akshay Gupta Class meets every Monday,

More information

From workflow models to document types and back again

From workflow models to document types and back again From workflow models to document types and back again van Hee, K.M.; Hidders, A.J.H.; Houben, G.J.P.M.; Paredaens, J.; Thiran, P.A.P. Published: 01/01/2007 Document Version Publisher s PDF, also known

More information

Genetic Process Mining

Genetic Process Mining Genetic Process Mining W.M.P. van der Aalst, A.K. Alves de Medeiros, and A.J.M.M. Weijters Department of Technology Management, Eindhoven University of Technology P.O. Box 513, NL-5600 MB, Eindhoven, The

More information

Mine Your Own Business

Mine Your Own Business 33 Mine Your Own Business Using process mining to turn big data into better processes and systems prof.dr.ir. Wil van der Aalst PAGE 0 Season 1, Episode 4 (1969) PAGE 1 "Mine Your Own Business" (2006)

More information

Chapter 8 Mining Additional Perspectives

Chapter 8 Mining Additional Perspectives Chapter 8 Mining Additional Perspectives prof.dr.ir. Wil van der Aalst www.processmining.org Overview Chapter 1 Introduction Part I: Preliminaries Chapter 2 Process Modeling and Analysis Chapter 3 Data

More information

DATA SCIENCE SIMPLIFIED USING ARCGIS API FOR PYTHON

DATA SCIENCE SIMPLIFIED USING ARCGIS API FOR PYTHON DATA SCIENCE SIMPLIFIED USING ARCGIS API FOR PYTHON LEAD CONSULTANT, INFOSYS LIMITED SEZ Survey No. 41 (pt) 50 (pt), Singapore Township PO, Ghatkesar Mandal, Hyderabad, Telengana 500088 Word Limit of the

More information

Performing Map Cartography. using Esri Production Mapping

Performing Map Cartography. using Esri Production Mapping AGENDA Performing Map Cartography Presentation Title using Esri Production Mapping Name of Speaker Company Name Kannan Jayaraman Agenda Introduction What s New in ArcGIS 10.1 ESRI Production Mapping Mapping

More information

Refining Semantically Annotated Business Process Diagrams

Refining Semantically Annotated Business Process Diagrams Refining Semantically Annotated Business Process Diagrams Hector G. Ceballos, Eduardo Fernandez, Jorge Espinosa ceballos@itesm.mx, yopichoi@gmail.com, arima121@gmail.com Tecnologico de Monterrey Av. Eugenio

More information

1. Omit Human and Physical Geography electives (6 credits) 2. Add GEOG 677:Internet GIS (3 credits) 3. Add 3 credits to GEOG 797: Final Project

1. Omit Human and Physical Geography electives (6 credits) 2. Add GEOG 677:Internet GIS (3 credits) 3. Add 3 credits to GEOG 797: Final Project The Department of Geography and the Office of Professional Studies propose to modify the Master of Professional Studies in Geospatial Information Sciences (GIS) as follows: 1. Omit Human and Physical Geography

More information

Mining Process Models with Prime Invisible Tasks

Mining Process Models with Prime Invisible Tasks Mining Process Models with Prime Invisible Tasks Lijie Wen 1,2, Jianmin Wang 1,4,5, Wil M.P. van der Aalst 3, Biqing Huang 2, and Jiaguang Sun 1,4,5 1 School of Software, Tsinghua University, Beijing,

More information

Petra: Process model based Extensible Toolset for Redesign and Analysis

Petra: Process model based Extensible Toolset for Redesign and Analysis Petra: Process model based Extensible Toolset for Redesign and Analysis D.M.M. Schunselaar, H.M.W. Verbeek, W.M.P. van der Aalst, and H.A. Reijers Eindhoven University of Technology, P.O. Box 513, 5600

More information

Applying the Divergence From Randomness Approach for Content-Only Search in XML Documents

Applying the Divergence From Randomness Approach for Content-Only Search in XML Documents Applying the Divergence From Randomness Approach for Content-Only Search in XML Documents Mohammad Abolhassani and Norbert Fuhr Institute of Informatics and Interactive Systems, University of Duisburg-Essen,

More information

BPMN A Logical Model and Property Analysis. Antoni Ligęza

BPMN A Logical Model and Property Analysis. Antoni Ligęza Decision Making in Manufacturing and Services Vol. 5 2011 No. 1 2 pp. 57 67 BPMN A Logical Model and Property Analysis Antoni Ligęza Abstract. Business Process Modeling Notation has become a powerful and

More information

STRUCTURAL BIOINFORMATICS I. Fall 2015

STRUCTURAL BIOINFORMATICS I. Fall 2015 STRUCTURAL BIOINFORMATICS I Fall 2015 Info Course Number - Classification: Biology 5411 Class Schedule: Monday 5:30-7:50 PM, SERC Room 456 (4 th floor) Instructors: Vincenzo Carnevale - SERC, Room 704C;

More information

A Railway Simulation Landscape Creation Tool Chain Considering OpenStreetMap Geo Data

A Railway Simulation Landscape Creation Tool Chain Considering OpenStreetMap Geo Data A Railway Simulation Landscape Creation Tool Chain Considering OpenStreetMap Geo Data Christian Rahmig, Andreas Richter DLR Institute of Transportation Systems Braunschweig, Germany SUMO Conference 2014

More information

OECD QSAR Toolbox v.4.0. Tutorial on how to predict Skin sensitization potential taking into account alert performance

OECD QSAR Toolbox v.4.0. Tutorial on how to predict Skin sensitization potential taking into account alert performance OECD QSAR Toolbox v.4.0 Tutorial on how to predict Skin sensitization potential taking into account alert performance Outlook Background Objectives Specific Aims Read across and analogue approach The exercise

More information

Representing and Querying Temporal Workflow Schemas

Representing and Querying Temporal Workflow Schemas Sixth Int. Conf. on IFSs, Varna, 13-14 Sept. 2002 NIFS 8 (2002), 3, 57-65 Representing and Querying Temporal Workflow Schemas Hathal Al-Roki 1, Panagiotis Chountas 2, Ilias Petrounias 1, Vassilis Kodogiannis

More information

Modern Information Retrieval

Modern Information Retrieval Modern Information Retrieval Chapter 8 Text Classification Introduction A Characterization of Text Classification Unsupervised Algorithms Supervised Algorithms Feature Selection or Dimensionality Reduction

More information

No. of Days. ArcGIS 3: Performing Analysis ,431. Building 3D cities Using Esri City Engine ,859

No. of Days. ArcGIS 3: Performing Analysis ,431. Building 3D cities Using Esri City Engine ,859 What s New? Creating Story Maps with ArcGIS Field Data Collection and Management Using ArcGIS Get Started with Insights for ArcGIS Introduction to GIS Using ArcGIS & ArcGIS Pro: Essential Workflow Migrating

More information

No. of Days. ArcGIS Pro for GIS Professionals ,431. Building 3D cities Using Esri City Engine ,859

No. of Days. ArcGIS Pro for GIS Professionals ,431. Building 3D cities Using Esri City Engine ,859 What s New? Creating Story Maps with ArcGIS Field Data Collection and Management Using ArcGIS Get Started with Insights for ArcGIS Introduction to GIS Using ArcGIS & ArcGIS Pro: Essential Workflow Migrating

More information

Verification of Artifact-centric Processes

Verification of Artifact-centric Processes Verification of Artifact-centric Processes Dipartimento di Ingegneria Informatica, Automatica e Gestionale Antonio Ruberti Dottorato di Ricerca in Ingegneria Informatica XXV Ciclo Candidate Riccardo De

More information

FILE SOLVED PROBLEMS IN LINEAR ALGEBRA EBOOK

FILE SOLVED PROBLEMS IN LINEAR ALGEBRA EBOOK 24 April, 2018 FILE SOLVED PROBLEMS IN LINEAR ALGEBRA EBOOK Document Filetype: PDF 123.81 KB 0 FILE SOLVED PROBLEMS IN LINEAR ALGEBRA EBOOK Let's just do one and you'll see how it works: See how these

More information

DISCOVERING BLOCK STRUCTURED PARALLEL PROCESS MODELS FROM CAUSALLY COMPLETE EVENT LOGS

DISCOVERING BLOCK STRUCTURED PARALLEL PROCESS MODELS FROM CAUSALLY COMPLETE EVENT LOGS Journal of ELECTRICAL ENGINEERING, VOL 67 (2016), NO2, 111 123 DISCOVERING BLOCK STRUCTURED PARALLEL PROCESS MODELS FROM CAUSALLY COMPLETE EVENT LOGS Julijana Lekić Dragan Milićev α-algorithm is suitable

More information

MOLECULAR MODELING IN BIOLOGY (BIO 3356) SYLLABUS

MOLECULAR MODELING IN BIOLOGY (BIO 3356) SYLLABUS New York City College of Technology School of Arts and Sciences Department of Biological Sciences MOLECULAR MODELING IN BIOLOGY (BIO 3356) SYLLABUS Course Information Course Title: Molecular Modeling in

More information

Math 440 Project Assignment

Math 440 Project Assignment Math 440 Project Assignment 1. Overview The goal of your project assignment is to explore an aspect of topology beyond the topics covered in class. It will be necessary to use the tools and properties

More information

Genetic Process Mining

Genetic Process Mining Genetic Process Mining W.M.P. van der Aalst, A.K. Alves de Medeiros, and A.J.M.M. Weijters Department of Technology Management, Eindhoven University of Technology P.O. Box 513, NL-5600 MB, Eindhoven, The

More information

Supervisor: Prof. Stefano Spaccapietra Dr. Fabio Porto Student: Yuanjian Wang Zufferey. EPFL - Computer Science - LBD 1

Supervisor: Prof. Stefano Spaccapietra Dr. Fabio Porto Student: Yuanjian Wang Zufferey. EPFL - Computer Science - LBD 1 Supervisor: Prof. Stefano Spaccapietra Dr. Fabio Porto Student: Yuanjian Wang Zufferey EPFL - Computer Science - LBD 1 Introduction Related Work Proposed Solution Implementation Important Results Conclusion

More information

No. of Days. Building 3D cities Using Esri City Engine ,859. Creating & Analyzing Surfaces Using ArcGIS Spatial Analyst 1 7 3,139

No. of Days. Building 3D cities Using Esri City Engine ,859. Creating & Analyzing Surfaces Using ArcGIS Spatial Analyst 1 7 3,139 Q3 What s New? Creating and Editing Data with ArcGIS Pro Editing and Maintaining Parcels Using ArcGIS Spatial Analysis Using ArcGIS Pro User Workflows for ArcGIS Online Organizations Q3-2018 ArcGIS Desktop

More information

EP2200 Course Project 2017 Project II - Mobile Computation Offloading

EP2200 Course Project 2017 Project II - Mobile Computation Offloading EP2200 Course Project 2017 Project II - Mobile Computation Offloading 1 Introduction Queuing theory provides us a very useful mathematic tool that can be used to analytically evaluate the performance of

More information

Modeling User s Cognitive Dynamics in Information Access and Retrieval using Quantum Probability (ESR-6)

Modeling User s Cognitive Dynamics in Information Access and Retrieval using Quantum Probability (ESR-6) Modeling User s Cognitive Dynamics in Information Access and Retrieval using Quantum Probability (ESR-6) SAGAR UPRETY THE OPEN UNIVERSITY, UK QUARTZ Mid-term Review Meeting, Padova, Italy, 07/12/2018 Self-Introduction

More information

CELL AND MICROBIOLOGY Nadia Iskandarani

CELL AND MICROBIOLOGY Nadia Iskandarani 7Course Title: Head of Department: Teacher(s) + e-mail: Cycle/Division: Biology IA: CELL AND MICROBIOLOGY Nadia Iskandarani Ms.Ibtessam: ibtissam.h@greenwood.sch.ae High School Grade Level: Grade 10 Credit

More information

Patterns for a Log-Based Strengthening of Declarative Compliance Models

Patterns for a Log-Based Strengthening of Declarative Compliance Models Patterns for a Log-Based Strengthening of Declarative Compliance Models Dennis M.M. Schunselaar, Fabrizio M. Maggi, and Natalia Sidorova Eindhoven University of Technology, The Netherlands {d.m.m.schunselaar,f.m.maggi,n.sidorova}@tue.nl

More information

Ákos Tarcsay CHEMAXON SOLUTIONS

Ákos Tarcsay CHEMAXON SOLUTIONS Ákos Tarcsay CHEMAXON SOLUTIONS FINDING NOVEL COMPOUNDS WITH IMPROVED OVERALL PROPERTY PROFILES Two faces of one world Structure Footprint Linked Data Reactions Analytical Batch Phys-Chem Assay Project

More information

Evaluation Strategies

Evaluation Strategies Evaluation Intrinsic Evaluation Comparison with an ideal output: Challenges: Requires a large testing set Intrinsic subjectivity of some discourse related judgments Hard to find corpora for training/testing

More information

SPATIAL INFORMATION GRID AND ITS APPLICATION IN GEOLOGICAL SURVEY

SPATIAL INFORMATION GRID AND ITS APPLICATION IN GEOLOGICAL SURVEY SPATIAL INFORMATION GRID AND ITS APPLICATION IN GEOLOGICAL SURVEY K. T. He a, b, Y. Tang a, W. X. Yu a a School of Electronic Science and Engineering, National University of Defense Technology, Changsha,

More information

Methods for the specification and verification of business processes MPB (6 cfu, 295AA)

Methods for the specification and verification of business processes MPB (6 cfu, 295AA) Methods for the specification and verification of business processes MPB (6 cfu, 295AA) Roberto Bruni http://www.di.unipi.it/~bruni 20 - Workflow modules 1 Object We study Workflow modules to model interaction

More information

Amortized Complexity Main Idea

Amortized Complexity Main Idea omp2711 S1 2006 Amortized Complexity Example 1 Amortized Complexity Main Idea Worst case analysis of run time complexity is often too pessimistic. Average case analysis may be difficult because (i) it

More information

Reasoning under Uncertainty: Intro to Probability

Reasoning under Uncertainty: Intro to Probability Reasoning under Uncertainty: Intro to Probability Computer Science cpsc322, Lecture 24 (Textbook Chpt 6.1, 6.1.1) March, 15, 2010 CPSC 322, Lecture 24 Slide 1 To complete your Learning about Logics Review

More information

OECD QSAR Toolbox v.4.1. Tutorial on how to predict Skin sensitization potential taking into account alert performance

OECD QSAR Toolbox v.4.1. Tutorial on how to predict Skin sensitization potential taking into account alert performance OECD QSAR Toolbox v.4.1 Tutorial on how to predict Skin sensitization potential taking into account alert performance Outlook Background Objectives Specific Aims Read across and analogue approach The exercise

More information