Querying structural and behavioral properties of business processes

Daniel Deutch, Tova Milo

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

11 Scopus citations


BPQL is a novel query language for querying business process specifications, introduced recently in [5,6]. It is based on an intuitive model of business processes as rewriting systems, an abstraction of the emerging BPEL (Business Process Execution Language) standard [7]. BPQL allows users to query business processes visually, in a manner very analogous to the language used to specify the processes. The goal of the present paper is to study the formal model underlying BPQL and investigate its properties as well as the complexity of query evaluation. We also study its relationship to previously suggested formalisms for process modeling and querying. In particular we propose a query evaluation algorithm of polynomial data complexity that can be applied uniformly to queries on the structure of the process specification as well as on the potential behavior of the defined process. We show that unless P=NP the efficiency of our algorithm is asymptotically optimal.

Original languageEnglish
Title of host publicationDatabase Programming Languages - 11th International Symposium, DBPL 2007, Revised Selected Papers
PublisherSpringer Verlag
Number of pages17
ISBN (Print)9783540759867
StatePublished - 1 Jan 2007
Externally publishedYes
Event11th International Symposium on Database Programming Languages, DBPL 2007 - Vienna, Austria
Duration: 23 Sep 200724 Sep 2007

Publication series

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


Conference11th International Symposium on Database Programming Languages, DBPL 2007

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science (all)


Dive into the research topics of 'Querying structural and behavioral properties of business processes'. Together they form a unique fingerprint.

Cite this