Causal Behavioural Profiles – Efficient Computation, Applications, and Evaluation

Matthias Weidlich · Artem Polyvyanyy · Jan Mendling · Mathias Weske

61 citations0/0 files storedFundamenta Informaticae

No readable copy stored yet — this record is metadata only.

No open-access location is known for this record yet.

Literature note Cite in a project Citation map

Business Process Modeling and Analysis Formal Methods in Verification Model-Driven Software Engineering Techniques

Abstract

Analysis of behavioural consistency is an important aspect of software engineering. In process and service management, consistency verification of behavioural models has manifold applications. For instance, a business process model used as system spe

Paper brief

Loading…

Cite this work

Citation unavailable for this work.

BibTeX RIS CSL-JSON

No public copy is stored for this record, so only the metadata is cited.

Citations in this library

Citation map →

Stored only when both papers are in the corpus — 61 citations exist upstream.

Cited by

2022Conformance Checking: Foundations, Milestones and Challenges 2013Eye-Tracking the Factors of Process Model Comprehension Tasks 2016Task-specific visual cues for improving process model understanding 2014Behavioral Comparison of Process Models Based on Canonically Reduced Event Structures 2016Deducing Case IDs for Unlabeled Event Logs 2019Automated discovery of declarative process models with correlated data conditions 2016On the expressive power of behavioral profiles 2013A Short Survey on Process Model Similarity

Imported from OpenAlex (CC0) — nothing here is generated.