research-article

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

Authors:

Diego Calvanese,

Giuseppe De Giacomo,

Marco MontaliAuthors Info & Claims

PODS '13: Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGAI symposium on Principles of database systems

Pages 1 - 12

https://doi.org/10.1145/2463664.2467796

Published: 22 June 2013 Publication 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.

Digital 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.

Digital 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.

Digital 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.

Digital 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.

Digital 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.

Digital Library

[7]

S. Abiteboul and R. Hull. IFO: A formal semantic database model. ACM Trans. on Database Systems, 12(4):297--314, 1987.

Digital Library

[8]

S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison Wesley Publ. Co., 1995.

Digital 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.

Digital 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.

[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.

Digital 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.

Digital 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.

Digital 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.

Digital 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.

Digital 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.

Digital Library

[17]

S. Abiteboul and V. Vianu. Equivalence and optimization of relational transactions. J. of the ACM, 35(1):70--120, 1988.

Digital 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.

Digital 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.

Digital 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.

Digital 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.

Digital Library

[22]

J. F. Allen. Maintaining knowledge about temporal intervals. Communications of the ACM, 26(11):832--843, 1983.

Digital 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.

Digital 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.

Digital 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.

[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.

Digital Library

[27]

C. Baier and J.-P. Katoen. Principles of Model Checking. MIT Press, 2008.

Digital 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.

Digital 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.

Digital 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.

Digital 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.

Digital 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.

Digital Library

[33]

M. Baudinet. On the expressiveness of temporal logic programming. Information and Computation, 117(2):157--180, 1995.

Digital 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.

Digital 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.

Digital Library

[36]

C. Beeri, A. Eyal, S. Kamenkovich, and T. Milo. Querying business processes with BP-QL. Information Systems, 33(6):477--507, 2008.

Digital 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.

Digital 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.

[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.

Digital 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.

Digital 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.

Digital 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.

Digital 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.

Digital 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.

Digital 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.

Digital 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.

Digital 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.

Digital Library

[48]

A. Bouajjani, P. Habermehl, and R. Mayr. Automatic verification of recursive procedures with one integer parameter. Theoretical Computer Science, 295, 2003.

Digital 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.

Digital Library

[50]

O. Burkart, D. Caucal, F. Moller, and B. Steffen. Verification of infinite structures. In Handbook of Process Algebra. Elsevier, 2001.

[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.

[52]

A. K. Chandra and D. Harel. Computable queries for relational data bases. J. of Computer and System Sciences, 21(2):156--178, 1980.

[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.

Digital 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.

[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.

Digital Library

[56]

J. Chomicki. Efficient checking of temporal integrity constraints using bounded history encoding. ACM Trans. on Database Systems, 20(2):149--186, 1995.

Digital 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.

Digital 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.

Digital 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.

Digital 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.

[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.

Digital 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.

Digital 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.

Digital 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.

Digital 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.

Digital 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.

[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.

[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.

Digital 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.

Digital 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.

Digital 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.

Digital 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.

Digital 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.

Digital 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.

Digital 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.

Digital Library

[76]

J. Esparza. Decidability of model checking for infinite-state concurrent systems. Acta Informatica, 34(2):85--107, 1997.

[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.

Digital 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.

Digital 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.

Digital 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.

Digital 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.

Digital 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.

Digital Library

[83]

D. Harel. Recurring dominoes: Making the highly undecidable highly understandable. Ann. of Discrete Mathematics, 24:51--72, 1985.

[84]

J. M. Hellerstein. The declarative imperative: Experiences and conjectures in distributed logics. SIGMOD Record, 39(1):5--19, 2010.

Digital 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.

Digital 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.

Digital 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.

[88]

C. S. Jensen and R. T. Snodgrass. Temporal data management. IEEE Trans. on Knowledge and Data Engineering, 11(1):36--44, 1999.

Digital 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.

Digital 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.

[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.

Digital 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.

Digital 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.

Digital 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.

Digital 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.

Digital 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.

Digital 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.

Digital 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.

Digital Library

[99]

J. McCarthy and P. J. Hayes. Some philosophical problems from the standpoint of aritificial intelligence. Machine Intelligence, 4:463--502, 1969.

[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/.

[101]

A. Nigam and N. S. Caswell. Business artifacts: An approach to operational specification. IBM Systems Journal, 42(3):428--445, 2003.

Digital 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.

Digital 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.

Digital 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.

Digital 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.

[106]

R. Reiter. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. The MIT Press, 2001.

Digital 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.

Digital 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.

Digital 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.

Digital 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.

Digital 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.

Digital 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.

Digital 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.

Digital Library

[114]

M. Spielmann. Verification of relational transducers for electronic commerce. J. of Computer and System Sciences, 66(1):40--65, 2003.

Digital 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.

Digital 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.

[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.

Digital 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.

Digital Library

[119]

W. M. P. van der Aalst and C. Stahl. Modeling Business Processes: a Petri Net-Oriented Approach. The MIT Press, 2011.

Digital 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.

Digital 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.

Digital 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.

Digital 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.

Digital Library

[124]

V. Vianu. Dynamic Constraints and Database Evolution. PhD thesis, University of Southern California, 1983.

Digital 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.

Digital 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.

Digital 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.

Digital Library

Cited By

Aiswarya CCalvanese DDi Cosmo FMontali M(2024)Verification of Unary Communicating Datalog ProgramsProceedings of the ACM on Management of Data10.1145/36515902:2(1-26)Online publication date: 14-May-2024
https://dl.acm.org/doi/10.1145/3651590
Ghilardi SGianola AMontali MRivkin AElkind E(2023)Safety verification and universal invariants for relational action basesProceedings of the Thirty-Second International Joint Conference on Artificial Intelligence10.24963/ijcai.2023/362(3248-3257)Online publication date: 19-Aug-2023
https://dl.acm.org/doi/10.24963/ijcai.2023/362
Chacko JMayer RJacobsen H(2023)How To Optimize My Blockchain? A Multi-Level Recommendation ApproachProceedings of the ACM on Management of Data10.1145/35887041:1(1-27)Online publication date: 30-May-2023
https://dl.acm.org/doi/10.1145/3588704
Show More Cited By

Index Terms

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

Recommendations

The Relational Process Structure
Advanced Information Systems Engineering
Abstract
Using data-centric process paradigms, small processes such as artifacts, object lifecycles, or Proclets have become an alternative to large, monolithic models. In these paradigms, a business process arises from the interactions between small ...
Data management perspectives on business process management: tutorial overview
SIGMOD '13: Proceedings of the 2013 ACM SIGMOD International Conference on Management of Data

Traditional approaches to Business Process Management (BPM) focus primarily on the process aspects, and treat the persistent data accessed and manipulated by the business processes as second class citizens. A recent approach to BPM, based on "business ...
Lifecycle-Based Process Performance Analysis
On the Move to Meaningful Internet Systems. OTM 2018 Conferences
Abstract
Many business processes are supported by information systems that record their execution. Process mining techniques extract knowledge and insights from such process execution data typically stored in event logs or streams. Most process mining ...

Comments

Information & Contributors

Information

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
IBM T.J. Watson Research Center, USA
,
Program Chair:
Wenfei Fan
University of Edinburgh, UK

Copyright © 2013 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGMOD: ACM Special Interest Group on Management of Data

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 22 June 2013

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

SIGMOD/PODS'13

Sponsor:

SIGMOD

SIGMOD/PODS'13: International Conference on Management of Data

June 22 - 27, 2013

New York, New York, USA

Acceptance Rates

PODS '13 Paper Acceptance Rate 24 of 97 submissions, 25%;

Overall Acceptance Rate 642 of 2,707 submissions, 24%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

88
Total Citations
View Citations
509
Total Downloads

Downloads (Last 12 months)24
Downloads (Last 6 weeks)1

Reflects downloads up to 09 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Aiswarya CCalvanese DDi Cosmo FMontali M(2024)Verification of Unary Communicating Datalog ProgramsProceedings of the ACM on Management of Data10.1145/36515902:2(1-26)Online publication date: 14-May-2024
https://dl.acm.org/doi/10.1145/3651590
Ghilardi SGianola AMontali MRivkin AElkind E(2023)Safety verification and universal invariants for relational action basesProceedings of the Thirty-Second International Joint Conference on Artificial Intelligence10.24963/ijcai.2023/362(3248-3257)Online publication date: 19-Aug-2023
https://dl.acm.org/doi/10.24963/ijcai.2023/362
Chacko JMayer RJacobsen H(2023)How To Optimize My Blockchain? A Multi-Level Recommendation ApproachProceedings of the ACM on Management of Data10.1145/35887041:1(1-27)Online publication date: 30-May-2023
https://dl.acm.org/doi/10.1145/3588704
Dumas MFournier FLimonad LMarrella AMontali MRehse JAccorsi RCalvanese DDe Giacomo GFahland DGal ALa Rosa MVölzer HWeber I(2023)AI-augmented Business Process Management Systems: A Research ManifestoACM Transactions on Management Information Systems10.1145/357604714:1(1-19)Online publication date: 31-Jan-2023
https://dl.acm.org/doi/10.1145/3576047
Mackey ISu J(2023)Mapping singly-linked rules to linear temporal logic formulasInformation Systems10.1016/j.is.2023.102222117:COnline publication date: 1-Jul-2023
https://dl.acm.org/doi/10.1016/j.is.2023.102222
Schüler TMennicke SLochau M(2023)Abstract Domains for Database Manipulating ProcessesRules and Reasoning10.1007/978-3-031-45072-3_16(222-237)Online publication date: 18-Sep-2023
https://dl.acm.org/doi/10.1007/978-3-031-45072-3_16
Combi COliboni BZerbato F(2022)Integrated Exploration of Data-Intensive Business Processes [Extended Abstract]2022 IEEE World Congress on Services (SERVICES)10.1109/SERVICES55459.2022.00038(25-25)Online publication date: Jul-2022
https://doi.org/10.1109/SERVICES55459.2022.00038
Akroun LBenatallah BNourine LToumani F(2022)Decidability and Complexity of Simulation Preorder for Data-Centric Web ServicesService-Oriented Computing10.1007/978-3-662-45391-9_46(535-542)Online publication date: 11-Mar-2022
https://dl.acm.org/doi/10.1007/978-3-662-45391-9_46
Benedikt M(2022)The Past and Future of Embedded Finite Model TheoryReachability Problems10.1007/978-3-031-19135-0_3(37-46)Online publication date: 17-Oct-2022
https://dl.acm.org/doi/10.1007/978-3-031-19135-0_3
Felli PMontali MWinkler S(2022)CTL Model Checking for Data-Aware Dynamic Systems with ArithmeticAutomated Reasoning10.1007/978-3-031-10769-6_4(36-56)Online publication date: 8-Aug-2022
https://dl.acm.org/doi/10.1007/978-3-031-10769-6_4
Show More Cited By

View Options

Get Access

Login options

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

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents