Business Process Technology Master Seminar
|
|
- Osborne Wheeler
- 6 years ago
- Views:
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 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 informationThe 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 informationDiscovering 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 informationUsability 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 informationFlexible 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 informationGeneralised 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 informationMarkings 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 informationAn 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 informationSecurity 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 informationBusiness 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 informationAutomatic 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 informationDiscovering 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 informationVisual 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 informationCausal 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 informationMotivating 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 informationProcess 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 informationDecomposing 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 informationEfficient 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 informationLearning 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 informationThe 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 informationMeronymy-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 informationDecomposing 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 informationConformance 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 informationEfficient 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 informationDistributed 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 informationCareer 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 informationChap 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 informationTOPIC: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 informationOn 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 informationA 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 informationDesign 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 informationProcess 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 informationAn 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 informationCompositional 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 information7. 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 informationInterorganizational 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 informationAssigning 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 informationSynchronisation 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 informationSynthesis 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 informationMethods 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 informationProcess 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 informationAlgorithmic 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 informationAn 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 informationThe 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 informationTemporal 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 informationApplying 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 informationFinancial. 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 informationFielded 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 informationAdministrative 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 informationDeclarative 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 informationAgent-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 informationSemantics, 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 informationComputer 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 informationCalculus 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 informationProcess 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 informationThe 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 informationEvent-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 informationLatent 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 informationDiscovering 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 informationTrace 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 informationBusiness 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 informationCourse 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 informationFrom 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 informationGenetic 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 informationMine 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 informationChapter 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 informationDATA 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 informationPerforming 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 informationRefining 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 information1. 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 informationMining 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 informationPetra: 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 informationApplying 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 informationBPMN 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 informationSTRUCTURAL 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 informationA 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 informationOECD 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 informationRepresenting 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 informationModern 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 informationNo. 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 informationNo. 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 informationVerification 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 informationFILE 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 informationDISCOVERING 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 informationMOLECULAR 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 informationMath 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 informationGenetic 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 informationSupervisor: 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 informationNo. 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 informationEP2200 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 informationModeling 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 informationCELL 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 informationPatterns 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 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 informationEvaluation 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 informationSPATIAL 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 informationMethods 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 informationAmortized 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 informationReasoning 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 informationOECD 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