Statecharts: A visual formalism for complex systems
Science of Computer Programming
A graphical query language supporting recursion
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
The monadic second-order logic of graphs. I. recognizable sets of finite graphs
Information and Computation
The G+/GraphLog Visual Query System
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
From structured documents to novel query facilities
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
On implementing SchemaLog—a database programming language
CIKM '96 Proceedings of the fifth international conference on Information and knowledge management
Handbook of graph grammars and computing by graph transformation: vol. 2: applications, languages, and tools
Computing graphical queries over XML data
ACM Transactions on Information Systems (TOIS)
G-Log: A Graph-Based Query Language
IEEE Transactions on Knowledge and Data Engineering
The Self-Serv Environment for Web Services Composition
IEEE Internet Computing
Verification Tools for Finite-State Concurrent Systems
A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium
E-services: a look behind the curtain
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Analysis and simulation of Web services
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: The Semantic Web: an evolution for a revolution
Analysis of interacting BPEL web services
Proceedings of the 13th international conference on World Wide Web
Lazy query evaluation for Active XML
SIGMOD '04 Proceedings of the 2004 ACM SIGMOD international conference on Management of data
The language intersection problem for non-recursive context-free grammars
Information and Computation
iBOM: A Platform for Intelligent Business Operation Management
ICDE '05 Proceedings of the 21st International Conference on Data Engineering
Context-sensitive program analysis as database queries
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A verifier for interactive, data-driven web applications
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
XQBE (XQuery By Example): A visual interface to the standard XML query language
ACM Transactions on Database Systems (TODS)
Querying business processes with BP-QL
VLDB '05 Proceedings of the 31st international conference on Very large data bases
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
Sliver: a BPEL workflow process execution engine for mobile devices
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
The prom framework: a new era in process mining tool support
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
A Rule-Based Approach to Match Structural Patterns with Business Process Models
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
VMQL: A visual language for ad-hoc model querying
Journal of Visual Languages and Computing
Querying semantically enriched business processes
DEXA'11 Proceedings of the 22nd international conference on Database and expert systems applications - Volume Part II
Search, adapt, and reuse: the future of scientific workflows
ACM SIGMOD Record
A query language for analyzing business processes execution
BPM'11 Proceedings of the 9th international conference on Business process management
Searching business process repositories using operational similarity
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems - Volume Part I
Model querying with graphical notation of QVT relations
ACM SIGSOFT Software Engineering Notes
Fast detection of exact clones in business process model repositories
Information Systems
Foundations of data-aware process analysis: a database theory perspective
Proceedings of the 32nd symposium on Principles of database systems
Querying business process models with VMQL
Proceedings of the 5th ACM SIGCHI Annual International Workshop on Behaviour Modelling - Foundations and Applications
A graph distance based metric for data oriented workflow retrieval with variable time constraints
Expert Systems with Applications: An International Journal
Querying business process model repositories
World Wide Web
| Hi-index | 0.00 |
We present in this paper BP-QL, a novel query language for querying business processes. The BP-QL language is based on an intuitive model of business processes, an abstraction of the emerging BPEL (business process execution language) standard. It allows users to query business processes visually, in a manner very analogous to how such processes are typically specified, and can be employed in a distributed setting, where process components may be provided by distinct providers. We describe here the query language as well as its underlying formal model. We consider the properties of the various language components and explain how they influenced the language design. In particular we distinguish features that can be efficiently supported, and those that incur a prohibitively high cost, or cannot be computed at all. We also present our implementation which complies with real life standards for business process specifications, XML, and Web services, and is used in the BP-QL system.