Implementing choreography extraction

10/25/2019
by   Luís Cruz-Filipe, et al.
0

Choreography extraction deals with the generation of a choreography (a global description of communication behaviour) from a set of local process behaviours. In this work, we implement a previously proposed theory for extraction and show that, in spite of its theoretical exponential complexity, it is usable in practice. We discuss the data structures needed for an efficient implementation, introduce some optimizations, and perform a systematic practical evaluation.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

05/02/2005

Searching for image information content, its discovery, extraction, and representation

Image information content is known to be a complicated and controvercial...
01/28/2020

Path Query Data Structures in Practice

Let us be given an ordinal tree, such that each node of it has a certain...
09/25/2018

An Efficient Framework for Implementing Persist Data Structures on Remote NVM

The byte-addressable Non-Volatile Memory (NVM) is a promising technology...
06/03/2019

Assessing Performance Implications of Deep Copy Operations via Microbenchmarking

As scientific frameworks become sophisticated, so do their data structur...
10/24/2019

A Review of the End-to-End Methodologies for Clinical Concept Extraction

Our study provided a review of the concept extraction literature from Ja...
12/12/2012

Learning with Scope, with Application to Information Extraction and Classification

In probabilistic approaches to classification and information extraction...
11/26/2021

Mapping Surface Code to Superconducting Quantum Processors

In this paper, we formally describe the three challenges of mapping surf...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.