Type inference and type checking for queries over execution traces

Daniel Deutch*, Tova Milo

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

Abstract

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.

Original languageEnglish
Pages (from-to)51-68
Number of pages18
JournalVLDB Journal
Volume21
Issue number1
DOIs
StatePublished - Feb 2012

Keywords

  • Business Processes
  • Execution traces
  • Type information

Fingerprint

Dive into the research topics of 'Type inference and type checking for queries over execution traces'. Together they form a unique fingerprint.

Cite this