Comparing workflow specification languages: A matter of Views

ACM Transactions on Database Systems

Volumn 37, Issue 2, 2012, Pages

  Abiteboul, Serge ^a   Bourhis, Pierre ^b   Vianu, Victor ^c  

^a INRIA SACLAY   (France)

^b UNIVERSITÉ PARIS SACLAY   (France)

^c UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Design; Languages; Theory

Indexed keywords

DESIGN; QUERY LANGUAGES; SPECIFICATION LANGUAGES;

RELATIONAL DATABASE; STATIC CONSTRAINTS; TEMPORAL CONSTRAINTS; THEORY; WORK-FLOW SYSTEMS; WORKFLOW CONTROL; WORKFLOW SPECIFICATION;

SPECIFICATIONS;

EID: 84863618419     PISSN: 03625915     EISSN: 15574644     Source Type: Journal    
DOI: 10.1145/2188349.2188352     Document Type: Article

References (47)

1. ABITEBOUL, S., BENJELLOUN, O., and MILO, T. 2008a. The active xml project: An overview. VLDB J. 17, 5.
2. ABITEBOUL, S., BOURHIS, P., and MARINOIU, A. G. B. 2009. The axml artifact model. In Time.
3. ABITEBOUL, S., BOURHIS, P., and VIANU, V. 2011. Comparing workflow specification languages: A matter of views. In Proceedings of the International Conference on Database Technology (ICDT'11). 78-89.
4. ABITEBOUL, S., HERR, L., and DEN BUSSCHE, J. V. 1996. Temporal versus first-order logic to query temporal databases. In Proceedings of the ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS'96).
5. ABITEBOUL, S., HULL, R., and VIANU, V. 1995. Foundations of Databases. Addison-Wesley.
6. ABITEBOUL, S., SEGOUFIN, L., and VIANU, V. 2008b. Static analysis of active xml systems. ACM Trans. Datab. Syst. 34, 4.
7. ABITEBOUL, S., VIANU, V., FORDHAM, B., and YESHA, Y. 2000. Relational transducers for electronic commerce. J. Comput. Syst. Sci. 61, 2, 236-269.
8. ADAM, N., ATLURI, V., and HUANG, W. 1998. Modeling and analysis of workflows using Petri nets. J. Intell. Inf. Syst. 10, 2, 131-158.
9. ALON, N., MILO, T., NEVEN, F., SUCIU, D., and VIANU, V. 2003. XML with data values: Typechecking revisited. J. Comput. Syst. Sci. 66, 4, 688-727.
10. ALUR, R., BENEDIKT, M., ETESSAMI, K., GODEFROID, P., REPS, T. W., and YANNAKAKIS, M. 2005. Analysis of recursive state machines. ACM Trans. Program. Lang. Syst. 27, 4, 786-818. (Pubitemid 43942505)
11. ARENAS, M., FAN, W., and LIBKIN, L. 2002. Consistency of xml specifications. In Proceedings of the ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS'02).
12. BHATTACHARYA, K., GEREDE, C. E., HULL, R., LIU, R., and SU, J. 2007. Towards formal analysis of artifactcentric business process models. In Proceedings of the International Conference on Business Process Management (BPM'07).
13. BOJANCZYK, M., MUSCHOLL, A., SCHWENTICK, T., SEGOUFIN, L., and DAVID, C. 2006. Two-Variable logic on words with data. In Proceedings of the IEEE Symposium on Logic in Computer Science (LICS'06).
14. BPEL. 2012. http://bpel.xml.org/.
15. CALVANESE, D., GIACOMO, G. D., HULL, R., and SU, J. 2009. Artifact-Centric workflow dominance. In Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications (ICSOC'09). 130-143.
16. DAVID, C. 2008. Complexity of data tree patterns over xml documents. In Proceedings of the Symposium on Mathematical Foundations of Computer Science (MFCS'08).
17. DEMRI, S. and LAZIĆ, R. 2009. LTL with the freeze quantifier and register automata. ACM Trans. Comput. Logic 10, 3, 1-30.
18. DEUTSCH, A., HULL, R., PATRIZI, F., and VIANU, V. 2009. Automatic verification of data-centric business processes. In Proceedings of the International Conference on Database Theory (ICDT'09).
19. DEUTSCH, A., SUI, L., and VIANU, V. 2007. Specification and verification of data-driven web applications. J. Comput. Syst. Sci. 73, 3, 442-474. (Pubitemid 46028926)
20. DIEKERT, V. and GASTIN, P. 2008. First-Order definable languages. In Logic and Automata: History and Perspectives, J. Flum, E. Grädel, and T. Wilke, Eds., Vol. 2, 261-306.
21. DONG, G., HULL, R., KUMAR, B., SU, J., and ZHOU, G. 1999. A framework for optimizing distributed workflow executions. In Proceedings of the DBLP'99 Conference.
22. EMERSON, E. A. 1990. Temporal and modal logic. In Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics, J. V. Leenwen, Ed., MIT Press, 995-1072.
23. FAN, W. and LIBKIN, L. 2001. On xml integrity constraints in the presence of the dtds. In Proceedings of the ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS'01).
24. FRITZ, C., HULL, R., and SU, J. 2009. Automatic construction of simple artifact-based business processes. In Proceedings of the International Conference on Datab. Theory (ICDT'09).
25. GEORGAKOPOULOS, D., HORNICK, M., and SHETH, A. 1995. An overview of workflow management: From process modeling to workflow infrastructure management. Distrib. Parallel Databases 3, 119-153.
26. GEREDE, C. E., BHATTACHARYA, K., and SU, J. 2007. Static analysis of business artifact-centric operational models. In Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications (ICSOC'07).
27. GEREDE, C. E. and SU, J. 2007. Specification and verification of artifact behaviors in business process models. In Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications (ICSOC'07).
28. HAREL, D. 1987. Statecharts: A visual formulation for complex systems. Sci. Comput. Program. 8, 3, 231-274. (Pubitemid 17617706)
29. HULL, R. 2009. Artifact-Centric business process models: Brief survey of research results and challenges. In Proceedings of the OTM Conference, vol. 2, 1152-1163.
30. HULL, R., LLIRBAT, F., KUMAR, B., ZHOU, G., DONG, G., and SU, J. 2000. Optimization techniques for data-intensive decision flows. In Proceedings of the International Conference on Data Engineering (ICDE'00).
31. HULL, R., LLIRBAT, F., SIMON, E., SU, J., DONG, G., KUMAR, B., and ZHOU, G. 1999. Declarative workflows that support easy modification and dynamic browsing. In Proceedings of the International Joint Conference on Work Activities Coordination and Collaboration.
32. LIBKIN, L. 2004. Elements of Finite Model Theory. Springer.
33. MARTIN, D., BURSTEIN, M., HOBBS, J., LASSILA, O., MCDERMOTT, D., MCILRAITH, S., ET AL. 2003. OWL-S: Semantic markup for web services. W3C Member Submission.
34. MCILRAITH, S. A., SON, T. C., and ZENG, H. 2001. Semantic web services. IEEE Intell. Syst. 16, 2, 46-53. (Pubitemid 32496021)
35. MILNER, R. 1989. Communication and Concurrency. Prentice-Hall.
36. MOK, W. and PAPER, D. 2002. Using Harel's statecharts to model business workflows. J. Datab. Manag. 13, 3, 17-34.
37. NARAYANAN, S. and MCILRAITH, S. 2002. Simulation, verification and automated composition of web services. In Proceedings of the International World Wide Web Conference (WWW'02).
38. NEVEN, F., SCHWENTICK, T., and VIANU, V. 2004. Finite state machines for strings over infinite alphabets. ACM Trans. Comput. Logic 5, 3, 403-435.
39. NIGAM, A. and CASWELL, N. S. 2003. Business artifacts: An approach to operational specification. IBM Syst. J. 42, 3, 428-445.
40. SEGOUFIN, L. 2007. Static analysis of xml processing with data values. SIGMOD Rec. 36, 1, 31-38.
41. SPIELMANN, M. 2003. Verification of relational transducers for electronic commerce. J. Comut. Syst. Sci. 66, 1, 40-65.
42. VAN BENTHAM, J. 1976. Modal correspondence theory. Ph. D. thesis, Mathematical Instituut and Instituut voor Grondslagenonderzoek, University of Amsterdam.
43. VAN der AALST, W. 2004. Business process management demystified: A tutorial on models, systems and standards for workflow management. In Lectures on Concurrency and Petri Nets.
44. VAN der AALST, W. M. P. 1998. The application of petri nets to workflow management. J. Circ. Syst. Comput. 8, 1, 21-66. (Pubitemid 128540249)
45. th International Workshop on Practical Use of Coloured Petri Nets and the CPN Tools.
46. VARDI, M. Y. 1996. An automata-theoretic approach to linear temporal logic. In Logics for Concurrency: Structure versus Automata. Lecture Notes in Computer Science, vol. 1043, Springer, 238-266. (Pubitemid 126047609)
47. WANG, J. and KUMAR, A. 2005. A framework for document-driven workflow systems. In Proceedings of the International Conference on Business Process Management (BPM'05). 285-301. (Pubitemid 41490769)