1 Graph-Based Process Model Matching Name: Christina Tsagkani Phd Candidate National and Kapodistrian University of Athens

Slides:



Advertisements
Similar presentations
Heuristic Search techniques
Advertisements

Artificial Intelligence Presentation
Lukas Blunschi Claudio Jossen Donald Kossmann Magdalini Mori Kurt Stockinger.
Greta YorshEran YahavMartin Vechev IBM Research. { ……………… …… …………………. ……………………. ………………………… } P1() Challenge: Correct and Efficient Synchronization { ……………………………
Traveling Salesperson Problem
Informed Search Methods How can we improve searching strategy by using intelligence? Map example: Heuristic: Expand those nodes closest in “as the crow.
Situation Calculus for Action Descriptions We talked about STRIPS representations for actions. Another common representation is called the Situation Calculus.
Lecture 24 Coping with NPC and Unsolvable problems. When a problem is unsolvable, that's generally very bad news: it means there is no general algorithm.
Optimal Rectangle Packing: A Meta-CSP Approach Chris Reeson Advanced Constraint Processing Fall 2009 By Michael D. Moffitt and Martha E. Pollack, AAAI.
Addressing Diverse User Preferences in SQL-Query-Result Navigation SIGMOD ‘07 Zhiyuan Chen Tao Li University of Maryland, Baltimore County Florida International.
DESIGN OF A GENERIC PATH PATH PLANNING SYSTEM AILAB Path Planning Workgroup.
USC Graduate Student DayColumbia, SCMarch 2006 Presented by: Jingshan Huang Computer Science & Engineering Department University of South Carolina PhD.
Integrating Bayesian Networks and Simpson’s Paradox in Data Mining Alex Freitas University of Kent Ken McGarry University of Sunderland.
Software Testing and Quality Assurance
Xyleme A Dynamic Warehouse for XML Data of the Web.
A Review of Ontology Mapping, Merging, and Integration Presenter: Yihong Ding.
Creating Architectural Descriptions. Outline Standardizing architectural descriptions: The IEEE has published, “Recommended Practice for Architectural.
Architectural Design Principles. Outline  Architectural level of design The design of the system in terms of components and connectors and their arrangements.
1 Ivan Lanese Computer Science Department University of Bologna Italy Concurrent and located synchronizations in π-calculus.
CS218 – Final Project A “Small-Scale” Application- Level Multicast Tree Protocol Jason Lee, Lih Chen & Prabash Nanayakkara Tutor: Li Lao.
A Platform-based Design Flow for Kahn Process Networks Abhijit Davare Qi Zhu December 10, 2004.
Games & Adversarial Search Chapter 6 Section 1 – 4.
1 ES 314 Advanced Programming Lec 2 Sept 3 Goals: Complete the discussion of problem Review of C++ Object-oriented design Arrays and pointers.
Distributed Constraint Optimization * some slides courtesy of P. Modi
Domain-Specific Software Engineering Alex Adamec.
Ontology Matching Basics Ontology Matching by Jerome Euzenat and Pavel Shvaiko Parts I and II 11/6/2012Ontology Matching Basics - PL, CS 6521.
Managing Large RDF Graphs (Infinite Graph) Vaibhav Khadilkar Department of Computer Science, The University of Texas at Dallas FEARLESS engineering.
Database Systems: Design, Implementation, and Management Eighth Edition Chapter 10 Database Performance Tuning and Query Optimization.
Jorge Muñoz-Gama Universitat Politècnica de Catalunya (Barcelona, Spain) Algorithms for Process Conformance and Process Refinement.
Author: James Allen, Nathanael Chambers, etc. By: Rex, Linger, Xiaoyi Nov. 23, 2009.
Network Aware Resource Allocation in Distributed Clouds.
Mobile Topic Maps for e-Learning John McDonald & Darina Dicheva Intelligent Information Systems Group Computer Science Department Winston-Salem State University,
Introduction to Job Shop Scheduling Problem Qianjun Xu Oct. 30, 2001.
A Scalable Self-organizing Map Algorithm for Textual Classification: A Neural Network Approach to Thesaurus Generation Dmitri G. Roussinov Department of.
GATree: Genetically Evolved Decision Trees 전자전기컴퓨터공학과 데이터베이스 연구실 G 김태종.
On Graph Query Optimization in Large Networks Alice Leung ICS 624 4/14/2011.
RCDL Conference, Petrozavodsk, Russia Context-Based Retrieval in Digital Libraries: Approach and Technological Framework Kurt Sandkuhl, Alexander Smirnov,
Dr.Abeer Mahmoud ARTIFICIAL INTELLIGENCE (CS 461D) Dr. Abeer Mahmoud Computer science Department Princess Nora University Faculty of Computer & Information.
1 Dept of Information and Communication Technology Creating Objects in Flexible Authorization Framework ¹ Dep. of Information and Communication Technology,
Dimitrios Skoutas Alkis Simitsis
LATA: A Latency and Throughput- Aware Packet Processing System Author: Jilong Kuang and Laxmi Bhuyan Publisher: DAC 2010 Presenter: Chun-Sheng Hsueh Date:
Chapter 10 Analysis and Design Discipline. 2 Purpose The purpose is to translate the requirements into a specification that describes how to implement.
1 Capturing Requirements As Use Cases To be discussed –Artifacts created in the requirements workflow –Workers participating in the requirements workflow.
Easiest-to-Reach Neighbor Search Fatimah Aldubaisi.
Object-Oriented Modeling: Static Models. Object-Oriented Modeling Model the system as interacting objects Model the system as interacting objects Match.
CSCI 4310 Lecture 2: Search. Search Techniques Search is Fundamental to Many AI Techniques.
Optimization Problems
1 Approximate XML Query Answers Presenter: Hongyu Guo Authors: N. polyzotis, M. Garofalakis, Y. Ioannidis.
Computer Simulation of Networks ECE/CSC 777: Telecommunications Network Design Fall, 2013, Rudra Dutta.
Introduction to Artificial Intelligence (G51IAI) Dr Rong Qu Blind Searches - Introduction.
Finite State Machines (FSM) OR Finite State Automation (FSA) - are models of the behaviors of a system or a complex object, with a limited number of defined.
Database Management Systems, R. Ramakrishnan 1 Algorithms for clustering large datasets in arbitrary metric spaces.
1 Some Guidelines for Good Research Dr Leow Wee Kheng Dept. of Computer Science.
Ferdowsi University of Mashhad 1 Automatic Semantic Web Service Composition based on owl-s Research Proposal presented by : Toktam ghafarian.
Semantic Data Extraction for B2B Integration Syntactic-to-Semantic Middleware Bruno Silva 1, Jorge Cardoso 2 1 2
Of 24 lecture 11: ontology – mediation, merging & aligning.
1 Chapter 5 Branch-and-bound Framework and Its Applications.
Big Data: Every Word Managing Data Data Mining TerminologyData Collection CrowdsourcingSecurity & Validation Universal Translation Monolingual Dictionaries.
SERVICE ANNOTATION WITH LEXICON-BASED ALIGNMENT Service Ontology Construction Ontology of a given web service, service ontology, is constructed from service.
Artificial Intelligence Solving problems by searching.
CSPs: Search and Arc Consistency Computer Science cpsc322, Lecture 12
CSPs: Search and Arc Consistency Computer Science cpsc322, Lecture 12
CIS 488/588 Bruce R. Maxim UM-Dearborn
Games & Adversarial Search
[jws13] Evaluation of instance matching tools: The experience of OAEI
Sungho Kang Yonsei University
Chapter 11 Limitations of Algorithm Power
Efficient Subgraph Similarity All-Matching
Market-based Dynamic Task Allocation in Mobile Surveillance Systems
Information Networks: State of the Art
Presentation transcript:

1 Graph-Based Process Model Matching Name: Christina Tsagkani Phd Candidate National and Kapodistrian University of Athens Supervisor: Dr. Tsalgatidou Aphrodite

Presentation Outline  Problem Statement and Research Questions  Work Foundation  Results to date  Next steps Christina Tsagkani, Graph-Based Process Model Matching

Application Domains  Areas of application: Process Improvement Business merging - prevent duplication of processes Reuse purposes in Business Process Design- no need to define whole process Christina Tsagkani, Graph-Based Process Model Matching

The need for Process matching  The Big Picture  Business processes are becoming quite complex  Process repositories typically consist of hundreds even thousands process models  In the repository a business process may be represented by several process models having different levels of detail  Heterogeneous environments  Design from scratch is error-prone  Near match 4 Christina Tsagkani, Graph-Based Process Model Matching

Problem Statement and Research Questions  Research questions raised What happens when there is no perfect match amongst graphs? What happens when process repositories become quite large and heterogeneous? What happens with models of different size? (the aim is to make use of the extra knowledge acquired and different process abstraction levels) 5 Christina Tsagkani, Graph-Based Process Model Matching

Research aim  “process model matchmaking mechanism”. Matching based on different metrics aiming at improving the quality of the result and different process aspects (events data input/output, roles), Able to handle large and complex business processes by reducing the search space 6 Christina Tsagkani, Graph-Based Process Model Matching

Presentation Outline  Problem Statement and Research Questions  Work Foundation  Results to date  Next steps Christina Tsagkani, Graph-Based Process Model Matching

Differences in Business Processes  Authorization differences  Behavioral representation( same behavior achieved with different structures),  Labelling styles (eg. verb-object), terminology (different labels same semantics),  Level of granularity (one activity- collection of activities) and  Projections (parts of a model my be left out in another model)  Control-flow differences: same activity different dependencies (pre/post), additional dependencies, disjoint dependencies(no same dependencies), iterative activities/once-off, different conditions for the occurrence of same activity 8 Christina Tsagkani, Graph-Based Process Model Matching

Differences in Business Processes 9 Christina Tsagkani, Graph-Based Process Model Matching

Processes as Attributed Graphs 10 Christina Tsagkani, Graph-Based Process Model Matching

Processes as Attributed Graphs 11 Christina Tsagkani, Graph-Based Process Model Matching

Processes as Attributed Graphs 12 Christina Tsagkani, Graph-Based Process Model Matching

Process Matchmaking  Process matchmaking problem  graph matching problem: as a basis to define similarity measures  Definition: Matching is the process of discovering mappings between two graphs through the application of a matching algorithm Christina Tsagkani, Graph-Based Process Model Matching

Matching Aspects of BPGs 14 Node/Edge Matching Aspects Type Label Attribute Christina Tsagkani, Graph-Based Process Model Matching

Matchmaking process  It uses similarity measurements to identify the optimal process. There are different similarity aspects: Label:  Syntactic: based on a comparison of the labels that appear in the process models (task labels, event labels, etc.) using syntactic  Semantically: based on a comparison of the labels that appear in the process models (task labels, event labels, etc.) using semantics eg.“Customer inquiry processing” and “ Client inquiry query processing” Structural: based on the topology of the process models including syntactic and/or semantic similarity Behavioral: based on the execution semantics of process models Contextual: pre/post conditions. It considers the reasoning behind the design (its goals, intentions…) Christina Tsagkani, Graph-Based Process Model Matching

Matching techniques (metrics)  Label similarity Syntactic: string-edit distance, n-gram, morphological analysis (stemming) and non-stop-word elimination techniques Semantic: synonym and other semantic relations captured in the Thesauri (e.g. Wordnet)  Structural Similarity: can be based on graph-edit distance A* Algorithm Heuristic search Similarity flooding  Behavioral similarity: techniques are based on comparison of traces, simulation (state transition) and causal footprints (E, L lb, L la ) Christina Tsagkani, Graph-Based Process Model Matching

Matchmaking process  The outcome of the process: Exact: equivalent process models Plug-in: request is sub-concept Subsume request is super-concept Intersection: their intersection is satisfiable Disjoint: incompatible Christina Tsagkani, Graph-Based Process Model Matching

Process Matchmaking  Process matchmaking problem  graph matching problem: as a basis to define similarity measures  Definition: Matching is the process of discovering mappings between two graphs through the application of a matching algorithm Christina Tsagkani, Graph-Based Process Model Matching

Review of graph matching algorithms [1/2] We distinguish:  Exact match: perfect match eg. Ulman algorithm.  Inexact matching: finds mappings that minimize the matching cost  Graph edit distance that is well suited for structural similarity.  Algorithms based on branch and bound  Artificial neural networks  Relaxation labeling  Expectation maximization algorithm  Graduated assignment  Random walks in graphs  Random graphs  Etc. Inexact matches problem: existing techniques focus on performance and no systematic evaluation of solution quality Christina Tsagkani, Graph-Based Process Model Matching

Review of graph matching algorithms [2/2]  Exact matching: exponential time O (2 n )  Inexact matching: Optimal inexact matching: always find a solution that is the global minimum of the matching cost. Approximate or suboptimal: only ensure to find a local minimum of the matching cost, execute in polynomial time O(n K ) Christina Tsagkani, Graph-Based Process Model Matching

Inexact Matching algorithms- Graph Edit Distance  The challenge for inexact matching: how much the graphs differ. Why choose GED as a graph matching technique? “Compared to other approaches to graph matching, graph edit distance is known to be very flexible since it can handle arbitrary graphs and any type of node and edge labels. Furthermore, by defining costs for edit operations the concept of edit distance can be tailored to specific applications”  GED definition: The idea of graph edit distance is to define the dissimilarity of graphs by the amount of distortion that is needed to transform one graph into another. Christina Tsagkani, Graph-Based Process Model Matching

Graph edit distance computation Christina Tsagkani, Graph-Based Process Model Matching

A* Algorithm  Is designed to provide exact match  Is based on Graph Edit Distance  Mapping means edit operations Christina Tsagkani, Graph-Based Process Model Matching

A* Algorithm  Example Graph Q: Graph T: Solution: fae bdg fae baedae gae C=4 C=1 C=5 gbegde C=2 C=4 gbd C=3 Christina Tsagkani, Graph-Based Process Model Matching

The Process matching Contest AuthorsNode Similarity Structural Similarity Behavioural Similarity SyntacticSemantic Triple-S Cayoglu, Oberweis, Schoknecht, Ullrich √√√ Business Process Graph Matching Dijkman, Dumas, Garcia- Banuelos √√√ RefMod- Mine/NSCM Thaler, Hake, Fettke, Loos √√ RefMod- Mine/ESGM Hake, Thaler, Fettke, Loos √√ Bag-of-Words Similarity with label Pruning Klinkmuller, Weber, Mendling, Leopold, Ludwig √√ ICoP framework Weidlich, Dijkman, Mendling √ √

Presentation Outline  Problem Statement and Research Questions  Work Foundation  Results to date  Next steps Christina Tsagkani, Graph-Based Process Model Matching

Originality  The matcher: The matcher will support inexact matches Similarity measurement based on different viewpoints other than structural viewpoint (data manipulation, data inputs/outputs and resource allocation) Different Process Granularity Different process projections Search space limitations The quality of the results will be evaluated using heuristics and further pruned

Extension of the A* algorithm  Reduce the search space: arrange nodes in sets based on type  Alter the algorithm so that the following statement is true: “When a leaf “A” and a child node have the same smallest cost value, then to output the path “A” as the solution (and not to expand the child node) Christina Tsagkani, Graph-Based Process Model Matching

Results to Date  The matchmaking models’ functionality presented in steps: 29 Christina Tsagkani, Graph-Based Process Model Matching

Presentation Outline  Problem Statement and Research Questions  Work Foundation  Results to date  Next steps Christina Tsagkani, Graph-Based Process Model Matching

Next Steps  Implement the algorithm  Algorithm Evaluation  Address the issue of Different Process Granularity  Finalize the matcher architecture 31