The identification of business process models within large model collections poses a significant challenge. Process querying offers a solution by selecting models that meet specific characteristics, utilizing queries based on behavioral relations. These relations, which include conflict, co-occurrence, causality, and concurrency (collectively known as the 4C Spectrum), describe the potential interactions between tasks within process models during execution. However, existing approaches to compute these behavioral relations are inefficient for models with numerous execution traces, often requiring extensive time. This paper introduces a set of algorithms, termed “Behavioral Relation Computations” (in short BeRelCo), capable of identifying all 4C Spectrum behavioral relations within acyclic sound free-choice workflow nets with quadratic time complexity \({O(P^2 + T^2)}\) . Our experiments demonstrate significant benefits, particularly for process models characterized by many execution traces.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Recognizing Relationships: Detecting the 4C Spectrum in  \({\pmb {O(P^2 + T^2)}}\) for Acyclic Sound Process Models

  • Thomas M. Prinz,
  • Torsten Welsch,
  • N. Long Ha

摘要

The identification of business process models within large model collections poses a significant challenge. Process querying offers a solution by selecting models that meet specific characteristics, utilizing queries based on behavioral relations. These relations, which include conflict, co-occurrence, causality, and concurrency (collectively known as the 4C Spectrum), describe the potential interactions between tasks within process models during execution. However, existing approaches to compute these behavioral relations are inefficient for models with numerous execution traces, often requiring extensive time. This paper introduces a set of algorithms, termed “Behavioral Relation Computations” (in short BeRelCo), capable of identifying all 4C Spectrum behavioral relations within acyclic sound free-choice workflow nets with quadratic time complexity \({O(P^2 + T^2)}\) . Our experiments demonstrate significant benefits, particularly for process models characterized by many execution traces.