DMCA
Querying Structural and Behavioral Properties of Business Processes (2007)
| Citations: | 13 - 6 self |
BibTeX
@MISC{Deutch07queryingstructural,
author = {Daniel Deutch and Tova Milo},
title = {Querying Structural and Behavioral Properties of Business Processes },
year = {2007}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
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.
Keyphrases
business process behavioral property novel query language query evaluation intuitive model process specification potential behavior business process specification process modeling defined process business process execution language polynomial data complexity present paper formal model query evaluation algorithm
