Abstract:Organizations can benefit from the use of practices, techniques, and tools from the area of business process management. Through the focus on processes, they create process models that require management, including support for versioning, refactoring and querying. Querying thus far has primarily focused on structural properties of models rather than on exploiting behavioral properties capturing aspects of model execution. While the latter is more challenging, it is also more effective, especially when models are used for auditing or process automation. The focus of this paper is to overcome the challenges associated with behavioral querying of process models in order to unlock its benefits. The first challenge concerns determining decidability of the building blocks of the query language, which are the possible behavioral relations between process tasks. The second challenge concerns achieving acceptable performance of query evaluation. The evaluation of a query may require expensive checks in all process models, of which there may be thousands. In light of these challenges, this paper proposes a special-purpose programming language, namely Process Query Language (PQL) for behavioral querying of process model collections. The language relies on a set of behavioral predicates between process tasks, whose usefulness has been empirically evaluated with a pool of process model stakeholders. This study resulted in a selection of the predicates to be implemented in PQL, whose decidability has also been formally proven. The computational performance of the language has been extensively evaluated through a set of experiments against two large process model collections.

A Model Query Language for Domain-Specific Models

A Semantics Modeling Approach Supporting Property Verification Based on Satisfiability Modulo Theories

General Modeling Language Supporting Model Transformations of MBSE (part 2)

General Modeling Language to Support Model‐based Systems Engineering Formalisms (part 1)

Ontology Supporting Model-Based Systems Engineering Based on a GOPPRR Approach

Integration of Modeling and Verification for System Model Based on KARMA Language.

Code Generation Approach Supporting Complex System Modeling Based on Graph Pattern Matching

APQL: A Process-Model Query Language.

Design Ontology Supporting Model-based Systems-engineering Formalisms

GML Based Spatial Object Query Model and XQuery Based Implementation in GIS

Semantic Model‐based Systems Engineering based on KARMA: A Research and Practice Roadmap 2025

Process query language: Design, Implementation, and Evaluation

A Semantics-Based Approach to Querying Process Model Repositories

DMQR-RAG: Diverse Multi-Query Rewriting for RAG

Gml And Xquery Based Cadastral Spatial Object Query Model Description And Implementation

Query by Drawing Examples of UML Model

A Knowledge Management Approach Supporting Model-Based Systems Engineering

Graph Data Model and Graph Query Language Based on the Monadic Second-Order Logic

GQL and SQL/PGQ: Theoretical Models and Expressive Power

A Model Is Not Built By A Single Prompt: LLM-Based Domain Modeling With Question Decomposition