Investigation on Soundness Regarding Lazy Activities
|
|
- Dominic Julius Turner
- 6 years ago
- Views:
Transcription
1 Investigation on Soundness Regarding Lazy Activities Frank Puhlmann and Mathias Weske Business Process Technology Group Hasso-Plattner-Institute Potsdam, Germany 1
2 Outline Motivation (Problem Statement) Soundness Classification (Related Work) Lazy Soundness (Solution) Conclusion 2
3 Motivation 3
4 Soundness (Informal) From each activity reachable from the initial activity, the final activity is reachable (i.e. the process is free of deadlocks and livelocks) After the final activity has been reached no other activities are active There are no unreachable activities (i.e. each activity participates in the process) 4
5 Motivation Some workflow patterns cause problems regarding soundness: Discriminator N-out-of-M-Join Multiple Instances without Synchronization All these patterns can leave running (lazy) activities behind 5
6 A B 2 D 3 C Example 6
7 Soundness Classification 7
8 Weak Sound Sound Relaxed Sound [according to van der Aalst, Dehnert, Martens] Soundness Classification 8
9 Lazy Sound Weak Sound Sound Relaxed Sound [according to van der Aalst, Dehnert, Martens] Soundness Classification 8
10 Lazy Soundness 9
11 Process Graph A process graph formally defines the static structure of a business process as a four-tuple P=(N,E,T,A): N is a finite, non-empty set of nodes. E is a set of directed edges between nodes. T is a function mapping types to nodes. A is a function mapping key/value pairs to nodes. 10
12 N3 e2 A e5 N1 e1 N2 e3 N4 B N6 e6 2 e8 N7 D 3 e9 N8 e4 N5 C e7 N = {N1, N2, N3, N4, N5, N6, N7, N8} E = { (N1, N2), (N2, N3), (N2, N4), (N2, N5), (N3, N6), (N4, N6), (N5, N6), (N6, N7), (N7, N8) } T = {(N1, StartEvent), (N2, ANDGateway), (N3, T ask), (N4, T ask), (N5, T ask), (N6, N-out-of-M-Join), (N7, MIwithoutSync), (N 8, EndEvent)} A = {(N6, (continue, 2)), (N7, (count, 3))} Process Graph Example 11
13 Structural Soundness A process graphs is structural sound iff: There is exactly one initial node. There is exactly one final node. Every node is on a path from the initial node to the final node. Easy to show 12
14 Semantic Reachability: A node of a process graph is semantically reachable from another node iff there exists a path leading from the first to the second node according to the semantics of all nodes. Lazy Soundness: Lazy Soundness 1. The final node must be semantically reachable from every node semantically reachable from the initial node until the final node has been executed. 2. The final node is executed exactly once. 13
15 Structural Sound Process Initial Node Final Node Lazy Soundness Observation 14
16 Structural Sound Process Initial Node Final Node Lazy Soundness Observation 14
17 Task Initial Node Final Node Trivial Lazy Sound Process 15
18 Lazy Soundness in Pi-Calculus We observe the initial and the final activity by annotating the pi-calculus mapping of a process graph with i and o (initial, final activity) If we observe i and o exactly one time, the mapping is lazy sound Done by deciding und. with D = pi-mapping, nts of the π-calc D o i,o S LAZY, 16 S LAZY = i.τ.o.0 y soundness annot
19 Conclusion 17
20 Conclusion New kind of soundness supporting lazy activities Algorithms already implemented in prototypic tool chain First approach utilizing pi-calculus for soundness 18
21 Thank you! 19
Investigations on Soundness Regarding Lazy Activities
Investigations on Soundness Regarding Lazy Activities Frank Puhlmann and Mathias Weske Business Process Technology Group Hasso-Plattner-Institute for IT Systems Engineering at the University of Potsdam
More informationA Tool for Checking Soundness of Decision-Aware Business Processes
A Tool for Checking Soundness of Decision-Aware Business Processes Kimon Batoulis and Mathias Weske Hasso Plattner Institute at the University of Potsdam, Potsdam, Germany {Kimon.Batoulis,Mathias.Weske}@hpi.de
More informationBusiness Process Management Seminar 2007/ Oktober 2007
Business Process Management Seminar 2007/2008 22. Oktober 2007 Process 2 Today Presentation of topics Deadline 29.10.2007 9:00 Rank up to 3 topics - send to hagen.overdick@hpi.uni-potsdam.de 3.12.2007
More informationBehavioral Consistency for B2B Process Integration
Behavioral Consistency for B2B Process Integration Gero Decker, Mathias Weske Hasso-Plattner-Institute, University of Potsdam, Germany (gero.decker,mathias.weske)@hpi.uni-potsdam.de Abstract. Interacting
More informationA Unified Formal Foundation for Service Oriented Architectures
A Unified Formal Foundation for Service Oriented Architectures Frank Puhlmann Business Process Technology Group Hasso-Plattner-Institute for IT Systems Engineering at the University of Potsdam D-14482
More informationExtending BPMN for Modeling Complex Choreographies. Gero Decker and Frank Puhlmann Hasso Plattner Institut Potsdam, Germany
Extending BPMN for Modeling Complex Choreographies Gero Decker and Frank Puhlmann Hasso Plattner Institut Potsdam, Germany !"77"(!"#$%+./01'#% /("+01'#%("45
More informationCOVER SHEET. This is the author version of article published as:
COVER SHEET This is the author version of article published as: Ouyang, Chun and Verbeek, Eric and van der Aalst, Wil M.P. and Breutel, Stephan W. and Dumas, Marlon and ter Hofstede, Arthur H. (2005) WofBPEL:
More informationService Referrals in BPEL-based Choreographies
Service Referrals in BPEL-based Choreographies Gero Decker 1, Oliver Kopp 2, Frank Puhlmann 1 1 Hasso Plattner Institut, University of Potsdam, Germany {gero.decker,frank.puhlmann}@hpi.uni-potsdam.de 2
More informationOn Application of Structural Decomposition for Process Model Abstraction. Artem Polyvyanyy Sergey Smirnov Mathias Weske
On Application of Structural Decomposition for Process Model Abstraction Artem Polyvyanyy Sergey Smirnov Mathias Weske BPSC 2009 24 March 2009 Motivation 2 Research project with AOK Brandenburg Goal: detailed
More informationTowards a Formal Model for Agile Service Discovery and Integration
Towards a Formal Model for Agile Service Discovery and Integration Hagen Overdick, Frank Puhlmann, and Mathias Weske Hasso-Plattner-Institute for IT Systems Engineering at the University of Potsdam D-14482
More informationSemantics of ARIS Model
Semantics of ARIS Model Why is Semantics Important? Jon Atle Gulla An analysis of the ARIS ing language with respect to - conceptual foundation and - formal properties Green, P. and M. Rosemann: An Ontological
More informationFormal Modeling of BPEL Workflows Including Fault and Compensation Handling
Formal Modeling of BPEL Workflows Including Fault and Compensation Handling Máté Kovács, Dániel Varró, László Gönczy kovmate@mit.bme.hu Budapest University of Technology and Economics Dept. of Measurement
More informationUnicorn meets Chimera: Integrating External Events into Case Management
Unicorn meets Chimera: Integrating External Events into Case Management Jonas Beyer, Patrick Kuhn, Marcin Hewelt, Sankalita Mandal, Mathias Weske Hasso Plattner Institute, University of Potsdam, Germany
More informationBusiness Process Management
Business Process Management Workflow and Data Patterns: A formal semantics Frank Puhlmann Business Process Technology Group Hasso Plattner Institut Potsdam, Germany 1 Foundations The Formalization of Workflow
More informationT Reactive Systems: Kripke Structures and Automata
Tik-79.186 Reactive Systems 1 T-79.186 Reactive Systems: Kripke Structures and Automata Spring 2005, Lecture 3 January 31, 2005 Tik-79.186 Reactive Systems 2 Properties of systems invariants: the system
More informationDecision Management in the Insurance Industry: Standards and Tools
Decision Management in the Insurance Industry: Standards and Tools Kimon Batoulis 1, Alexey Nesterenko 2, Günther Repitsch 2, and Mathias Weske 1 1 Hasso Plattner Institute, University of Potsdam, Potsdam,
More informationConjunctive queries. Many computational problems are much easier for conjunctive queries than for general first-order queries.
Conjunctive queries Relational calculus queries without negation and disjunction. Conjunctive queries have a normal form: ( y 1 ) ( y n )(p 1 (x 1,..., x m, y 1,..., y n ) p k (x 1,..., x m, y 1,..., y
More informationWorkflow : Patterns and Specifications
Workflow : Patterns and Specifications Seminar Presentation by Ahana Pradhan Under the guidance of Prof. Rushikesh K. Joshi Department of Computer Science and Engineering Indian Institute of Technology,
More informationEfficient Analysis of BPEL 2.0 Processes using π-calculus
2007 IEEE Asia-Pacific Services Computing Conference Efficient Analysis of BPEL 2.0 Processes using π-calculus Matthias Weidlich, Gero Decker, Mathias Weske Hasso-Plattner-Institute, University of Potsdam,
More informationBatch Regions: Process Instance Synchronization based on Data
Batch Regions: Process Instance Synchronization based on Data Luise Pufahl, Andreas Meyer and Mathias Weske Business Process Technology Group Hasso Plattner Institute at the University of Potsdam Potsdam,
More informationOn the verification of EPCs using T-invariants
On the verification of EPCs using T-invariants H.M.W. Verbeek and W.M.P. van der Aalst Department of Technology Management, Eindhoven University of Technology P.O. Box 513, NL-5600 MB, Eindhoven, The Netherlands.
More informationCreditInfo = [Jane, 16000] AcceptCredit. Fig Process instance where request approval activity is not required
4.7 Business Process Modeling Notation 205 RiskFactor = low CreditInfo = [Miller, 15000] Accept Credit CreditInfo = [Miller, 15000] CreditInfo = [Jane, 16000] CreditInfo = [Jane, 16000] RiskFactor = low
More informationTimo Latvala. January 28, 2004
Reactive Systems: Kripke Structures and Automata Timo Latvala January 28, 2004 Reactive Systems: Kripke Structures and Automata 3-1 Properties of systems invariants: the system never reaches a bad state
More informationExtending BPMN for Modeling Complex Choreographies
Extending BPMN for Modeling Complex Choreographies Gero Decker and Frank Puhlmann Business Process Technology Group Hasso Plattner Institut for IT Systems Engineering University of Potsdam D-14482 Potsdam,
More informationModel-based Analysis of Event-driven Distributed Real-time Embedded Systems
Model-based Analysis of Event-driven Distributed Real-time Embedded Systems Gabor Madl Committee Chancellor s Professor Nikil Dutt (Chair) Professor Tony Givargis Professor Ian Harris University of California,
More informationTowards Resolving Compliance Violations in Business Process Models
Towards Resolving Compliance Violations in Business Process Models Ahmed Awad, Sergey Smirnov, and Mathias Weske Business Process Technology Group Hasso Plattner Institute at the University of Potsdam
More informationHigh-Level Small-Step Operational Semantics for Software Transactions
High-Level Small-Step Operational Semantics for Software Transactions Katherine F. Moore Dan Grossman The University of Washington Motivating Our Approach Operational Semantics Model key programming-language
More informationTelecooperation. Application of Subject-oriented Modeling in Automatic Service Composition. Erwin Aitenbichler. Technische Universität Darmstadt
Technische Universität Darmstadt Telecooperation Application of Subject-oriented Modeling in Automatic Service Composition Erwin Aitenbichler erwin@informatik.tu-darmstadt.de Area Head Smart Environments
More informationImplementation Framework for Production Case Management: Modeling and Execution
Implementation Framework for Production Case Management: Modeling and Execution Andreas Meyer, Nico Herzberg, and Mathias Weske Business Process Technology Group Hasso Plattner Institute at the University
More informationAn Algebraic Method for Analysing Control Flow of BPMN Models
An Algebraic Method for Analysing Control Flow of BPMN Models http://dx.doi.org/10.3991/ijes.v3i3.4862 Outman El Hichami 1, Mohamed Naoum 1, Mohammed Al Achhab 2, Ismail Berrada 3 and Badr Eddine El Mohajir
More informationFlexab Flexible Business Process Model Abstraction
Flexab Flexible Business Process Model Abstraction Matthias Weidlich, Sergey Smirnov, Christian Wiggert, and Mathias Weske Hasso Plattner Institute, Potsdam, Germany {matthias.weidlich,sergey.smirnov,mathias.weske}@hpi.uni-potsdam.de,
More informationDiagnostic Information for Control-Flow Analysis of Workflow Graphs (aka Free-Choice Workflow Nets)
Diagnostic Information for Control-Flow Analysis of Workflow Graphs (aka Free-Choice Workflow Nets) Cédric Favre(1,2), Hagen Völzer(1), Peter Müller(2) (1) IBM Research - Zurich (2) ETH Zurich 1 Outline
More informationVerifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariants
c The Author 2005. Published by Oxford University Press on behalf of The British Computer Society. All rights reserved. For Permissions, please email: journals.permissions@oupjournals.org doi:10.1093/comjnl/bxh000
More informationIntroduction to Software Testing Chapter 2.1, 2.2 Overview Graph Coverage Criteria Paul Ammann & Jeff Offutt
Introduction to Software Testing Chapter 2.1, 2.2 Overview Graph Coverage Criteria Paul Ammann & Jeff Offutt www.introsoftwaretesting.com Ch. 2 : Graph Coverage Four Structures for Modeling Software Graphs
More informationPreserving correctness during business process model configuration
DOI 10.1007/s00165-009-0112-0 The Author(s) 2009. This article is published with open access at Springerlink.com Formal Aspects of Computing (2010) 22: 459 482 Formal Aspects of Computing Preserving correctness
More informationLecture 6. Abstract Interpretation
Lecture 6. Abstract Interpretation Wei Le 2014.10 Outline Motivation History What it is: an intuitive understanding An example Steps of abstract interpretation Galois connection Narrowing and Widening
More informationIntegration of UML and Petri Net for the Process Modeling and Analysis in Workflow Applications
Integration of UML and Petri Net for the Process Modeling and Analysis in Workflow Applications KWAN-HEE HAN *, SEOCK-KYU YOO **, BOHYUN KIM *** Department of Industrial & Systems Engineering, Gyeongsang
More informationBusiness Process Management
Business Process Management Mathias Weske Business Process Management Concepts, Languages, Architectures Second Edition Mathias Weske Hasso Plattner Institute (HPI) Universität Potsdam Potsdam, Germany
More informationA Petri net-based simulation model for the flexible modelling and analysis of building construction processes
Simulation in Produktion und Logistik Entscheidungsunterstützung von der Planung bis zur Steuerung Wilhelm Dangelmaier, Christoph Laroque & Alexander Klaas (Hrsg.) Paderborn, HNI-Verlagsschriftenreihe
More informationBatch Regions: Process Instance Synchronization based on Data
Batch Regions: Process Instance Synchronization based on Data Luise Pufahl, Andreas Meyer, and Mathias Weske Hasso Plattner Institute at the University of Potsdam {Luise.Pufahl,Andreas.Meyer,Mathias.Weske}@hpi.uni-potsdam.de
More informationExtensible BPMN Process Simulator
Extensible BPMN Process Simulator Luise Pufahl and Mathias Weske Hasso Plattner Institute at the University of Potsdam, Germany {Luise.Pufahl,Mathias.Weske}@hpi.uni-potsdam.de Abstract. Business process
More informationVerification of EPCs: Using Reduction Rules and Petri Nets
Verification of EPCs: Using Reduction Rules and Petri Nets B.F. van Dongen, W.M.P. van der Aalst, and H.M.W. Verbeek Department of Technology Management, Eindhoven University of Technology P.O. Box 513,
More informationEfficient Compliance Checking Using BPMN-Q and Temporal Logic
Efficient Compliance Checking Using BPMN-Q and Temporal Logic Ahmed Awad, Gero Decker, Mathias Weske Business Process Technology Group Hasso-Plattner-Institute, University of Potsdam, Germany {ahmed.awad,gero.decker,weske}@hpi.uni-potsdam.de
More informationUser Tools and Languages for Graph-based Grid Workflows
User Tools and Languages for Graph-based Grid Workflows User Tools and Languages for Graph-based Grid Workflows Global Grid Forum 10 Berlin, Germany Grid Workflow Workshop Andreas Hoheisel (andreas.hoheisel@first.fraunhofer.de)
More informationFormal Process Modelling
Formal Process Modelling Petri Net Behaviour Net Model Event-driven Process Chains Formalisation Håvard D. Jørgensen Materiale fra: Jon Atle Gulla, NTNU Folker den Braber, SINTEF Anders Moen, Norsk Regnesentral
More informationEfficient Compliance Checking Using BPMN-Q and Temporal Logic
Efficient Compliance Checking Using BPMN-Q and Temporal Logic Ahmed Awad, Gero Decker, Mathias Weske Business Process Technology Group Hasso-Plattner-Institute, University of Potsdam, Germany {ahmed.awad,gero.decker,weske}@hpi.uni-potsdam.de
More informationUsing the π-calculus for Formalizing Workflow Patterns
Using the π-calculus for Formalizing Workflow Patterns Frank Puhlmann and Mathias Weske Hasso-Plattner-Institute for IT Systems Engineering at the University of Potsdam D-14482 Potsdam, Germany {puhlmann,weske}@hpi.uni-potsdam.de
More informationModeling and Enacting Complex Data Dependencies in Business Processes
Modeling and Enacting Complex ata ependencies in Business Processes Andreas Meyer 1, Luise Pufahl 1, irk Fahland 2, and Mathias Weske 1 1 Hasso Plattner Institute at the University of Potsdam {Andreas.Meyer,Luise.Pufahl,Mathias.Weske}@hpi.uni-potsdam.de
More informationBusiness Processes Modelling MPB (6 cfu, 295AA)
Business Processes Modelling MPB (6 cfu, 295AA) Roberto Bruni http://www.di.unipi.it/~bruni 13 - Workflow nets!1 Object We study some special kind of Petri nets, that are suitable models of workflows Ch.4.4
More informationNew description of the Unified Memory Model Proposal for Java
New description of the Unified Memory Model Proposal for Java Jeremy Manson, William Pugh and Sarita Adve April 29, 2004, 9:35pm 0.1 Actions and Executions An action a is described by a tuple t, k, v,
More informationDiagnosing Workflow Processes using Woflan
Diagnosing Workflow Processes using Woflan H.M.W. VERBEEK 1, T. BASTEN 2 AND W.M.P. VAN DER AALST 1 1 Faculty of Technology Management, Eindhoven University of Technology, the Netherlands 2 Faculty of
More informationTRANSLATING business requirements into a system
1 Efficient onsistency Measurement based on ehavioural Profiles of Process Models Matthias Weidlich, Member, IEEE, Jan Mendling, and Mathias Weske, Member, IEEE bstract Engineering of process driven business
More informationAdvanced Reduction Rules for the Verification of EPC Business Process Models
Advanced Reduction Rules for the Verification of EPC Business Process Models Jan Mendling and Wil van der Aalst Queensland University of Technology Level 5, 126 Margaret Street, Brisbane QLD 4000, Australia
More informationFrom Fine-Grained to Abstract Process Models: A Semantic Approach
From Fine-Grained to Abstract Process Models: A Semantic Approach Sergey Smirnov a,, Hajo A. Reijers b, Mathias Weske a a Hasso Plattner Institute, Prof.-Dr.-Helmert-Str. 2-3, D-14482 Potsdam, Germany
More informationRajiv GandhiCollegeof Engineering& Technology, Kirumampakkam.Page 1 of 10
Rajiv GandhiCollegeof Engineering& Technology, Kirumampakkam.Page 1 of 10 RAJIV GANDHI COLLEGE OF ENGINEERING & TECHNOLOGY, KIRUMAMPAKKAM-607 402 DEPARTMENT OF COMPUTER SCIENCE & ENGINEERING QUESTION BANK
More informationIntroduction to Software Testing Chapter 2, Sections: 2.1 & 2.2 Overview Graph Coverage Criteria
Introduction to Software Testing Chapter 2, Sections: 2.1 & 2.2 Overview Graph Coverage Criteria Paul Ammann & Jeff Offutt http://www.cs.gmu.edu/~offutt/softwa retest/ Ch. 2 : Graph Coverage Four Structures
More informationConservative Concurrency in Haskell
Conservative Concurrency in Haskell David Sabel and Manfred Schmidt-Schauß Goethe-University, Frankfurt am Main, Germany LICS 12, Dubrovnik, Croatia Motivation a View on Haskell Purely functional core
More informationTowards a Formal Framework for Reuse in Business Process Modeling
Towards a Formal Framework for Reuse in Business Process Modeling Ivan Markovic and Alessandro Costa Pereira SAP Research Karlsruhe, Germany {ivan.markovic, alessandro.costa.pereira}@sap.com Abstract.
More informationCLF: A logical framework for concurrent systems
CLF: A logical framework for concurrent systems Thesis Proposal Kevin Watkins Carnegie Mellon University Committee: Frank Pfenning, CMU (Chair) Stephen Brookes, CMU Robert Harper, CMU Gordon Plotkin, University
More informationAUTOMATED PLANNING OF PROCESS MODELS: THE CONSTRUCTION OF SIMPLE MERGES
AUTOMATED PLANNING OF PROCESS MODELS: THE CONSTRUCTION OF SIMPLE MERGES Research Heinrich, Bernd, University of Regensburg, Regensburg, Germany, bernd.heinrich@wiwi.uni-regensburg.de Schön, Dominik, University
More informationReal-Time Implementation of BIP: Clocks and Real-Time Constraints
Real-Time Implementation of BIP: Clocks and Real-Time Constraints Jacques Combaz DCS Days March 27, 2009 Verimag Outline 1. Introduction: (Timed) BIP Model 2. Computing Timed Interactions 3. Model Time
More informationAnalysis of BPMN Models
Analysis of BPMN Models Addis Gebremichael addisalemayehu.gebremichael@student.uantwerpen.be Abstract The Business Process Modeling Notation (BPMN) is a standard notation for capturing business processes,
More informationLecture Notes in Business Information Processing 67
Lecture Notes in Business Information Processing 67 Series Editors Wil van der Aalst Eindhoven Technical University, The Netherlands John Mylopoulos University of Trento, Italy Michael Rosemann Queensland
More informationOverview Graph Coverage Criteria
Overview Graph Coverage Criteria Graph Coverage Four Structures for Modeling Software Graphs Logic Input Space Syntax Applied to Applied to Source FSMs Applied to Specs DNF Source Specs Source Models Design
More informationVisual Comparison of Business Process Flowcharts
Visual Comparison of Business Process Flowcharts Bernhard Häussner Julius-Maximilians-Universität Würzburg Institut für Informatik Lehrstuhl für Informatik I Algorithmen, Komplexität und wissensbasierte
More informationA NOVEL MODELING METHODOLOGY FOR COLLABORATIVE ENTERPRISE PROCESSES. Received March 2011; revised July 2011
International Journal of Innovative Computing, Information and Control ICIC International c 2012 ISSN 1349-4198 Volume 8, Number 7(B), July 2012 pp. 5369 5380 A NOVEL MODELING METHODOLOGY FOR COLLABORATIVE
More informationINTRODUCTION Background of the Problem Statement of the Problem Objectives of the Study Significance of the Study...
vii TABLE OF CONTENTS CHAPTER TITLE PAGE DECLARATION... ii DEDICATION... iii ACKNOWLEDGEMENTS... iv ABSTRACT... v ABSTRAK... vi TABLE OF CONTENTS... vii LIST OF TABLES... xii LIST OF FIGURES... xiii LIST
More informationFlexibility for Distributed Workflows *
Flexibility for Distributed Workflows * Manfred Reichert 1,2, Thomas Bauer 3, Peter Dadam 1 1 Institute of Databases and Information Systems, University of Ulm, Germany 2 Information Systems Group, University
More informationFlexRay International Workshop. FAN analysis
FlexRay International Workshop 16 th and 17 th April, 2002 Munich FAN analysis Dipl. Inf. Jens Lisner - University of Essen Project FAN - Goals Verify the design of FlexRay in particular: countermeasures
More informationOntology and Database Systems: Foundations of Database Systems
Ontology and Database Systems: Foundations of Database Systems Werner Nutt Faculty of Computer Science Master of Science in Computer Science A.Y. 2014/2015 Incomplete Information Schema Person(fname, surname,
More informationAnalysis of structural and behavioural properties of case models. Analyse von Struktur und Verhalten von Case-Modellen
Analysis of structural and behavioural properties of case models Analyse von Struktur und Verhalten von Case-Modellen Patrick Kuhn Prof. Dr. Mathias Weske Dipl.-Inf. Marcin Hewelt MSc. Sankalita Mandal
More informationThe Triconnected Abstraction of Process Models
The Triconnected Abstraction of Process Models Artem Polyvyanyy, Sergey Smirnov, and Mathias Weske Business Process Technology Group Hasso Plattner Institute at the University of Potsdam Prof.-Dr.-Helmert-Str.
More informationModeling Service Choreographies using BPMN and BPEL4Chor
Institute of Architecture of Application Systems Modeling Service Choreographies using BPMN and BPEL4Chor Gero Decker 1, Oliver Kopp 2, Frank Leymann 2, Kerstin Pfitzner 2, Mathias Weske 1 1 Hasso-Plattner-Institute,
More informationAutomated Freedom from Interference Analysis for Automotive Software
Automated Freedom from Interference Analysis for Automotive Software Florian Leitner-Fischer ZF TRW 78315 Radolfzell, Germany Email: florian.leitner-fischer@zf.com Stefan Leue Chair for Software and Systems
More informationConsolidation of Interacting BPEL Process Models with Fault Handlers
Consolidation of Interacting BPEL Process Models with Fault Handlers Sebastian Wagner, Oliver Kopp, and Frank Leymann Institute of Architecture of Application Systems, University of Stuttgart, Germany
More informationProcess Modelling using Petri Nets
Process Modelling using Petri Nets Katalina Grigorova Abstract: This paper discusses the reasons, which impose Petri nets as a conceptual standard for modelling and analysis of workflow. Petri nets notation
More informationCollaboratively Patching Linked Data A Patch Repository for Linked Datasets
Collaboratively Patching Linked Data A Patch Repository for Linked Datasets Magnus Knuth, Johannes Hercher, and Harald Sack Hasso Plattner Institute, University of Potsdam USEWOD Workshop @ WWW 2012 April
More informationOn-the-Fly Data Race Detection in MPI One-Sided Communication
On-the-Fly Data Race Detection in MPI One-Sided Communication Presentation Master Thesis Simon Schwitanski (schwitanski@itc.rwth-aachen.de) Joachim Protze (protze@itc.rwth-aachen.de) Prof. Dr. Matthias
More informationIssues on Decentralized Consistency Checking of Multi-lateral Collaborations
Issues on Decentralized Consistency Checking of Multi-lateral Collaborations Andreas Wombacher University of Twente Enschede The Netherlands a.wombacher@utwente.nl Abstract Decentralized consistency checking
More informationAnalyzing Interacting WS-BPEL Processes Using Flexible Model Generation 1
Analyzing Interacting WS-BPEL Processes Using Flexible Model Generation 1 Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg Humboldt-Universität zu Berlin, Institut für Informatik, Unter
More informationModeling Service Choreographies using BPMN and BPEL4Chor
Institute of Architecture of Application Systems Modeling Service Choreographies using BPMN and BPEL4Chor Gero Decker 1, Oliver Kopp 2, Frank Leymann 2, Kerstin Pfitzner 2, Mathias Weske 1 1 Hasso-Plattner-Institute,
More informationBusiness Process Modeling. Version 25/10/2012
Business Process Modeling Version 25/10/2012 Maurizio Morisio, Marco Torchiano, 2012, 2013 3 BP Aspects Process flow Process modeling UML Activity Diagrams BPMN Information Conceptual modeling UML Class
More information(All chapters begin with an Introduction end with a Summary, Exercises, and Reference and Bibliography) Preliminaries An Overview of Database
(All chapters begin with an Introduction end with a Summary, Exercises, and Reference and Bibliography) Preliminaries An Overview of Database Management What is a database system? What is a database? Why
More informationBusiness Process Management Winter Term 2005/2006
Seminar Reader Business Process Management Winter Term 2005/2006 Editors Frank Puhlmann Hilmar Schuschel Mathias Weske Contact Business Process Technology Group Hasso Plattner Institute for IT Systems
More informationA Formal Model for Web-Service Composition
Simon Foster Department of Computer Science University of Sheffield http://www.dcs.shef.ac.uk/~simonf BCTCS 2006 Outline 1 Composing Web-Services Current Technologies 2 3 4 Outline
More informationTranslating Unstructured Workflow Processes to Readable BPEL: Theory and Implementation
Translating Unstructured Workflow Processes to Readable BPEL: Theory and Implementation Wil M.P. van der Aalst 1,2 and Kristian Bisgaard Lassen 2 1 Department of Computer Science, Eindhoven University
More informationVerifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Invariants
Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Invariants H.M.W. Verbeek 1, W.M.P. van der Aalst 1,2, and A.H.M. ter Hofstede 2 1 Faculty of Faculty of Technology Management,
More informationBUSINESS PROCESS MODEL ABSTRACTION BASED ON SYNTHESIS FROM WELL-STRUCTURED BEHAVIORAL PROFILES
International Journal of Cooperative Information Systems c World Scientific Publishing Company BUSINESS PROCESS MODEL ABSTRACTION BASED ON SYNTHESIS FROM WELL-STRUCTURED BEHAVIORAL PROFILES SERGEY SMIRNOV
More informationWeb Service Usage Mining: Mining For Executable Sequences
7th WSEAS International Conference on APPLIED COMPUTER SCIENCE, Venice, Italy, November 21-23, 2007 266 Web Service Usage Mining: Mining For Executable Sequences MOHSEN JAFARI ASBAGH, HASSAN ABOLHASSANI
More informationOn the Expressiveness of Polyadicity in Higher-Order Process Calculi
On the Expressiveness of Polyadicity in Higher-Order Process Calculi Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi (Univ. di Bologna) Alan Schmitt (INRIA Grenoble - Rhône Alpes) ICTCS 09 Cremona, September
More informationA Formal Definition of RESTful Semantic Web Services. Antonio Garrote Hernández María N. Moreno García
A Formal Definition of RESTful Semantic Web Services Antonio Garrote Hernández María N. Moreno García Outline Motivation Resources and Triple Spaces Resources and Processes RESTful Semantic Resources Example
More informationDesign by Selection: A Query-based Approach for Business Process Modeling
Design by Selection: A Query-based Approach for Business Process Modeling Ahmed Awad 1 Matthias Kunze 1 Sherif Sakr 2 Mathias Weske 1 1 Hasso-Plattner-Institute University of Potsdam, Germany {ahmed.awad,
More informationConsistency and Set Intersection
Consistency and Set Intersection Yuanlin Zhang and Roland H.C. Yap National University of Singapore 3 Science Drive 2, Singapore {zhangyl,ryap}@comp.nus.edu.sg Abstract We propose a new framework to study
More informationHöllische Programmiersprachen Hauptseminar im Wintersemester 2014/2015 Determinism and reliability in the context of parallel programming
Höllische Programmiersprachen Hauptseminar im Wintersemester 2014/2015 Determinism and reliability in the context of parallel programming Raphael Arias Technische Universität München 19.1.2015 Abstract
More informationExploiting Schedule Insensitivity for Enhancing Concurrent Program Verification
Exploiting Schedule Insensitivity for Enhancing Concurrent Program Verification Vineet Kahlon, NEC Labs, Princeton, USA. Abstract. The key to making program analysis practical for large concurrent programs
More informationSyllabi of the Comprehensive Examination in Computer Science
Syllabi of the Comprehensive Examination in Computer Science The material of the comprehensive examination is drawn mostly from the undergraduate curriculum at Kuwait University and is updated to reflect
More informationGraph Based Workflow Validation
Graph Based Workflow Validation Anastasios Giouris and Manolis Wallace Department of Computer Science, University of Indianapolis Athens, Ipitou 9, Syntagma, 557, GREECE http://cs.uindy.gr cs@uindy.gr
More informationDistributed Data Management
Lecture Distributed Data Management Chapter 7: Lazy Replication Erik Buchmann buchmann@ipd.uka.de IPD, Forschungsbereich Systeme der Informationsverwaltung Synchronous vs. Asynchronous Updates Synchronous
More informationProcess Model Consistency Measurement
IOSR Journal of Computer Engineering (IOSRJCE) ISSN: 2278-0661, ISBN: 2278-8727Volume 7, Issue 6 (Nov. - Dec. 2012), PP 40-44 Process Model Consistency Measurement Sukanth Sistla CSE Department, JNTUniversity,
More informationPart II Workflow discovery algorithms
Process Mining Part II Workflow discovery algorithms Induction of Control-Flow Graphs α-algorithm Heuristic Miner Fuzzy Miner Outline Part I Introduction to Process Mining Context, motivation and goal
More information