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.
- M. Abadi and Z. Manna. Temporal logic programming. J. of Symbolic Computation, 8(3):277--295, 1989. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- S. Abiteboul and R. Hull. IFO: A formal semantic database model. ACM Trans. on Database Systems, 12(4):297--314, 1987. Google Scholar
Digital Library
- S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison Wesley Publ. Co., 1995. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- S. Abiteboul and V. Vianu. Equivalence and optimization of relational transactions. J. of the ACM, 35(1):70--120, 1988. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- J. F. Allen. Maintaining knowledge about temporal intervals. Communications of the ACM, 26(11):832--843, 1983. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
- 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 Scholar
Digital Library
- C. Baier and J.-P. Katoen. Principles of Model Checking. MIT Press, 2008. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- M. Baudinet. On the expressiveness of temporal logic programming. Information and Computation, 117(2):157--180, 1995. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- C. Beeri, A. Eyal, S. Kamenkovich, and T. Milo. Querying business processes with BP-QL. Information Systems, 33(6):477--507, 2008. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- A. Bouajjani, P. Habermehl, and R. Mayr. Automatic verification of recursive procedures with one integer parameter. Theoretical Computer Science, 295, 2003. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- O. Burkart, D. Caucal, F. Moller, and B. Steffen. Verification of infinite structures. In Handbook of Process Algebra. Elsevier, 2001.Google Scholar
Cross Ref
- 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 Scholar
Cross Ref
- A. K. Chandra and D. Harel. Computable queries for relational data bases. J. of Computer and System Sciences, 21(2):156--178, 1980.Google Scholar
Cross Ref
- 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 Scholar
Digital Library
- 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 Scholar
- 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 Scholar
Digital Library
- J. Chomicki. Efficient checking of temporal integrity constraints using bounded history encoding. ACM Trans. on Database Systems, 20(2):149--186, 1995. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- E. Damaggio, A. Deutsch, and V. Vianu. Artifact systems with data dependencies and arithmetic. ACM Trans. on Database Systems, 37(3):22, 2012. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Cross Ref
- 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 Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- J. Esparza. Decidability of model checking for infinite-state concurrent systems. Acta Informatica, 34(2):85--107, 1997.Google Scholar
Cross Ref
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- D. Harel. Recurring dominoes: Making the highly undecidable highly understandable. Ann. of Discrete Mathematics, 24:51--72, 1985.Google Scholar
- J. M. Hellerstein. The declarative imperative: Experiences and conjectures in distributed logics. SIGMOD Record, 39(1):5--19, 2010. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
- C. S. Jensen and R. T. Snodgrass. Temporal data management. IEEE Trans. on Knowledge and Data Engineering, 11(1):36--44, 1999. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- J. McCarthy and P. J. Hayes. Some philosophical problems from the standpoint of aritificial intelligence. Machine Intelligence, 4:463--502, 1969.Google Scholar
- 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 Scholar
- A. Nigam and N. S. Caswell. Business artifacts: An approach to operational specification. IBM Systems Journal, 42(3):428--445, 2003. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Cross Ref
- R. Reiter. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. The MIT Press, 2001. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- M. Spielmann. Verification of relational transducers for electronic commerce. J. of Computer and System Sciences, 66(1):40--65, 2003. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- W. M. P. van der Aalst and C. Stahl. Modeling Business Processes: a Petri Net-Oriented Approach. The MIT Press, 2011. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- V. Vianu. Dynamic Constraints and Database Evolution. PhD thesis, University of Southern California, 1983. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
Index Terms
Foundations of data-aware process analysis: a database theory perspective
Recommendations
The Relational Process Structure
Advanced Information Systems EngineeringAbstractUsing 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 DataTraditional 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 ...
Synthesis of Artifact Lifecycles from Activity-centric Process Models
EDOC '15: Proceedings of the 2015 IEEE 19th International Enterprise Distributed Object Computing ConferenceIn recent years, artifact-centric business process modeling is gaining momentum with its improved flexibility and extensibility. In order to support the rapid translation of the traditional activity-centric processes into this new type of processes, ...






Comments