Artifact-centric workflow dominance

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5900 LNCS, Issue , 2009, Pages 130-143

  Calvanese, Diego ^a   De Giacomo, Giuseppe ^b   Hull, Richard ^c   Su, Jianwen ^d  

^a FREE UNIVERSITY OF BOZEN BOLZANO   (Italy)

^b SAPIENZA UNIVERSITY OF ROME   (Italy)

^c IBM T J WATSON RESEARCH CENTER   (United States)

^d Santa Barbara   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFACT-CENTRIC; ATTRIBUTE-VALUE PAIRS; COMPLEXITY RESULTS; CONDITION-ACTION RULES; FINITE SET; SCHEMAS; SERVICE EXECUTION; WORK-FLOW SYSTEMS; WORK-FLOWS; WORKFLOW EXECUTION;

COMPUTABILITY AND DECIDABILITY; SET THEORY;

MANAGEMENT;

EID: 75649120369     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-10383-4_9     Document Type: Conference Paper

References (17)

1. Ben-Or, M., Kozen, D., Reif, J.: The complexity of elementary algebra and geometry. J. of Computer and System Sciences 32(2), 251-264 (1986)
2. Bhattacharya, K., Caswell, N.S., Kumaran, S., Nigam, A., Wu, F.Y.: Artifact-centered operational modeling: Lessons from customer engagements. IBM Systems Journal 46(4), 703-721 (2007)
3. Bhattacharya, K., et al.: A model-driven approach to industrializing discovery processes in pharmaceutical research. IBM Systems Journal 44(1), 145-162 (2005)
4. Bhattacharya, K., Gerede, C., Hull, R., Liu, R., Su, J.: Towards formal analysis of artifact-centric business process models. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 288-304. Springer, Heidelberg (2007)
5. Deutsch, A., Hull, R., Patrizi, F., Vianu, V.: Automatic verification of data-centric business processes. In: Proc. of the 12th Int. Conf. on Database Theory (ICDT 2009), pp. 252-267 (2009)
6. Fischer, M.J., Rabin, M.O.: Super-exponential complexity of Presburger arithmetic. In: SIAM-AMS Proceedings, vol. 7, pp. 27-41 (1974)
7. Fritz, C., Hull, R., Su, J.: Automatic construction of simple artifact-based workflows. In: Proc. of the 12th Int. Conf. on Database Theory (ICDT 2009), pp. 225-238 (2009)
8. Guo, S., Sun, W., Weiss, M.A.: Solving satisfiability and implication problems in database systems. ACM Trans. on Database Systems 21(2), 270-293 (1996)
9. Kanellakis, P.C., Kuper, G.M., Revesz, P.Z.: Contraint query languages. J. of Computer and System Sciences 51, 26-52 (1995)
10. Matiyasevich, Y.: Hilbert's 10th Problem. The MIT Press, Cambridge (1993)
11. Narayanan, S., McIlraith, S.: Simulation, verification and automated composition of web services. In: Proc. of the 11th Int. World Wide Web Conf. WWW 2002 (2002)
12. Nigam, A., Caswell, N.S.: Business artifacts: An approach to operational specification. IBM Systems Journal 42(3), 428-445 (2003)
13. Presburger, M.: Über die Vollständigkeit eines gewissen Systems der Arith-metik ganzer Zahlen, in welchem die Addition als einzige Operation hervortritt. In: Comptes rendus du premier Congrès des Mathématiciens des Pays Slaves, Warszawa, pp. 92-101 (1929)
14. Renegar, J.: On the computational complexity and geometry of the first-order theory of the reals. Journal of Symbolic Computation 13, 255-352 (1992)
15. Revesz, P.Z.: A closed-form evaluation for Datalog queries with integer (gap)-order constraints. Theoretical Computer Science 116, 117-149 (1993)
16. Strosnider, J., Nandi, P., Kumarn, S., Ghosh, S., Arsanjani, A.: Model-driven synthesis of SOA solutions. IBM Systems Journal 47(3), 415-432 (2008)
17. Tarski, A.: A Decision Method for Elementary Algebra and Geometry. University of California Press, Berkeley (1951)