Automatic construction of simple artifact-based business processes

ACM International Conference Proceeding Series

Volumn 361, Issue , 2009, Pages 225-238

  Fritz, Christian ^a   Hull, Richard ^b   Su, Jianwen ^c  

^a UNIVERSITY OF TORONTO   (Canada)

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

^c UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFACT-CENTRIC; AUTOMATIC CONSTRUCTION; BASIC BUILDING BLOCK; BUSINESS PROCESS; BUSINESS SITUATIONS; COMPLEXITY ISSUES; LARGE-SCALE BUSINESS; NON-TRIVIAL; QUANTIFIER ELIMINATION; SCHEMAS; WORK-FLOW SYSTEMS; WORK-FLOWS; WORKFLOW MODELS; WORKFLOW SERVICES;

MANAGEMENT;

EID: 70349135092     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1514894.1514922     Document Type: Conference Paper

References (44)

1. J. Baier and S. McIlraith. Planning with first-order temporally extended goals using heuristic search. In Proceedings of the 21st National Conference on Artificial Intelligence (AAAI06), pages 788-795, Boston, MA, July 2006.
2. S. Battle et al. Semantic Web Services Ontology (SWSO) Version 1.0. http://www.daml.org/services/swsf/1.0/swso/, May 2005.
3. D. Berardi, D. Calvanese, G. D. Giacomo, R. Hull, and M. Mecella. Automatic composition of transition-based semantic web services with messaging. In Proc. 31st Int. Conf. on Very Large Data Bases (VLDB), pages 613-624, 2005.
4. D. Berardi, D. Calvanese, G. D. Giacomo, M. Lenzerini, and M. Mecella. Automatic composition of e-services that export their behavior. In Proc. 1st Int. Conf. on Service Oriented Computing (ICSOC), volume 2910 of LNCS, pages 43-58, 2003.
5. K. Bhattacharya, N. Caswell, S. Kumaran, A. Nigam, and F. Wu. Artifact-centered operational modeling: Lessons from customer engagements. IBM Systems Journal, 46(4):703-721, 2007.
6. K. Bhattacharya, C. Gerede, R. Hull, R. Liu, and J. Su. Towards formal analysis of artifact-centric business process models. In Proceedings of 5th International Conference on Business Process Management (BPM), Brisbane, Australia, September 2007.
7. K. Bhattacharya, R. Guttman, K. Lymann, F. F. Heath III, S. Kumaran, P. Nandi, F. Wu, P. Athma, C. Freiberg, L. Johannsen, and A. Staudt. A model-driven approach to industrializing discovery processes in pharmaceutical research. IBM Systems Journal, 44(1): 145-162, 2005.
8. K. Bhattacharya, R. Hull, and J. Su. A Data-centric Design Methodology for Business Processes. In J. Cardoso and W. van der Aalst, editors, Handbook of Research on Business Process Management. 2009. to appear.
9. C. Boutilier, R. Dearden, and M. Goldszmidt. Stochastic dynamic programming with factored representations. Artificial Intelligence, 121:49-107, 2000.
10. C. Boutilier, R. Reiter, and B. Price. Symbolic dynamic programming for first-order MDPs. In Proc. IJCAI'01, pages 690-700, 2001.
11. J. Chomicki. Efficient checking of temporal integrity constraints using bounded history encoding. ACM Trans. Database Syst., 20(2): 149-186, 1995.
12. E. Clarke, O. Grumberg, and D. A. Peled. Model Checking. The MIT Press, Cambridge, Massachusetts, 2000.
13. O. S. Coalition. OWL-S: Semantic markup for web services, November 2003.
14. A. Deutsch, R. Hull, F. Patrizi, and V. Vianu. Automatic verification of data-centric business processes. In Proc, of Intl. Conf. on Database Theory (ICDT), 2009.
15. E. W. Dijkstra. Guarded commands, nondeterminacy and formal derivation of programs. Communications of the ACM, 18(8):453-457, 1975.
16. M. Fränzle. Verification of hybrid systems. InProc. 19thlnt. Conf. on Computer Aided Verification (CAV), 2007.
17. C. Gerede, R. Hull, O. Ibarra, and J. Su. Automated composition of e-services: Lookaheads. InProc. 2ndlnt. Conf. on Service-Oriented Computing (ICSOC), 2004.
18. 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.
19. C. E. Gerede and J. Su. Specification and verification of artifact behaviors in business process models. In Proceedings of 5th International Conference on Service-Oriented Computing (ICSOC), Vienna, Austria, September 2007.
20. M. L. Ginsberg. Universal planning: an (almost) universally bad idea. AI Magazine, 10(4):40-44, 1989.
21. R. Glushko and T. McGrath. Document Engineering: Analyzing and Designing Documents for Business Informatics and Web Services. MIT Press, Cambridge, MA, 2005.
22. S. Grumbach and J. Su. Finitely representable databases. Journal of Computer & System Sciences, 55(2):273-298, October 1997.
23. C. A. R. Hoare. An axiomatic basis for computer programming. Communications of the ACM, 12(10):576-583, 1969.
24. R. Hull. Artifact-centric business process models: Brief survey of research results and challenges. In On the Move to Meaningful Internet Systems: OTM 2008, OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008, Monterrey, Mexico, 2008.
25. R. Hull, F. Llirbat, B. Kumar, G. Zhou, G. Dong, and J. Su. Optimization techniques for data-intensive decision flows. In Proc. Int. Conf. on Data Engineering, 2000.
26. 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.
27. J. Jaffar and J. Lassez. Constraint logic programming. In Proc. ACM Symp. on Principles of Programming Languages, pages 111-119, 1987.
28. P. Kanellakis, G. Kuper, and P. Revesz. Constraint query languages. Journal of Computer & System Sciences, 51(1):26-52, 1995.
29. D. Kozen and C. Yap. Algebraic cell decomposition in NC. In Proc IEEE Foundations of Computer Science, pages 515-521, 1985.
30. G. Kuper, L. Libkin, and J. Paredarns, editors. Constraint Databases. Springer Verlag, 2000.
31. J. Kuster, K. Ryndina, and H. Gall. Generation of BPM for object life cycle compliance. In Proceedings of 5th International Conference on Business Process Management (BPM), 2007.
32. R. Liu, K. Bhattacharya, and F. Y. Wu. Modeling business contexture and behavior using business artifacts. In CAiSE, volume 4495 of LNCS, 2007.
33. M. Moreno and P. Kearney. Integrating AI planning techniques with workflow management system. Knowledge-Based Systems, 15(5-6):285-291, 2002.
34. C. Morgan. The specification statement. ACM Transactions on Programming Languages and Systems, 10(3):403-419, 1988.
35. S. Narayanan and S. McIlraith. Simulation, verification and automated composition of web services. In Proc. Int. World Wide Web Conf. (WWW), 2002.
36. G. Nelson. A generalization of dijkstra's calculus. ACM Transactions on Programming Languages and Systems, 11(4):517-561, 1989.
37. A. Nigam and N. S. Caswell. Business artifacts: An approach to operational specification. IBM Systems Journal, 42(3):428-445, 2003.
38. J. Penberthy and D. Weld. UCPOP: A sound, complete, partial order planner for ADL. In Proceedings of the Third International Conference on Knowledge Representation and Reasoning, pages 103-114, 1992.
39. S. Sardina, F. Patrizi, and G. De Giacomo. Behavior composition in the presence of failure. In G. Brewka and J. Lang, editors, Proceedings of Principles of Knowledge Representation and Reasoning (KR), pages 640-650, Sydney, Australia, Sept. 2008.
40. M. J. Schoppers. Universal plans for reactive robots in unpredictable environments. In J. McDermott, editor, Proc. IJCAI'87, pages 1039-1046, Milan, Italy, 1987. Morgan Kaufmann publishers Inc.: San Mateo, CA, USA.
41. J. Strosnider, P. Nandi, S. Kumaran, S. Ghosh, and A. Arsanjani. Model-driven synthesis of soa solutions. IBM Systems Journal, pages 415-432, 2008.
42. R. Waldinger. Achieving several goals simultaneously. In E. W. Elcock and D. Michie, editors, Machine Intelligence, volume 8, pages 94-136. Wiley, 1977.
43. J. Wang and A. Kumar. A framework for document-driven workflow systems. In Business Process Management, pages 285-301, 2005.
44. Web Service Modeling Ontology. http://www.wsmo.org/.