Statecharts: A visual formalism for complex systems
Science of Computer Programming
The monadic second-order logic of graphs. I. recognizable sets of finite graphs
Information and Computation
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Foundations of programming languages
Foundations of programming languages
Type inference for queries on semistructured data
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Journal of the ACM (JACM)
DTD inference for views of XML data
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Introduction to the Theory of Computation
Introduction to the Theory of Computation
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Model Checking of Unrestricted Hierarchical State Machines
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
XQuery: a query language for XML
Proceedings of the 2003 ACM SIGMOD international conference on Management of data
Computers in Industry - Special issue: Process/workflow mining
Workflow Mining: Discovering Process Models from Event Logs
IEEE Transactions on Knowledge and Data Engineering
Analysis of recursive state machines
ACM Transactions on Programming Languages and Systems (TOPLAS)
Tools for composite web services: a short overview
ACM SIGMOD Record
Analyzing Conversations of Web Services
IEEE Internet Computing
Verification of communicating data-driven web services
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Tree-depth, subgraph coloring and homomorphism bounds
European Journal of Combinatorics
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
XML transformation by tree-walking transducers with invisible pebbles
Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A crash course on database queries
Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
Monitoring business processes with queries
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
Provenance and scientific workflows: challenges and opportunities
Proceedings of the 2008 ACM SIGMOD international conference on Management of data
Type inference and type checking for queries on execution traces
Proceedings of the VLDB Endowment
Bracketed context-free languages
Journal of Computer and System Sciences
Querying structural and behavioral properties of business processes
DBPL'07 Proceedings of the 11th international conference on Database programming languages
| Hi-index | 0.02 |
We study here Type Inference and Type Checking for queries over the execution traces of Business Processes. We define formal models for such execution traces, allowing to capture various realistic scenarios of partial information about these traces. We then define corresponding notions of types, and the problems of type inference and type checking in this context. We further provide a comprehensive study of the decidability and complexity of these problems, in various cases, and suggest efficient algorithms where possible.