ExRORU: A new approach to characterize the behavioral semantics of process models

Shuhao Wang, Lijie Wen, Akhil Kumar, Jianmin Wang, Jianwen Su

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Scopus citations

Abstract

A recent paper has proposed new ordering relations with uncertainty between the executions of tasks in acyclic process models. However, this approach cannot work for cyclic process models and those with silent transitions and non-free-choice constructs. In practice most non-trivial process models contain cycles and about 10% to 20% have also non-free-choice constructs. In this paper, we show how to overcome these problems by a refinement of the relations (i.e., extended refined ordering relations with uncertainty, ExRORU for short). All these relations can uniquely detect the behavioral differences between any pair of process models and can also be computed efficiently based on the complete prefix unfolding of a process model. Experiments on real-life and synthesized process models show that ExRORU is both effective and scalable.

Original languageEnglish (US)
Title of host publicationOn the Move to Meaningful Internet Systems
Subtitle of host publicationOTM 2016 Conferences - Confederated International Conferences: CoopIS, CandTC, and ODBASE 2016, Proceedings
EditorsTharam Dillon, Christophe Debruyne, Declan Oâ’Sullivan, Herve Panetto, Eva Kuhn, Claudio Agostino Ardagna, Robert Meersman
PublisherSpringer Verlag
Pages318-326
Number of pages9
ISBN (Print)9783319484716
DOIs
StatePublished - 2016
EventConfederated International Conference On the Move to Meaningful Internet Systems, OTM 2016 held in conjunction with Conferences on CoopIS, CandTC and ODBASE 2016 - Rhodes, Greece
Duration: Oct 24 2016Oct 28 2016

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume10033 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

OtherConfederated International Conference On the Move to Meaningful Internet Systems, OTM 2016 held in conjunction with Conferences on CoopIS, CandTC and ODBASE 2016
CountryGreece
CityRhodes
Period10/24/1610/28/16

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'ExRORU: A new approach to characterize the behavioral semantics of process models'. Together they form a unique fingerprint.

Cite this