Artifact systems with data dependencies and arithmetic

ACM Transactions on Database Systems

Volumn 37, Issue 3, 2012, Pages

  Damaggio, Elio ^a   Deutsch, Alin ^a   Vianu, Victor ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BUSINESS PROCESS; DATA CENTRIC; DATA DEPENDENCIES; FIRST-ORDER; LINEAR TIME TEMPORAL LOGIC; STATIC VERIFICATION; UPPER BOUND; VERIFICATION PROBLEMS; VERIFICATION RESULTS; WORST-CASE COMPLEXITY;

INFORMATION SYSTEMS;

DATABASE SYSTEMS;

EID: 84866501849     PISSN: 03625915     EISSN: 15574644     Source Type: Journal    
DOI: 10.1145/2338626.2338628     Document Type: Conference Paper

References (64)

1. Abiteboul, S., Herr, L., and Den Bussche, J. V. 1996. Temporal Versus First-Order Logic To Query Temporal Databases. in Proceedings of the Acm Symposium on Principles of Database Systems (Pods'96). 49-57.
2. Abiteboul, S., Hull, R., and Vianu, V. 1995. Foundations of Databases. Addison Wesley.
3. Abiteboul, S., Segoufin, L., and Vianu, V. 2009. Static Analysis of Active Xml Systems. Acm Trans. Datab. Syst. 34, 4.
4. Abiteboul, S., Vianu, V., fordham, B., and Yesha, Y. 2000. Relational Transducers for Electronic Commerce. J. Comput. Syst. Sci. 61, 2, 236-239.
5. Bhattacharya, K.,Guttman, R., Lyman, K.,Heath Iii, F. F., Kumaran, S.,Nandi, P.,Wu, F., Athma, P., Freiberg, C., Johannsen, L., and Staudt, A. 2005. A Model-Driven Approach To industrializing Discovery Processes in Pharmaceutical Research. Ibm Syst. J. 44, 1, 145-162.
6. Bhattacharya, K., Caswell, N. S.,Kumaran, S.,Nigam, A., and Wu, F. Y. 2007A. Artifact-Centered Operational Modeling: Lessons From Customer Engagements. Ibm Syst. J. 46, 4, 703-721.
7. Bhattacharya, K., Gerede, C. E., Hull, R., Liu, R., and Su, J. 2007B. Towards formal Analysis of Artifactcentric Business Process Models. in Proceedings of the international Conference on Business Process Management (Bpm'07). 288-304.
8. Birget, J.-C. 1996. Two-Way Automata and Length-Preserving Homomorphisms. Theory Comput. Syst. 29, 3, 191-226.
9. Bojanczyk, M., Muscholl, A., Schwntick, T., Segoufin, L., and David, C. 2006. Two-Variable Logic on Words With Data. in Proceedings of the Annual Ieee Symposium on Logic in Computer Science (Lics'06). 7-16. (Pubitemid 47130347)
10. Bouajjani, A., Habermehl, P., Jurski, Y., and Sighreanu, M. 2007A. Rewriting Systems With Data. in Proceedings of the international Symposium on Fundamentals of Computation Theory (Fct'07). Lecture Notes in Computer Science, Vol. 4639, Springer, 1-22.
11. Bouajjani, A., Jurski, Y., and Sighireanu, M. 2007B. A Generic Framework for Reasoning About Dynamic Networks of infinite-State Processes. in Proceedings of the international Conference on Tools and Algorithms for Construction and Analysis of Systems (Tacas'07). Lecture Notes in Computer Science, Vol. 4424, Springer, 690-705.
12. Bouajjani, A., Habermehl, P., and Mayr, R. 2003. Automatic Verification of Recursive Procedures With one integer Parameter. Theor. Comput. Sci. 295, 85-106.
13. Bouyer, P. 2002. A Logical Characterization of Data Languages. inf. Process. Lett. 84, 2, 75-85.
14. Bouyer, P., Petit, A., and Th́Erien, D. 2003. An Algebraic Approach To Data Languages and Timed Languages. inf. Comput. 182, 2, 137-162.
15. Burkart, O., Caucal, D.,Moller, F., and Steffen, B. 2001. Verification of infinite Structures. in Handbook of Process Algebra, Elsevier Science, 545-623.
16. Calvanese, D.,Giacomo, G. D.,Hull, R., and Su, J. 2009. Artifact-Centric Workflow Dominance. in Proceedings of the international Conference on Service-Oriented Computing (Icsoc)/Service Wave. 130-143.
17. Damaggio, E. 2011. Verification of Business Process Specifications With Arithmetic and Data Dependencies. Ph.D. Thesis, University of California San Diego.
18. Damaggio, E., Deutsch, A., and Vianu, V. 2011A. Artifact Systems With Data Dependencies and Arithmetic. in Proceedings of the international Conference on Database Theory (Icdt'11).
19. Damaggio, E.,Hull, R., and Vaculin, R. 2011B. on The Equivalence of incremental and Fixpoint Semantics for Business Entities With Guard-Stage-Milestone Lifecycles. in Proceedings of the international Conference on Business Process Management (Bpm'11).
20. Demri, S. and Lazíc, R. 2006. Ltl With The Freeze Quantifier and Register Automata. in Proceedings of the Annual Ieee Symposium on Logic in Computer Science (Lics'06). 17-26. (Pubitemid 47130348)
21. Demri, S., Lazíc, R., and Sangnier, A. 2008. Model Checking Freeze Ltl Over one-Counter Automata. in Proceedings of the 11Th international Conference on Foundations of Software Science and Computation Structures (Fossacs'08). 490-504.
22. Demri, S., Lazíc, R., and Sangnier, A. 2010. Model Checking Memoryful Linear-Time Logics Over one-Counter Automata. Theor. Comput. Sci. 411, 22-24, 2298-2316.
23. Deutsch, A., Nash, A., and Remmel, J. B. 2008. The Chase Revisited. in Proceedings of the Acm Symposium on Principles of Database Systems (Pods'08). 149-158.
24. 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). 252-267.
25. Deutsch, A., Sui, L., and Vianu, V. 2007. Specification and Verification of Data-Driven Web Applications. J. Comput. Syst. Sci. 73, 3, 442-474.
26. Deutsch, A., Sui, L., Vianu, V., and Zhou, D. 2006. Verification of Communicating Data-Driven Web Services. in Proceedings of the Acm Symposium on Principles of Database Systems (Pods'06). 90-99. (Pubitemid 46946470)
27. Dong, G.,Hull, R.,Kumar, B., Su, J., and Zhou, G. 1999. A Framework for Optimizing Distributed Workflow Executions. in Proceedings of the international Workshop on Database Programming Languages (Dbpl'99). 152-167.
28. Emerson, E. A. 1990. Temporal and Modal Logic. in Handbook of theoretical Computer Science, Vol. B: formal Models and Semantics, J. V. Leeuwen, Ed., North-Holland/Mit Press, 995-1072.
29. Fagin, R. 1982. Horn Clauses and Database Dependencies. J. Acm 29, 4, 952-985.
30. Fagin, R., Kolaitis, P. G.,Miller, R. J., and Popa, L. 2003. Data Exchange: Semantics and Query Answering. in Proceedings of the international Conference on Database Theory (Icdt'03). 207-224.
31. Fritz, C., Hull, R., and Su, J. 2009. Automatic Construction of Simple Artifact-Based Business Processes. in Proceedings of the international Conference on Database Theory (Icdt'09). 225-238.
32. 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.
33. Gerede, C. E. and Su, J. 2007. Specification and Verification of Artifact Behaviors in Business Process Models. in Proceedings of the 5Th international Conference on Service-Oriented Computing (Icsoc'07).
34. Glushko, R. andmcgrath, T. 2005. Document Engineering: Analyzing and Designing Documents for Business informatics and Web Services. Mit Press, Cambridge, Ma.
35. Hull, R.,Damaggio, E., Fournier, F.,Gupta, M.,Heath, F. T.,Hobson, S., Linehan, M. H.,Maradugu, S.,Nigam, A., Sukaviriya, P., and Vaculin, R. 2010. introducing The Guard-Stage-Milestone Approach for Specifying Business Entity Lifecycles. in Proceedings of the international Workshop on Web Services and formal Methods (Ws-Fm'10). 1-24.
36. Hull, R., Llirbat, F., Kumar, B., Zhou, G., Dong, G., and Su, J. 2000. Optimization Techniques for Dataintensive Decision Flows. in Proceedings of the Ieee international Conference on Data Engineering (Icde'00). 281-292. (Pubitemid 30585743)
37. 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.
38. Ibarra, O. H. 1978. Reversal-Bounded Multicounter Machines and Their Decision Problems. J. Acm 25, 1, 116-133.
39. Jurdzinski, M. and Lazíc, R. 2007. Alternation-Free Modal Mu-Calculus for Data Trees. in Proceedings of the Annual Ieee Symposium on Logic in Computing Science (Lics'07). 131-140.
40. Karmarkar, N. 1984. A New Polynomial-Time Algorithm for Linear Programming. in Proceedings of the Acm Symposium on Theory of Computing (Stoc'84). 302-311.
41. Kumaran, S., Liu, R., and Wu, F. Y. 2008. on The Duality of information-Centric and Activity-Centric Models of Business Processes. in Proceedings of the international Conference on Advanced information Systems Engineering (Caise'08).
42. Kumaran, S.,Nandi, P.,Heath, T., Bhaskaran, K., and Das, R. 2003. Adoc-Oriented Programming. in Proceedings of the Symposium on Applications and The internet (Saint'03). 334-343.
43. Kuster, J., Ryndina, K., and Gall, H. 2007. Generation of Bpm for Object Life Cycle Compliance. in Proceedings of the 5Th international Conference on Business Process Management (Bpm'07).
44. Ladner, R. E., Lipton, R. J., and Stockmeyer, L. J. 1984. Alternating Pushdown and Stack Automata. Siam J. Comput. 13, 1, 135-155.
45. Lazíc, R., Newcomb, T., Ouaknine, J., Roscoe, A., and Worrell, J. 2007. Nets With Tokens Which Carry Data. in Proceedings of the international Conference on Applications and Theory of Petri Nets (Icatpn'07). Lecture Notes in Computer Science, Vol. 4546, Springer, 301-320.
46. Libkin, L. 2004. Elements of Finite Model Theory. Springer.
47. Liu, R., Bhattacharya, K., and Wu, F. Y. 2007. Modeling Business Contexture and Behavior Using Business Artifacts. in Proceedings of the international Conference on Advanced information Systems Engineering (Caise'07). Lecture Notes in Computer Science, Vol. 4495, Springer.
48. Martens, W., Neven, F., and Gyssens, M. 2008. Typechecking Top-Down Xml Transformations: Fixed input Or Output Schemas. inf. Comput. 206, 7, 806-827.
49. Martin, D., Burstein, M., Hobbs, J., Lassila, O., Mcdermott, D., Mcilraith, S., Narayanan, S., Paolucci, M., Parsia, B., Payne, T., Sirin, E., Srinivasan, N., and Sycara, K. 2003. Owl-S: Semantic Markup for Web Services. W3C Member Submission.
50. Mcilraith, S. A., Son, T. C., and Zeng, H. 2001. Semantic Web Services. Ieee intell. Syst. 16, 2, 46-53.
51. Meier, M., Schmidt, M.,Wei, F., and Lausen, G. 2010. Semantic Query Optimization in The Presence of Types. in Proceedings of the Acm Symposium on Principles of Database Systems (Pods'10). 111-122.
52. Minsky, M. L. 1967. Computation: Finite and infinite Machines. Prentice-Hall, Upper Saddle River, Nj.
53. Nandi, P. and Kumaran, S. 2005. Adaptive Business Objects -A New Componentmodel for Business integration. in Proceedings of the international Conference on Enterprise information Systems. 179-188.
54. 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).
55. Neven, F., Schwentick, T., and Vianu, V. 2004. Finite State Machines for Strings Over infinite Alphabets. Acm Trans. Comput. Logic 5, 3, 403-435.
56. Nigam, A. and Caswell, N. S. 2003. Business Artifacts: An Approach To Operational Specification. Ibmsyst. J. 42, 3, 428-445.
57. Pnueli, A. 1977. The Temporal Logic of Programs. in Proceedings of the Ieee Symposium on Foundations of Computer Science (Focs'77). 46-57.
58. Russell, N., Hofstede, A. H. M. T., and Edmond, D. 2005A. Workflow Resource Patterns: Identification, Representation and Tool Support. in Proceedings of the 17Th Conference on Advanced information Systems Engineering (Caise'05). Lecture Notes in Computer Science, Vol. 3520, Springer, 216-232. (Pubitemid 41336105)
59. Russell, N., Ter Hofstede, A. H. M., Edmond, D., and Van Der Aalst, W. M. P. 2005B. Workflow Data Patterns: Identification, Representation and Tool Support. in Proceedings of the 25Th international Conference on Conceptual Modeling (Er'05). Springer.
60. Russell, N., Van Der Aalst, W. M. P., and Ter Hofstede, A. H. M. 2006. Workflow Exception Patterns. in Proceedings of the 18Th Conference on Advanced information Systems Engineering (Caise'06). Springer, 288-302. (Pubitemid 44071215)
61. Segoufin, L. and Torunczyk, S. 2011. Automata Based Verification Over Linearly Ordered Data Domains. in international Symposium on Theoretical Aspects of Computer Science (Stacs'11).
62. Spielmann, M. 2003. Verification of Relational Transducers for Electronic Commerce. J. Comput. Syst. Sci. 66, 1, 40-65. Extended Abstract in Acm Symposium on Principles of Database Systems (Pods'00).
63. Wang, J. and Kumar, A. 2005. A Framework for Document-Driven Workflow Systems. in Business Process Management, 285-301. (Pubitemid 41490769)
64. Zhao, X.,Su, J.,Yang, H., andqiu, Z. 2009. Enforcing Constraints on Life Cycles of Business Artifacts. in Proceedings of the Ieee international Symposium on Theoretical Aspects of Software Engineering (Tase'09). 111-118.