Reference process models are normative and prescriptive models that encapsulate best practices and standards for reuse and are thus essential for ensuring quality and consistency in concrete processes. Conformance checks are required to verify the adherence between a concrete process model of a system and its reference model. This paper explores automated conformance checks using causal dependency analysis of tasks and events. Current methods primarily focus on verifying execution traces, lacking the necessary expressiveness and automation for semantic model-to-model comparison. Our approach is integrated into a broader semantic framework for defining reference model conformance. We present an algorithm for conformance checking, evaluate its implementation, and discuss its strengths and limitations. Our research offers a tool-assisted automated solution that enhances accuracy and flexibility in process model conformance verification.

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

Automated Conformance Checking Between Process Models and Their Generalized Reference Process Models

  • Judith Michael,
  • Bernhard Rumpe,
  • Max Stachon,
  • Sebastian Stüber,
  • Valdes Voufo

摘要

Reference process models are normative and prescriptive models that encapsulate best practices and standards for reuse and are thus essential for ensuring quality and consistency in concrete processes. Conformance checks are required to verify the adherence between a concrete process model of a system and its reference model. This paper explores automated conformance checks using causal dependency analysis of tasks and events. Current methods primarily focus on verifying execution traces, lacking the necessary expressiveness and automation for semantic model-to-model comparison. Our approach is integrated into a broader semantic framework for defining reference model conformance. We present an algorithm for conformance checking, evaluate its implementation, and discuss its strengths and limitations. Our research offers a tool-assisted automated solution that enhances accuracy and flexibility in process model conformance verification.