skip to main content
10.1145/2463664.2467796acmconferencesArticle/Chapter ViewAbstractPublication PagesmodConference Proceedingsconference-collections
research-article

Foundations of data-aware process analysis: a database theory perspective

Published:22 June 2013Publication History

ABSTRACT

In this work we survey the research on foundations of data-aware (business) processes that has been carried out in the database theory community. We show that this community has indeed developed over the years a multi-faceted culture of merging data and processes. We argue that it is this community that should lay the foundations to solve, at least from the point of view of formal analysis, the dichotomy between data and processes still persisting in business process management.

References

  1. M. Abadi and Z. Manna. Temporal logic programming. J. of Symbolic Computation, 8(3):277--295, 1989. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. S. Abiteboul, O. Benjelloun, and T. Milo. Positive active XML. In Proc. of the 23rd ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS 2004), pages 35--45, 2004. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. S. Abiteboul, P. Bourhis, A. Galland, and B. Marinoiu. The AXML artifact model. In Proc. of the 16th Int. Symp. on Temporal Representation and Reasoning (TIME 2009), pages 11--17, 2009. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. S. Abiteboul, P. Bourhis, and V. Vianu. Comparing workflow specification languages: a matter of views. In Proc. of the 14th Int. Conf. on Database Theory(ICDT 2011), pages 78--89, 2011. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. S. Abiteboul, P. Bourhis, and V. Vianu. Comparing workflow specification languages: A matter of views. ACM Trans. on Database Systems, 37(2):10:1--10:59, 2012. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. S. Abiteboul, L. Herr, and J. Van den Bussche. Temporal versus first-order logic to query temporal databases. In Proc. of the 15th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS'96), pages 49--57, 1996. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. S. Abiteboul and R. Hull. IFO: A formal semantic database model. ACM Trans. on Database Systems, 12(4):297--314, 1987. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison Wesley Publ. Co., 1995. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. S. Abiteboul, L. Segoufin, and V. Vianu. Static analysis of Active XML systems. In Proc. of the 27th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS 2008), pages 221--230, 2008. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. S. Abiteboul, L. Segoufin, and V. Vianu. Modeling and verifying Active XML artifacts. Bull. of the IEEE Computer Society Technical Committee on Data Engineering, 32(3):10--15, 2009.Google ScholarGoogle Scholar
  11. S. Abiteboul, L. Segoufin, and V. Vianu. Static analysis of Active XML systems. ACM Trans. on Database Systems, 34(4):23:1--23:44, 2009. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. S. Abiteboul, P. Senellart, and V. Vianu. The ERC webdam on foundations of web data management. In Proc. of the 21st Int. World Wide Web Conf. (WWW 2012), pages211--214, 2012. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. S. Abiteboul and V. Vianu. Transactions in relational databases (preliminary report). In Proc. of the 10th Int. Conf. on Very Large Data Bases (VLDB'84), pages 46--56, 1984. Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. S. Abiteboul and V. Vianu. Transactions and integrity constraints. In Proc. of the 4th ACM SIGACT SIGMOD Symp. on Principles of Database Systems (PODS'85), pages 193--204, 1985. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. S. Abiteboul and V. Vianu. Deciding properties of transactional schemas. In Proc. of the 5th ACM SIGACT SIGMOD Symp. on Principles of Database Systems (PODS'86), pages 235--239, 1986. Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. S. Abiteboul and V. Vianu. A transcation language complete for database update and specification. In Proc. of the 6th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS'87), pages 260--268, 1987. Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. S. Abiteboul and V. Vianu. Equivalence and optimization of relational transactions. J. of the ACM, 35(1):70--120, 1988. Google ScholarGoogle ScholarDigital LibraryDigital Library
  18. S. Abiteboul and V. Vianu. Procedural and declarative database update languages. In Proc. of the 7th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS'88), pages 240--250, 1988. Google ScholarGoogle ScholarDigital LibraryDigital Library
  19. S. Abiteboul, V. Vianu, B. Fordham, and Y. Yesha. Relational transducers for electronic commerce. In Proc. of the 17th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS'98), pages 179--187, 1998. Google ScholarGoogle ScholarDigital LibraryDigital Library
  20. S. Abiteboul, V. Vianu, B. Fordham, and Y. Yesha. Relational transducers for electronic commerce. J. of Computer and System Sciences, 61(2):236--269, 2000. Google ScholarGoogle ScholarDigital LibraryDigital Library
  21. A. Aiken, J. Widom, and J. M. Hellerstein. Behavior of database production rules: Termination, confluence, and observable determinism. In Proc. of the ACM SIGMOD Int. Conf. on Management of Data, pages 59--68, 1992. Google ScholarGoogle ScholarDigital LibraryDigital Library
  22. J. F. Allen. Maintaining knowledge about temporal intervals. Communications of the ACM, 26(11):832--843, 1983. Google ScholarGoogle ScholarDigital LibraryDigital Library
  23. A. Awad, G. Decker, and M. Weske. Efficient compliance checking using bpmn-q and temporal logic. In Proc. of the 6th Int. Conference on Business Process Management (BPM 2008), volume 5240 of Lecture Notes in Computer Science, pages 326--341. Springer, 2008. Google ScholarGoogle ScholarDigital LibraryDigital Library
  24. B. Bagheri Hariri, D. Calvanese, G. De Giacomo, R. De Masellis, and P. Felli. Foundations of relational artifacts verification. In Proc. of the 9th Int. Conference on Business Process Management (BPM 2011), volume 6896 of Lecture Notes in Computer Science, pages 379--395. Springer, 2011. Google ScholarGoogle ScholarDigital LibraryDigital Library
  25. B. Bagheri Hariri, D. Calvanese, M. Montali, G. De Giacomo, R. De Masellis, and P. Felli. Description logic Knowledge and Action Bases. J. of Artificial Intelligence Research, 46, 2013.Google ScholarGoogle Scholar
  26. B. Bagheri Hariri, D. Calvanese, M. Montali, G. De Giacomo, and A. Deutsch. Verification of relational data-centric dynamic systems with external services. In Proc. of the 32nd ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS 2013), 2013. Google ScholarGoogle ScholarDigital LibraryDigital Library
  27. C. Baier and J.-P. Katoen. Principles of Model Checking. MIT Press, 2008. Google ScholarGoogle ScholarDigital LibraryDigital Library
  28. J. Bailey, L. Crnogorac, K. Ramamohanarao, and H. Søndergaard. Abstract interpretation of active rules and its use in termination analysis. In Proc. of the 6th Int. Conf. on Database Theory (ICDT'97), volume 1186 of Lecture Notes in Computer Science, pages 188--202. Springer, 1997. Google ScholarGoogle ScholarDigital LibraryDigital Library
  29. J. Bailey, G. Dong, and K. Ramamohanarao. Structural issues in active rule systems. In Proc. of the 6th Int. Conf. on Database Theory (ICDT'97), volume 1186 of Lecture Notes in Computer Science, pages 203--214. Springer, 1997. Google ScholarGoogle ScholarDigital LibraryDigital Library
  30. J. Bailey, G. Dong, and K. Ramamohanarao. Decidability and undecidability results for the termination problem of active database rules. In Proc. of the 17th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS'98), pages 264--273, 1998. Google ScholarGoogle ScholarDigital LibraryDigital Library
  31. Z. Bao, S. B. Davidson, and T. Milo. Labeling workflow views with fine-grained dependencies. Proc. of the VLDB Endowment, 5(11):1208--1219, 2012. Google ScholarGoogle ScholarDigital LibraryDigital Library
  32. M. Baudinet. Temporal logic programming is complete and expressive. In Proc. of the 16th ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages (POPL'89), pages 267--280, 1989. Google ScholarGoogle ScholarDigital LibraryDigital Library
  33. M. Baudinet. On the expressiveness of temporal logic programming. Information and Computation, 117(2):157--180, 1995. Google ScholarGoogle ScholarDigital LibraryDigital Library
  34. M. Baudinet, M. Niézette, and P. Wolper. On the representation of infinite temporal data and queries. In Proc. of the 10th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS'91), pages 280--290, 1991. Google ScholarGoogle ScholarDigital LibraryDigital Library
  35. C. Beeri, A. Eyal, S. Kamenkovich, and T. Milo. Querying business processes. In Proc. of the 32nd Int. Conf. on Very Large Data Bases (VLDB 2006), pages 343--354, 2006. Google ScholarGoogle ScholarDigital LibraryDigital Library
  36. C. Beeri, A. Eyal, S. Kamenkovich, and T. Milo. Querying business processes with BP-QL. Information Systems, 33(6):477--507, 2008. Google ScholarGoogle ScholarDigital LibraryDigital Library
  37. F. Belardinelli, A. Lomuscio, and F. Patrizi. Verification of deployed artifact systems via data abstraction. In Proc. of the 9th Int. Joint Conf. on Service Oriented Computing (ICSOC 2011), volume 7084 of Lecture Notes in Computer Science, pages 142--156. Springer, 2011. Google ScholarGoogle ScholarDigital LibraryDigital Library
  38. F. Belardinelli, A. Lomuscio, and F. Patrizi. An abstraction technique for the verification of artifact-centric systems. In Proc. of the 13th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2012), 2012.Google ScholarGoogle Scholar
  39. M. Benedikt, T. Griffin, and L. Libkin. Verifiable properties of database transactions. In Proc. of the 15th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS'96), pages 117--127, 1996. Google ScholarGoogle ScholarDigital LibraryDigital Library
  40. D. Berardi, D. Calvanese, G. De Giacomo, R. Hull, and M. Mecella. Automatic composition of transition-based semantic web services with messaging. In Proc. of the 31st Int. Conf. on Very Large Data Bases (VLDB 2005), pages 613--624, 2005. Google ScholarGoogle ScholarDigital LibraryDigital Library
  41. K. Bhattacharya, N. S. Caswell, S. Kumaran, A. Nigam, and F. Y. Wu. Artifact-centered operational modeling: Lessons from customer engagements. IBM Systems Journal, 46(4):703--721, 2007. Google ScholarGoogle ScholarDigital LibraryDigital Library
  42. K. Bhattacharya, C. E. Gerede, R. Hull, R. Liu, and J. Su. Towards formal analysis of artifact-centric business process models. In Proc. of the 5th Int. Conference on Business Process Management (BPM 2007), volume 4714 of Lecture Notes in Computer Science, pages 288--234. Springer, 2007. Google ScholarGoogle ScholarDigital LibraryDigital Library
  43. K. Bhattacharya, R. Guttman, K. Lyman, F. F. Heath, S. Kumaran, P. Nandi, F. Y. 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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  44. M. Bojanczyk, C. David, A. Muscholl, T. Schwentick, and L. Segoufin. Two-variable logic on data words. ACM Trans. on Computational Logic, 12(4):27, 2011. Google ScholarGoogle ScholarDigital LibraryDigital Library
  45. M. Bojanczyk and T. Place. Toward model theory with data values. In Proc. of the 39th Int. Coll. on Automata, Languages and Programming (ICALP 2012), pages 116--127, 2012. Google ScholarGoogle ScholarDigital LibraryDigital Library
  46. A. J. Bonner. Workflow, transactions, and datalog. In Proc. of the 18th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS'99), pages 294--305, 1999. Google ScholarGoogle ScholarDigital LibraryDigital Library
  47. A. Bouajjani, P. Habermehl, Y. Jurski, and M. Sighireanu. Rewriting systems with data. In Proc. of the 16th Int. Symp. on Fundamentals of Computation Theory (FCT 2007), 2007. Google ScholarGoogle ScholarDigital LibraryDigital Library
  48. A. Bouajjani, P. Habermehl, and R. Mayr. Automatic verification of recursive procedures with one integer parameter. Theoretical Computer Science, 295, 2003. Google ScholarGoogle ScholarDigital LibraryDigital Library
  49. Y. Breitbart, A. Deacon, H.-J. Schek, A. P. Sheth, and G. Weikum. Merging application-centric and data-centric approaches to support transaction-oriented multi-system workflows. SIGMOD Record, 22(3):23--30, 1993. Google ScholarGoogle ScholarDigital LibraryDigital Library
  50. O. Burkart, D. Caucal, F. Moller, and B. Steffen. Verification of infinite structures. In Handbook of Process Algebra. Elsevier, 2001.Google ScholarGoogle ScholarCross RefCross Ref
  51. P. Cangialosi, G. De Giacomo, R. De Masellis, and R. Rosati. Conjunctive artifact-centric services. In Proc. of the 8th Int. Joint Conf. on Service Oriented Computing (ICSOC 2010), volume 6470 of Lecture Notes in Computer Science, pages 318--333. Springer, 2010.Google ScholarGoogle ScholarCross RefCross Ref
  52. A. K. Chandra and D. Harel. Computable queries for relational data bases. J. of Computer and System Sciences, 21(2):156--178, 1980.Google ScholarGoogle ScholarCross RefCross Ref
  53. P. P. Chen. The Entity-Relationship model: Toward a unified view of data. ACM Trans. on Database Systems, 1(1):9--36, Mar. 1976. Google ScholarGoogle ScholarDigital LibraryDigital Library
  54. J. Chomicki. Temporal inegrity constraints in relational databases. Bull. of the IEEE Computer Society Technical Committee on Data Engineering, 17(2):33--37, 1994.Google ScholarGoogle Scholar
  55. J. Chomicki. Temporal query languages: a survey. In Proc. of the 1st Int. Conf. on Temporal Logic (ICTL'94), volume 827 of Lecture Notes in Computer Science, pages 506--534. Springer, 1994. Google ScholarGoogle ScholarDigital LibraryDigital Library
  56. J. Chomicki. Efficient checking of temporal integrity constraints using bounded history encoding. ACM Trans. on Database Systems, 20(2):149--186, 1995. Google ScholarGoogle ScholarDigital LibraryDigital Library
  57. J. Chomicki and T. Imielinski. Temporal deductive databases and infinite objects. In Proc. of the 7th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS'88), pages 61--73, 1988. Google ScholarGoogle ScholarDigital LibraryDigital Library
  58. J. Chomicki and D. Niwinski. On the feasibility of checking temporal integrity constraints. In Proc. of the 12th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS'93), pages 202--213, 1993. Google ScholarGoogle ScholarDigital LibraryDigital Library
  59. J. Chomicki and D. Niwinski. On the feasibility of checking temporal integrity constraints. J. of Computer and System Sciences, 51(3):523--535, 1995. Google ScholarGoogle ScholarDigital LibraryDigital Library
  60. D. Cohn and R. Hull. Business artifacts: A data-centric approach to modeling business operations and processes. Bull. of the IEEE Computer Society Technical Committee on Data Engineering, 32(3):3--9, 2009.Google ScholarGoogle Scholar
  61. E. Damaggio, A. Deutsch, R. Hull, and V. Vianu. Automatic verification of data-centric business processes. In Proc. of the 9th Int. Conference on Business Process Management (BPM 2011), volume 6896 of Lecture Notes in Computer Science, pages 30--16. Springer, 2011. Google ScholarGoogle ScholarDigital LibraryDigital Library
  62. E. Damaggio, A. Deutsch, and V. Vianu. Artifact systems with data dependencies and arithmetic. In Proc. of the 14th Int. Conf. on Database Theory (ICDT 2011), pages 66--77,2011. Google ScholarGoogle ScholarDigital LibraryDigital Library
  63. E. Damaggio, A. Deutsch, and V. Vianu. Artifact systems with data dependencies and arithmetic. ACM Trans. on Database Systems, 37(3):22, 2012. Google ScholarGoogle ScholarDigital LibraryDigital Library
  64. S. B. Davidson, T. Milo, and S. Roy. A propagation model for provenance views of public/private workflows. In Proc. of the 16th Int. Conf. on Database Theory (ICDT 2013), pages 165--176, 2013. Google ScholarGoogle ScholarDigital LibraryDigital Library
  65. H. Davulcu, M. Kifer, C. R. Ramakrishnan, and I. V. Ramakrishnan. Logic based modeling and analysis of workflows. In Proc. of the 17th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS'98), pages 25--33, 1998. Google ScholarGoogle ScholarDigital LibraryDigital Library
  66. G. De Giacomo, R. De Masellis, and R. Rosati. Verification of conjunctive artifact-centric services. Int. J. of Cooperative Information Systems, 21(2):111--139, 2012.Google ScholarGoogle ScholarCross RefCross Ref
  67. G. De Giacomo, Y. Lesperance, and F. Patrizi. Bounded situation calculus action theories and decidable verification. In Proc. of the 13th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2012), pages 467--477, 2012.Google ScholarGoogle Scholar
  68. S. Demri and R. Lazić. LTL with the Freeze quantifier and register automata. In Proc. of the 21st IEEE Symp. on Logic in Computer Science (LICS 2006), pages 17--26, 1996. Google ScholarGoogle ScholarDigital LibraryDigital Library
  69. D. Deutch and T. Milo. A quest for beauty and wealth (or, business processes for database researchers). In Proc. of the 30th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS 2011), pages 1--12, 2011. Google ScholarGoogle ScholarDigital LibraryDigital Library
  70. A. Deutsch, R. Hull, F. Patrizi, and V. Vianu. Automatic verification of data-centric business processes. In Proc. of the 12th Int. Conf. on Database Theory (ICDT 2009), pages 252--267, 2009. Google ScholarGoogle ScholarDigital LibraryDigital Library
  71. A. Deutsch, M. Marcus, L. Sui, V. Vianu, and D. Zhou. A verifier for interactive, data-driven web applications. In Proc. of the ACM SIGMOD Int. Conf. on Management of Data, pages 539--550, 2005. Google ScholarGoogle ScholarDigital LibraryDigital Library
  72. A. Deutsch, L. Sui, and V. Vianu. Specification and verification of data-driven web services. In Proc. of the 23rd ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS 2004), pages 71--82, 2004. Google ScholarGoogle ScholarDigital LibraryDigital Library
  73. A. Deutsch, L. Sui, and V. Vianu. Specification and verification of data-driven web applications. J. of Computer and System Sciences, 73(3):442--474, 2007. Google ScholarGoogle ScholarDigital LibraryDigital Library
  74. A. Deutsch, L. Sui, V. Vianu, and D. Zhou. A system for specification and verification of interactive, data-driven web applications. In Proc. of the ACM SIGMOD Int. Conf. on Management of Data, pages 772--774, 2006. Google ScholarGoogle ScholarDigital LibraryDigital Library
  75. A. Deutsch, L. Sui, V. Vianu, and D. Zhou. Verification of communicating data-driven web services. In Proc. of the 25th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS 2006), pages 90--99, 2006. Google ScholarGoogle ScholarDigital LibraryDigital Library
  76. J. Esparza. Decidability of model checking for infinite-state concurrent systems. Acta Informatica, 34(2):85--107, 1997.Google ScholarGoogle ScholarCross RefCross Ref
  77. J. Esparza. Decidability and complexity of Petri net problems -- An introduction. In Lectures on Petri Nets I, Lecture Notes in Computer Science, pages 374--428. Springer, 1998. Google ScholarGoogle ScholarDigital LibraryDigital Library
  78. X. Fu, T. Bultan, R. Hull, and J. Su. Verification of Vortex workflows. In Proc. of the 7th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2001), volume 2031 of Lecture Notes in Computer Science, pages 143--157. Springer, 2001. Google ScholarGoogle ScholarDigital LibraryDigital Library
  79. D. M. Gabbay, I. Hodkinson, and M. Reynolds. Temporal Logic: Mathematical Foundations and Computational Aspects, volume 28 of Oxford Logic Guides. Oxford University Press, 1994. Google ScholarGoogle ScholarDigital LibraryDigital Library
  80. S. K. Gadia. Weak temporal relations. In Proc. of the 5th ACM SIGACT SIGMOD Symp. on Principles of Database Systems (PODS'86), pages 70--77, 1986. Google ScholarGoogle ScholarDigital LibraryDigital Library
  81. C. E. Gerede and J. Su. Specification and verification of artifact behaviors in business process models. In Proc. of the 5th Int. Conf. on Service Oriented Computing (ICSOC 2007), volume 4749 of Lecture Notes in Computer Science, pages 181--192. Springer, 2007. Google ScholarGoogle ScholarDigital LibraryDigital Library
  82. M. H. Graham, N. D. Griffeth, and B. Smith-Thomas. Reliable scheduling of database transactions for unreliable systems. In Proc. of the 3rd ACM SIGACT SIGMOD Symp. on Principles of Database Systems (PODS'84), pages 300--310, 1984. Google ScholarGoogle ScholarDigital LibraryDigital Library
  83. D. Harel. Recurring dominoes: Making the highly undecidable highly understandable. Ann. of Discrete Mathematics, 24:51--72, 1985.Google ScholarGoogle Scholar
  84. J. M. Hellerstein. The declarative imperative: Experiences and conjectures in distributed logics. SIGMOD Record, 39(1):5--19, 2010. Google ScholarGoogle ScholarDigital LibraryDigital Library
  85. R. Hull. Artifact-centric business process models: Brief survey of research results and challenges. In Proc. of the On the Move Confederated Int. Conf. (OTM 2008), volume 5332 of Lecture Notes in Computer Science, pages 1152--1163. Springer, 2008. Google ScholarGoogle ScholarDigital LibraryDigital Library
  86. R. Hull, M. Benedikt, V. Christophides, and J. Su. E-services: a look behind the curtain. In Proc. of the 22nd ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS 2003), pages 1--14, 2003. Google ScholarGoogle ScholarDigital LibraryDigital Library
  87. R. Hull and J. Su. The Vortex approach to integration and coordination of workflows. In Proc. of the Workshop on Cross-Organisational Workflow Management and Co-ordination, volume 17 of CEUR Electronic Workshop Proceedings, http://ceur-ws.org/, 1999.Google ScholarGoogle Scholar
  88. C. S. Jensen and R. T. Snodgrass. Temporal data management. IEEE Trans. on Knowledge and Data Engineering, 11(1):36--44, 1999. Google ScholarGoogle ScholarDigital LibraryDigital Library
  89. F. Kabanza, J.-M. Stévenne, and P. Wolper. Handling infinite temporal data. In Proc. of the 9th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS'90), pages 392--403, 1990. Google ScholarGoogle ScholarDigital LibraryDigital Library
  90. R. Karel, C. Richardson, and C. Moore. Warning: Don't assume your business processes use master data -- Synchronize your business process and master data strategies. Report, Forrester, Sept. 2009.Google ScholarGoogle Scholar
  91. Z. M. Kedem and A. Tuzhilin. Relational database behavior: Utilizing relational discrete event systems and models. In Proc. of the 8th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS'89), pages 336--346, 1989. Google ScholarGoogle ScholarDigital LibraryDigital Library
  92. P. G. Kolaitis. Schema mappings, data exchange, and metadata management. In Proc. of the 24th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS 2005), pages 61--75, 2005. Google ScholarGoogle ScholarDigital LibraryDigital Library
  93. R. Krishnamurthy and U. Dayal. Theory of serializability for a parallel model of transactions. In Proc. of the 1st ACM SIGACT SIGMOD Symp. on Principles of Database Systems (PODS'82), pages 293--305, 1982. Google ScholarGoogle ScholarDigital LibraryDigital Library
  94. S. Kumaran, R. Liu, and F. Y. Wu. On the duality of information-centric and activity-centric models of business processes. In Proc. of the 20th Int. Conf. on Advanced Information Systems Engineering (CAiSE 2008), pages 32--47, 2008. Google ScholarGoogle ScholarDigital LibraryDigital Library
  95. R. Lazic, T. Newcomb, J. Ouaknine, A. W. Roscoe, and J. Worrell. Nets with tokens which carry data. Fundamenta Informaticae, 88(3):251--274, 2008. Google ScholarGoogle ScholarDigital LibraryDigital Library
  96. U. W. Lipeck. Transformation of dynamic integrity constraints into transaction specifications. In Proc. of the Int. Conf. on Database Theory (ICDT'88), volume 326 of Lecture Notes in Computer Science, pages 322--337. Springer, 1988. Google ScholarGoogle ScholarDigital LibraryDigital Library
  97. R. Liu, K. Bhattacharya, and F. Y. Wu. Modeling business contexture and behavior using business artifacts. In Proc. of the 19th Int. Conf. on Advanced Information Systems Engineering (CAiSE 2007), volume 4495 of Lecture Notes in Computer Science, pages 324--339. Springer, 2007. Google ScholarGoogle ScholarDigital LibraryDigital Library
  98. N. A. Lynch. Concurrency control for resilient nested transactions. In Proc. of the 2nd ACM SIGACT SIGMOD Symp. on Principles of Database Systems (PODS'83), pages 166--181, 1983. Google ScholarGoogle ScholarDigital LibraryDigital Library
  99. J. McCarthy and P. J. Hayes. Some philosophical problems from the standpoint of aritificial intelligence. Machine Intelligence, 4:463--502, 1969.Google ScholarGoogle Scholar
  100. A. Meyer, S. Smirnov, and M. Weske. Data in business processes. Technical Report 50, Hasso-Plattner-Institut for IT Systems Engineering, Universität Potsdam, 2011. Available online at http://opus.kobv.de/ubp/volltexte/2011/5304/.Google ScholarGoogle Scholar
  101. A. Nigam and N. S. Caswell. Business artifacts: An approach to operational specification. IBM Systems Journal, 42(3):428--445, 2003. Google ScholarGoogle ScholarDigital LibraryDigital Library
  102. C. Ouyang, M. Dumas, A. H. M. ter Hofstede, and W. M. P. van der Aalst. From bpmn process models to bpel web services. In Proc. of the 4th IEEE Int. Conf. on Web Services (ICWS 2006), pages 285--292. IEEE Computer Society Press, 2006. Google ScholarGoogle ScholarDigital LibraryDigital Library
  103. P. Picouet and V. Vianu. Semantics and expressiveness issues in active databases. In Proc. of the 14th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS'95), pages 126--138, 1995. Google ScholarGoogle ScholarDigital LibraryDigital Library
  104. P. Picouet and V. Vianu. Expressiveness and complexity of active databases. In Proc. of the 6th Int. Conf. on Database Theory (ICDT'97), volume 1186 of Lecture Notes in Computer Science, pages 155--172. Springer, 1997. Google ScholarGoogle ScholarDigital LibraryDigital Library
  105. M. Reichert. Process and data: Two sides of the same coin? In Proc. of the On the Move Confederated Int. Conf. (OTM 2012), volume 7565 of Lecture Notes in Computer Science, pages 2--19. Springer, 2012.Google ScholarGoogle ScholarCross RefCross Ref
  106. R. Reiter. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. The MIT Press, 2001. Google ScholarGoogle ScholarDigital LibraryDigital Library
  107. A. Reuter, S. Ceri, J. Gray, B. Salzberg, and G. Weikum. Databases and workflow management: What is it all about? (panel). In Proc. of the 21st Int. Conf. on Very Large Data Bases (VLDB'95), page 632, 1995. Google ScholarGoogle ScholarDigital LibraryDigital Library
  108. C. Richardson. Warning: Don't assume your business processes use master data. In Proc. of the 8th Int. Conference on Business Process Management (BPM 2010), volume 6336 of Lecture Notes in Computer Science, pages 11--12. Springer, 2010. Google ScholarGoogle ScholarDigital LibraryDigital Library
  109. K. Schmidt. LoLA: A low level analyser. In Proc. of the 21st Int. Conf. on Application and Theory of Petri Nets (ICATPN 2000), Lecture Notes in Computer Science, pages 465--474. Springer, 2000. Google ScholarGoogle ScholarDigital LibraryDigital Library
  110. K. Schmidt. Using Petri net invariants in state space construction. In Proc. of the 9th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2003), volume 2619 of Lecture Notes in Computer Science, pages 473--488. Springer, 2003. Google ScholarGoogle ScholarDigital LibraryDigital Library
  111. R. T. Snodgrass. The temporal query language TQuel. In Proc. of the 3rd ACM SIGACT SIGMOD Symp. on Principles of Database Systems (PODS'84), pages 204--213, 1984. Google ScholarGoogle ScholarDigital LibraryDigital Library
  112. E. Soisalon-Soininen and D. Wood. An optimal algorithm for testing for safety and detecting deadlocks in locked transaction systems. In Proc. of the 1st ACM SIGACT SIGMOD Symp. on Principles of Database Systems (PODS'82), pages 108--116, 1982. Google ScholarGoogle ScholarDigital LibraryDigital Library
  113. M. Spielmann. Verification of relational transducers for electronic commerce. In Proc. of the 19th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS 2000), pages 92--103, 2000. Google ScholarGoogle ScholarDigital LibraryDigital Library
  114. M. Spielmann. Verification of relational transducers for electronic commerce. J. of Computer and System Sciences, 66(1):40--65, 2003. Google ScholarGoogle ScholarDigital LibraryDigital Library
  115. J. K. Strosnider, P. Nandi, S. Kumaran, S. P. Ghosh, and A. Arsanjani. Model-driven synthesis of SOA solutions. IBM Systems Journal, 47(3):415--432, 2008. Google ScholarGoogle ScholarDigital LibraryDigital Library
  116. J. Su. Letter from the editor of the special issue on management of data-centric business workïnCows. Bull. of the IEEE Computer Society Technical Committee on Data Engineering, 32(3):2, Sept. 2009.Google ScholarGoogle Scholar
  117. J. van Benthem. Temporal logic. In D. Gabbay, C. Hogger, and J. Robinson, editors, Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 4, pages 241--350. Oxford Scientific Publishers, 1996. Google ScholarGoogle ScholarDigital LibraryDigital Library
  118. W. M. P. van der Aalst. A decade of business process management conferences: Personal reflections on a developing discipline. In Proc. of the 10th Int. Conference on Business Process Management (BPM 2012), volume 7481 of Lecture Notes in Computer Science, pages 1--16. Springer, 2012. Google ScholarGoogle ScholarDigital LibraryDigital Library
  119. W. M. P. van der Aalst and C. Stahl. Modeling Business Processes: a Petri Net-Oriented Approach. The MIT Press, 2011. Google ScholarGoogle ScholarDigital LibraryDigital Library
  120. W. M. P. van der Aalst, M. Weske, and D. Grünbauer. Case handling: A new paradigm for business process support. Data and Knowledge Engineering, 53(2):129--162, 2005. Google ScholarGoogle ScholarDigital LibraryDigital Library
  121. M. Y. Vardi. A temporal fixpoint calculus. In Proc. of the 15th ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages (POPL'88), pages 250--259, 1988. Google ScholarGoogle ScholarDigital LibraryDigital Library
  122. M. Y. Vardi. Model checking for database theoreticians. In Proc. of the 10th Int. Conf. on Database Theory (ICDT 2005), volume 3363 of Lecture Notes in Computer Science, pages 1--16. Springer, 2005. Google ScholarGoogle ScholarDigital LibraryDigital Library
  123. V. Vianu. Dynamic constraints and database evolution. In Proc. of the 2nd ACM SIGACT SIGMOD Symp. on Principles of Database Systems (PODS'83), pages 389--399, 1983. Google ScholarGoogle ScholarDigital LibraryDigital Library
  124. V. Vianu. Dynamic Constraints and Database Evolution. PhD thesis, University of Southern California, 1983. Google ScholarGoogle ScholarDigital LibraryDigital Library
  125. V. Vianu. Object projection views in the dynamic relational model. In Proc. of the 3rd ACM SIGACT SIGMOD Symp. on Principles of Database Systems (PODS'84), pages 214--220, 1984. Google ScholarGoogle ScholarDigital LibraryDigital Library
  126. V. Vianu. Automatic verification of database-driven systems: a new frontier. In Proc. of the 12th Int. Conf. on Database Theory (ICDT 2009), pages 1--13, 2009. Google ScholarGoogle ScholarDigital LibraryDigital Library
  127. T. Yoneda, A. Shibayama, B.-H. Schlingloff, and E. M. Clarke. Efficient verification of parallel real-time systems. In Proc. of the 5th Int. Conf. on Computer Aided Verification (CAV'93), volume 697 of Lecture Notes in Computer Science, pages 321--346. Springer, 1993. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Foundations of data-aware process analysis: a database theory perspective

            Recommendations

            Comments

            Login options

            Check if you have access through your login credentials or your institution to get full access on this article.

            Sign in
            • Published in

              cover image ACM Conferences
              PODS '13: Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGAI symposium on Principles of database systems
              June 2013
              334 pages
              ISBN:9781450320665
              DOI:10.1145/2463664
              • General Chair:
              • Richard Hull,
              • Program Chair:
              • Wenfei Fan

              Copyright © 2013 ACM

              Publisher

              Association for Computing Machinery

              New York, NY, United States

              Publication History

              • Published: 22 June 2013

              Permissions

              Request permissions about this article.

              Request Permissions

              Check for updates

              Qualifiers

              • research-article

              Acceptance Rates

              PODS '13 Paper Acceptance Rate24of97submissions,25%Overall Acceptance Rate476of1,835submissions,26%

            PDF Format

            View or Download as a PDF file.

            PDF

            eReader

            View online with eReader.

            eReader
            About Cookies On This Site

            We use cookies to ensure that we give you the best experience on our website.

            Learn more

            Got it!