Comparing workflow specification languages: A matter of views

ACM International Conference Proceeding Series

Volumn , Issue , 2011, Pages 78-89

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

^a INRIA SACLAY   (France)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SPECIFICATIONS;

POWER; PRE AND POST CONDITIONS; RELATIONAL DATABASE; STATIC CONSTRAINTS; TEMPORAL CONSTRAINTS; WORK-FLOW SYSTEMS; WORK-FLOWS; WORKFLOW CONTROL; WORKFLOW SPECIFICATION; XML-DATABASE;

SPECIFICATION LANGUAGES;

EID: 79952351793     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1938551.1938564     Document Type: Conference Paper

References (42)

1. S. Abiteboul, O. Benjelloun, and T. Milo. The Active XML project: an overview. VLDB J., 17(5), 2008.
2. S. Abiteboul, P. Bourhis, A. Galland, and B. Marinoiu. The axml artifact model. In Time, 2009.
3. S. Abiteboul, L. Herr, and J. V. den Bussche. Temporal versus first-order logic to query temporal databases. In PODS, 1996.
4. S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison-Wesley, 1995.
5. S. Abiteboul, L. Segoufin, and V. Vianu. Static analysis of Active XML systems. In TODS, 2009. Extended abstract in PODS 08.
6. 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.
7. 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.
8. N. Alon, T. Milo, F. Neven, D. Suciu, and V. Vianu. XML with data values: typechecking revisited. JCSS, 66(4):688-727, 2003.
9. 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. (Pubitemid 43942505)
10. M. Arenas, W. Fan, and L. Libkin. Consistency of XML specifications. In PODS, 2002.
11. K. Bhattacharya, C. E. Gerede, R. Hull, R. Liu, and J. Su. Towards formal analysis of artifact-centric business process models. In BPM, 2007.
12. M. Bojanczyk, A. Muscholl, T. Schwentick, L. Segoufin, and C. David. Two-variable logic on words with data. In LICS, 2006.
13. BPEL. http://bpel.xml.org/.
14. D. Calvanese, G. D. Giacomo, R. Hull, and J. Su. Artifact-centric workflow dominance. In ICSOC/ServiceWave, pages 130-143, 2009.
15. S. Demri and R. Lazić. Ltl with the freeze quantifier and register automata. ACM Trans. Comput. Logic, 10(3):1-30, 2009.
16. A. Deutsch, R. Hull, F. Patrizi, and V. Vianu. Automatic verification of data-centric business processes. In ICDT, 2009.
17. A. Deutsch, L. Sui, and V. Vianu. Specification and verification of data-driven web applications. JCSS, 73(3):442-474, 2007. (Pubitemid 46028926)
18. G. Dong, R. Hull, B. Kumar, J. Su, and G. Zhou. A framework for optimizing distributed workflow executions. In DBLP, 1999.
19. 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.
20. W. Fan and L. Libkin. On XML integrity constraints in the presence of dtds. In PODS, 2001.
21. C. Fritz, R. Hull, and J. Su. Automatic construction of simple artifact-based business processes. In ICDT, 2009.
22. 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.
23. 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.
24. C. E. Gerede and J. Su. Specification and verification of artifact behaviors in business process models. In ICSOC, 2007.
25. D. Harel. Statecharts: A visual formulation for complex systems. Sci. Comput. Program, 8(3):231-274, 1987. (Pubitemid 17617706)
26. R. Hull. Personal communication, 2009.
27. R. Hull, F. Llirbat, B. Kumar, G. Zhou, G. Dong, and J. Su. Optimization techniques for data-intensive decision flows. In ICDE, 2000.
28. 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.
29. D. Martin et al. OWL-S: Semantic markup for web services, W3C Member Submission, November 2003.
30. S. A. McIlraith, T. C. Son, and H. Zeng. Semantic web services. IEEE Intelligent Systems, 16(2):46-53, 2001. (Pubitemid 32496021)
31. R. Milner. Communication and concurrency. Prentice-Hall, Inc., 1989.
32. W. Mok and D. Paper. Using Harel's statecharts to model business workflows. J. of Database Management, 13(3):17-34, 2002.
33. S. Narayanan and S. McIlraith. Simulation, verification and automated composition of web services. In WWW, 2002.
34. F. Neven, T. Schwentick, and V. Vianu. Finite state machines for strings over infinite alphabets. ACM Trans. Comput. Logic, 5(3):403-435, 2004.
35. A. Nigam and N. S. Caswell. Business artifacts: An approach to operational specification. IBM Systems Journal, 42(3):428-445, 2003.
36. L. Segoufin. Static analysis of XML processing with data values. SIGMOD Record, 36(1):31-38, 2007.
37. M. Spielmann. Verification of relational transducers for electronic commerce. JCSS, 66(1):40-65, 2003.
38. J. van Benthem. Modal correspondence theory. PhD thesis, Mathematish Instituut & Instituut voor Grondslagenonderzoek, Univ. of Amsterdam, 1976.
39. 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.
40. 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. (Pubitemid 128540249)
41. 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.
42. J. Wang and A. Kumar. A framework for document-driven workflow systems. In Business Process Management, pages 285-301, 2005. (Pubitemid 41490769)