Serge Abiteboul
ABSTRACT
We address the problem of comparing the expressiveness of workflow specification formalisms using a notion of view of a workflow. Views allow to compare widely different workflow systems by mapping them to a common representation capturing the observables relevant to the comparison. Using this framework, we compare the expressiveness of several workflow specification mechanisms, including automata, temporal constraints, and pre-and-post conditions, with XML and relational databases as underlying data models. One surprising result shows the considerable power of static constraints to simulate apparently much richer workflow control mechanisms.
- S. Abiteboul, O. Benjelloun, and T. Milo. The Active XML project: an overview. VLDB J., 17(5), 2008. Google Scholar
Digital Library
- S. Abiteboul, P. Bourhis, A. Galland, and B. Marinoiu. The axml artifact model. In Time, 2009. Google ScholarDigital Library
- S. Abiteboul, L. Herr, and J. V. den Bussche. Temporal versus first-order logic to query temporal databases. In PODS, 1996. Google ScholarDigital Library
- S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison-Wesley, 1995. Google ScholarDigital Library
- S. Abiteboul, L. Segoufin, and V. Vianu. Static analysis of Active XML systems. In TODS, 2009. Extended abstract in PODS 08. Google ScholarDigital Library
- S. Abiteboul, V. Vianu, B. Fordham, and Y. Yesha. Relational transducers for electronic commerce. JCSS, 61(2):236--269, 2000. Extended abstract in PODS 98. Google ScholarDigital Library
- N. Adam, V. Atluri, and W. Huang. Modeling and analysis of workflows using Petri nets. Journal of Intelligent Information Systems, 10(2):131--158, 1998. Google ScholarDigital Library
- N. Alon, T. Milo, F. Neven, D. Suciu, and V. Vianu. XML with data values: typechecking revisited. JCSS, 66(4):688--727, 2003. Google ScholarDigital Library
- R. Alur, M. Benedikt, K. Etessami, P. Godefroid, T. W. Reps, and M. Yannakakis. Analysis of recursive state machines. ACM Trans. Program. Lang. Syst., 27(4):786--818, 2005. Google ScholarDigital Library
- M. Arenas, W. Fan, and L. Libkin. Consistency of XML specifications. In PODS, 2002. Google ScholarDigital Library
- K. Bhattacharya, C. E. Gerede, R. Hull, R. Liu, and J. Su. Towards formal analysis of artifact-centric business process models. In BPM, 2007. Google ScholarDigital Library
- M. Bojanczyk, A. Muscholl, T. Schwentick, L. Segoufin, and C. David. Two-variable logic on words with data. In LICS, 2006. Google ScholarDigital Library
- BPEL. http://bpel.xml.org/.Google Scholar
- D. Calvanese, G. D. Giacomo, R. Hull, and J. Su. Artifact-centric workflow dominance. In ICSOC/ServiceWave, pages 130--143, 2009. Google ScholarDigital Library
- S. Demri and R. Lazić. Ltl with the freeze quantifier and register automata. ACM Trans. Comput. Logic, 10(3):1--30, 2009. Google ScholarDigital Library
- A. Deutsch, R. Hull, F. Patrizi, and V. Vianu. Automatic verification of data-centric business processes. In ICDT, 2009. Google ScholarDigital Library
- A. Deutsch, L. Sui, and V. Vianu. Specification and verification of data-driven web applications. JCSS, 73(3):442--474, 2007. Google ScholarDigital Library
- G. Dong, R. Hull, B. Kumar, J. Su, and G. Zhou. A framework for optimizing distributed workflow executions. In DBLP, 1999. Google ScholarDigital Library
- E. A. Emerson. Temporal and modal logic. In J. V. Leeuwen, editor, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics, pages 995--1072. MIT Press, 1990. Google ScholarDigital Library
- W. Fan and L. Libkin. On XML integrity constraints in the presence of dtds. In PODS, 2001. Google ScholarDigital Library
- C. Fritz, R. Hull, and J. Su. Automatic construction of simple artifact-based business processes. In ICDT, 2009. Google ScholarDigital Library
- D. Georgakopoulos, M. Hornick, and A. Sheth. An overview of workflow management: From process modeling to workflow infrastructure management. Distributed and Parallel Databases, 3:119--153, 1995. Google ScholarDigital Library
- C. E. Gerede, K. Bhattacharya, and J. Su. Static analysis of business artifact-centric operational models. In IEEE International Conference on Service-Oriented Computing and Applications, 2007. Google ScholarDigital Library
- C. E. Gerede and J. Su. Specification and verification of artifact behaviors in business process models. In ICSOC, 2007. Google ScholarDigital Library
- D. Harel. Statecharts: A visual formulation for complex systems. Sci. Comput. Program, 8(3):231--274, 1987. Google ScholarDigital Library
- R. Hull. Personal communication, 2009.Google Scholar
- R. Hull, F. Llirbat, B. Kumar, G. Zhou, G. Dong, and J. Su. Optimization techniques for data-intensive decision flows. In ICDE, 2000.Google ScholarCross Ref
- R. Hull, F. Llirbat, E. Simon, J. Su, G. Dong, B. Kumar, and G. Zhou. Declarative workflows that support easy modification and dynamic browsing. In Proc. Int. Joint Conf. on Work Activities Coordination and Collaboration, 1999. Google ScholarDigital Library
- D. Martin et al. OWL-S: Semantic markup for web services, W3C Member Submission, November 2003.Google Scholar
- S. A. McIlraith, T. C. Son, and H. Zeng. Semantic web services. IEEE Intelligent Systems, 16(2):46--53, 2001. Google ScholarDigital Library
- R. Milner. Communication and concurrency. Prentice-Hall, Inc., 1989. Google ScholarDigital Library
- W. Mok and D. Paper. Using Harel's statecharts to model business workflows. J. of Database Management, 13(3):17--34, 2002.Google ScholarCross Ref
- S. Narayanan and S. McIlraith. Simulation, verification and automated composition of web services. In WWW, 2002. Google ScholarDigital Library
- F. Neven, T. Schwentick, and V. Vianu. Finite state machines for strings over infinite alphabets. ACM Trans. Comput. Logic, 5(3):403--435, 2004. Google ScholarDigital Library
- A. Nigam and N. S. Caswell. Business artifacts: An approach to operational specification. IBM Systems Journal, 42(3):428--445, 2003. Google ScholarDigital Library
- L. Segoufin. Static analysis of XML processing with data values. SIGMOD Record, 36(1):31--38, 2007. Google ScholarDigital Library
- M. Spielmann. Verification of relational transducers for electronic commerce. JCSS, 66(1):40--65, 2003. Google ScholarDigital Library
- J. van Benthem. Modal correspondence theory. PhD thesis, Mathematish Instituut & Instituut voor Grondslagenonderzoek, Univ. of Amsterdam, 1976.Google Scholar
- W. van der Aalst. Business process management demystified: A tutorial on models, systems and standards for workflow management, 2004. In Lectures on Concurrency and Petri Nets.Google Scholar
- W. M. P. van der Aalst. The application of petri nets to workflow management. Journal of Circuits, Systems, and Computers, 8(1):21--66, 1998.Google Scholar
- W. M. P. van der Aalst and A. H. M. ter Hofstede. Workflow patterns: On the expressive power of (petri-net-based) workflow languages. In Proc. of the Fourth International Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, 2002, 2002.Google Scholar
- J. Wang and A. Kumar. A framework for document-driven workflow systems. In Business Process Management, pages 285--301, 2005. Google ScholarDigital Library
Index Terms
- Comparing workflow specification languages: a matter of views
Recommendations
Comparing workflow specification languages: A matter of views
We address the problem of comparing the expressiveness of workflow specification formalisms using a notion of view of a workflow. Views allow to compare widely different workflow systems by mapping them to a common representation capturing the ...
Specification of grid workflow applications with AGWL: an Abstract Grid Workflow Language
CCGRID '05: Proceedings of the Fifth IEEE International Symposium on Cluster Computing and the Grid (CCGrid'05) - Volume 2 - Volume 02Currently grid application developers often configure available application components into a workflow of tasks that they can submit for executing on the grid. In this paper, we present an abstract grid workflow language (AGWL) for describing grid ...
Specification and runtime workflow support in the ASKALON Grid environment
Dynamic Computational Workflows: Discovery, Optimization and SchedulingWe describe techniques to support the runtime execution of scientific workflows in the ASKALON Grid environment. We present a formal model and three middleware services that support in combination the effective execution in heterogeneous and dynamic ...
Comments