On lifecycle constraints of artifact-centric workflows

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

Volumn 6551 LNCS, Issue , 2011, Pages 71-85

  Kucukoguz, Esra ^a   Su, Jianwen ^a  

^a University of California   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFACT-CENTRIC; AUTOMATED CONSTRUCTION; BUSINESS LOGIC; BUSINESS PROCESS; DATA ENTITIES; SUFFICIENT CONDITIONS; TECHNICAL PROBLEM; WORK-FLOWS; WORKFLOW EXECUTION; WORKFLOW MODELS;

COMPUTABILITY AND DECIDABILITY; ENTERPRISE RESOURCE MANAGEMENT; FORMAL METHODS; LIFE CYCLE;

WEB SERVICES;

EID: 79953093507     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-19589-1_5     Document Type: Conference Paper

References (34)

1. Abiteboul, S., Segoufin, L., Vianu, V.: Modeling and verifying active xml artifacts. Data Engineering Bulletin 32(3), 10-15 (2009)
2. Bhattacharya, K., Gerede, C.E., 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)
3. Chao, T., Cohn, D., Flatgard, A., Hahn, S., Linehan, M.H., Nandi, P., Nigam, A., Pinel, F., Vergo, J., Wu, F.Y.: Artifact-based transformation of ibm global financing. In: Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) BPM 2009. LNCS, vol. 5701, pp. 261-277. Springer, Heidelberg (2009)
4. Chesani, F., Mello, P., Montali, M., Torroni, P.: Verification of choreographies during execution using the reactive event calculus. In: Bruni, R., Wolf, K. (eds.) WS-FM 2008. LNCS, vol. 5387, pp. 55-72. Springer, Heidelberg (2009)
5. NSF Workshop: Research Challenges on Data-Centric Workflows (May 2009), http://dcw2009.cs.ucsb.edu.
6. Deutsch, A., Hull, R., Patrizi, F., Vianu, V.: Automatic verification of data-centric business processes. In: Proc. Int. Conf. on Database Theory (ICDT), pp. 252-267 (2009)
7. Emerson, E.A.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, vol. B ch. 7, pp. 995-1072. North Holland, Amsterdam (1990)
8. Fritz, C., Hull, R., Su, J.: Automatic construction of simple artifact-based business processes. In: Proc. Int. Conf. on Database Theory, ICDT (2009)
9. Gerede, C.E., Bhattacharya, K., Su, J.: Static analysis of business artifact-centric operational models. In: IEEE International Conference on Service-Oriented Computing and Applications (2007)
10. Garey, M., Johnson, D.: Computers and Intractability A Guide to the theory of NP-Completeness. Freeman, New York (1979)
11. Ginsburg, S.: The Mathematical Theory of Context Free Languages. McGraw-Hill, New York (1966)
12. Ginsburg, S., Spanier, E.: Bounded Algol-like languages. Transactions of AMS 113, 333-368 (1964)
13. Gerede, C.E., Su, J.: Specification and verification of artifact behaviors in business process models. In: Krämer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 181-192. Springer, Heidelberg (2007)
14. Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Reading (1979)
15. Ibarra, O.: Private communications (2010)
16. Ibarra, O.H.: Reversal-bounded multicounter machines and their decision problems. Journal of the ACM 25, 116-133 (1978)
17. Küster, J.M., Ryndina, K.: Improving inconsistency resolution with side-effect evaluation and costs. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 136-150. Springer, Heidelberg (2007)
18. Küster, J., Ryndina, K., Gall, H.: Generation of BPM for object life cycle compliance. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 165-181. Springer, Heidelberg (2007)
19. Liu, G., Liu, X., Qin, H., Su, J., Yan, Z., Zhang, L.: Automated realization of business workflow specification. In: Proc. Int. Workshop on SOA, Globalization, People, and Work (2009)
20. Lü, Y., Qin, H., Li, J., Chen, Y., Zhang, L., Su, J.: Design and implementation of artimt: An artifact-centric Workflow Management System (2010) (manuscript)
21. Montali, M., Chesani, F., Mello, P., Storari, S.: Towards a decserflow declarative semantics based on computational logic. Technical report, LIA Technical Report 79 (2007)
22. Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE 77(4) (1989)
23. Nigam, A., Caswell, N.S.: Business artifacts: An approach to operational specification. IBM Systems Journal 42(3), 428-445 (2003)
24. Parikh, R.: On context-free languages. Journal of the ACM 13, 570-581 (1966)
25. Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice-Hall Inc., Englewood Cliffs (1981)
26. Petri, C.A.: Fundamentals of a theory of asynchronous information flow. In: Proc. of IFIP Congress 62, pp. 386-390. North Holland Publ. Comp., Amsterdam (1963)
27. Presburger, M.: über die Vollständigkeit eines gewissen systems der arithmetik ganzer zahlen, in welchem die addition als einzige operation hervortritt. In: Comptes rendus du premier Congrès des Mathématiciens des Pays Slaves, pp. 92-101, Warszawa (1929)
28. Ryndina, K., Küster, J., Gall, H.: Consistency of business process models and object life cycles. In: Proc. 1st Workshop Quality in Modeling (2006)
29. Singh, M.: Semantical considerations on workflows: An algebra for intertask dependencies. In: Proc. Workshop on Database Programming Languages, DBPL (1995)
30. Singh, M.P., Meredith, G., Tomlinson, C., Attie, P.C.: An event algebra for specifying and scheduling workflows. In: Proc. 4th Int. Conf. on Database Systems for Advanced Applications, DASFAA (1995)
31. van der Aalst, W.M.P.: Business process management demystified: A tutorial on models, systems and standards for workflow management. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Lectures on Concurrency and Petri Nets. LNCS, vol. 3098, pp. 21-58. Springer, Heidelberg (2004)
32. van der Aalst, W.M.P., Pesic, M.: DecSerFlow: Towards a truly declarative service flow language. In: Proceedings of Workshop on Web Services and Formal Methods (2006)
33. van der Aalst, W.M.P., Pesic, M.: Specifying and monitoring service flows: Making web services process-aware. In: Test and Analysis of Web Services, pp. 11-55. Springer, Heidelberg (2007)
34. Wahler, K., Küster, J.M.: Predicting coupling of object-centric business process implementations. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol. 5240, pp. 148-163. Springer, Heidelberg (2008)