Abstract
In this paper we combine ideas from workflow processing and database query answering. Tailoring process algebras like Milner’s Calculus of Communicating Systems (CCS) to relational dataflow makes them a natural candidate for specifying data-oriented workflows in a declarative way. In addition to the classical evaluation of relational operator trees, the combination with the CCS control structures provides (guarded) alternatives and test-based iterations using recursive process fragment definitions. For the actual atomic constituents of the process, language concepts from the relational world, like queries, but also the use of abstract datatypes, e.g., graphs, can be embedded.
We illustrate the advantages of the approach by an application scenario with remote, heterogeneous sources and Web Services that return their results asynchronously. The presented approach has been implemented in a prototype.
Chapter PDF
Similar content being viewed by others
Keywords
- Relational Algebra
- Process Expression
- Business Process Execution Language
- Variable Binding
- Query Answering
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
van der Aalst, W.M.P., ter Hofstede, A.H.M.: YAWL: Yet Another Workflow Language. Inf. Syst. 30(4), 245–275 (2005)
van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow patterns. Distributed and Parallel Databases 14(1), 5–51 (2003)
Altintas, I., Berkley, C., Jaeger, E., Jones, M., Ludäscher, B., Mock, S.: Kepler: An extensible system for design and execution of scientific workflows. In: SSDBM 2004, pp. 423–424 (2004)
Bonner, A.J., Kifer, M.: An overview of Transaction Logic. Theoretical Computer Science 133(2), 205–265 (1994)
Business Process Execution Language (BPEL), http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.html
Fritzen, O., May, W., Schenk, F.: Markup and Component Interoperability for Active Rules. In: Calvanese, D., Lausen, G. (eds.) RR 2008. LNCS, vol. 5341, pp. 197–204. Springer, Heidelberg (2008)
Gelernter, D.: Generative communication in Linda. ACM TOPLAS 7(1), 80–112 (1985)
Gottlob, G., Koch, C., Baumgartner, R., Herzog, M., Flesca, S.: The Lixto data extraction project - back and forth between theory and practice. In: ACM PODS, pp. 1–12 (2004)
Hidders, J., Kwasnikowska, N., Sroka, J., Tyszkiewicz, J., den Bussche, J.V.: DFL: A Dataflow Language Based On Petri Nets and Nested Relational Calculus. Inf. Syst. 33(3), 261–284 (2008)
Hoare, C.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)
Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. Journal of the ACM 42(4), 741–843 (1995)
May, W.: A Database-Based Service for Handling Logical Variable Bindings. Databases as a Service, Technical Report, Univ. Münster, Germany (2009)
May, W., Alferes, J.J., Amador, R.: Active rules in the Semantic Web: Dealing with language heterogeneity. In: Adi, A., Stoutenburg, S., Tabet, S. (eds.) RuleML 2005. LNCS, vol. 3791, pp. 30–44. Springer, Heidelberg (2005)
Milner, R.: Calculi for synchrony and asynchrony. Theoretical Computer Science, 267–310 (1983)
Oberweis, A., Sander, P.: Information system behavior specification by high-level Petri Nets. ACM TOIS 14(4), 380–420 (1996)
Roman, D., Kifer, M.: Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic. In: VLDB, pp. 627–638 (2007)
SPARQL Query Language for RDF (2006), http://www.w3.org/TR/rdf-sparql-query/
Vrhovnik, M., Schwarz, H., Suhre, O., Mitschang, B., Markl, V., Maier, A., Kraft, T.: An Approach to Optimize Data Processing in Business Processes. In: VLDB, pp. 615–626 (2007)
Wyckoff, P., McLaughry, S.W., Lehman, T.J., Ford, D.A.: T Spaces. IBM Systems Journal 37(3), 454–474 (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hornung, T., May, W., Lausen, G. (2009). Process Algebra-Based Query Workflows. In: van Eck, P., Gordijn, J., Wieringa, R. (eds) Advanced Information Systems Engineering. CAiSE 2009. Lecture Notes in Computer Science, vol 5565. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02144-2_35
Download citation
DOI: https://doi.org/10.1007/978-3-642-02144-2_35
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-02143-5
Online ISBN: 978-3-642-02144-2
eBook Packages: Computer ScienceComputer Science (R0)