PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
Deciding properties of transactional schemas
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
A translation language complete for database update and specification
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
IFO: a formal semantic database model
ACM Transactions on Database Systems (TODS)
Equivalence and optimization of relational transactions
Journal of the ACM (JACM)
Transformation of dynamic integrity constraints into transaction specifications
Lecture notes in computer science on ICDT '88
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Relational database behavior: utilizing relational discrete event systems and models
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Temporal logic programming is complete and expressive
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Journal of Symbolic Computation
On the representation of infinite temporal data and queries (extended abstract)
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Behavior of database production rules: termination, confluence, and observable determinism
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
On the feasibility of checking temporal integrity constraints
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Temporal logic (vol. 1): mathematical foundations and computational aspects
Temporal logic (vol. 1): mathematical foundations and computational aspects
On the expressiveness of temporal logic programming
Information and Computation
Efficient checking of temporal integrity constraints using bounded history encoding
ACM Transactions on Database Systems (TODS)
Handbook of logic in artificial intelligence and logic programming (Vol. 4)
On the feasibility of checking temporal integrity constraints
Journal of Computer and System Sciences - Special issue on selected papers presented at the 24th annual ACM symposium on the theory of computing (STOC '92)
Semantics and expressiveness issues in active databases (extended abstract)
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Temporal versus first-order logic to query temporal databases
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Verifiable properties of database transactions
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Logic based modeling and analysis of workflows
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Relational transducers for electronic commerce
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Decidability and undecidability results for the termination problem of active database rules
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Handling infinite temporal data
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Workflow, transactions and datalog
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Temporal deductive databases and infinite objects
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Procedural and declarative database update languages
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
Transactions and integrity constraints
PODS '85 Proceedings of the fourth ACM SIGACT-SIGMOD symposium on Principles of database systems
Verification of relational tranducers for electronic commerce
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Maintaining knowledge about temporal intervals
Communications of the ACM
Relational transducers for electronic commerce
Journal of Computer and System Sciences - Special issue on the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on principles of database systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
The temporal query language TQuel
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
Object projection views in the dynamic relational model
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
Reliable scheduling of database transactions for unreliable systems
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
Concurrency control for resilient nested transactions
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
Dynamic constraints and database evolution
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
An optimal algorithm for testing for safety and detecting deadlocks in locked transaction systems
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
Theory of serializablity for a parallel model of transactions
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
IEEE Transactions on Knowledge and Data Engineering
Expressiveness and Complexity of Active Databases
ICDT '97 Proceedings of the 6th International Conference on Database Theory
Structural Issues in Active Rule Systems
ICDT '97 Proceedings of the 6th International Conference on Database Theory
Temporal Query Languages: A Survey
ICTL '94 Proceedings of the First International Conference on Temporal Logic
Transactions in Relational Databases (Preliminary Report)
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
Databases and Workflow Management: What is it All About? (Panel)
VLDB '95 Proceedings of the 21th International Conference on Very Large Data Bases
Verification of Vortex Workflows
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Decidability and Complexity of Petri Net Problems - An Introduction
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Efficient Verification of Parallel Real-Time Systems
CAV '93 Proceedings of the 5th International Conference on Computer Aided Verification
Abstract Interpretation of Active Rules and its Use in Termination Analysis
ICDT '97 Proceedings of the 6th International Conference on Database Theory
Automatic verification of recursive procedures with one integer parameter
Theoretical Computer Science - Mathematical foundations of computer science
E-services: a look behind the curtain
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Verification of relational transducers for electronic commerce
Journal of Computer and System Sciences - Special issue on PODS 2000
Dynamic constraints and database evolution
Dynamic constraints and database evolution
Business artifacts: An approach to operational specification
IBM Systems Journal
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Specification and verification of data-driven web services
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Schema mappings, data exchange, and metadata management
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A verifier for interactive, data-driven web applications
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
Case handling: a new paradigm for business process support
Data & Knowledge Engineering
Automatic composition of transition-based semantic web services with messaging
VLDB '05 Proceedings of the 31st international conference on Very large data bases
Verification of communicating data-driven web services
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A system for specification and verification of interactive, data-driven web applications
Proceedings of the 2006 ACM SIGMOD international conference on Management of data
LTL with the Freeze Quantifier and Register Automata
LICS '06 Proceedings of the 21st Annual IEEE Symposium on Logic in Computer Science
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
From BPMN Process Models to BPEL Web Services
ICWS '06 Proceedings of the IEEE International Conference on Web Services
Specification and verification of data-driven Web applications
Journal of Computer and System Sciences
Principles of Model Checking (Representation and Mind Series)
Principles of Model Checking (Representation and Mind Series)
Artifact-centered operational modeling: lessons from customer engagements
IBM Systems Journal
Static analysis of active XML systems
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Querying business processes with BP-QL
Information Systems
FCT '07 Proceedings of the 16th international symposium on Fundamentals of Computation Theory
Specification and Verification of Artifact Behaviors in Business Process Models
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
On the Duality of Information-Centric and Activity-Centric Models of Business Processes
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
Efficient Compliance Checking Using BPMN-Q and Temporal Logic
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Model-driven synthesis of SOA solutions
IBM Systems Journal
Artifact-Centric Business Process Models: Brief Survey of Research Results and Challenges
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part II on On the Move to Meaningful Internet Systems
Nets with Tokens which Carry Data
Fundamenta Informaticae - PETRI NETS 2007
Automatic verification of database-driven systems: a new frontier
Proceedings of the 12th International Conference on Database Theory
Automatic verification of data-centric business processes
Proceedings of the 12th International Conference on Database Theory
Static analysis of active XML systems
ACM Transactions on Database Systems (TODS)
TIME '09 Proceedings of the 2009 16th International Symposium on Temporal Representation and Reasoning
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Using Petri net invariants in state space construction
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Modeling business contexture and behavior using business artifacts
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
Towards formal analysis of artifact-centric business process models
BPM'07 Proceedings of the 5th international conference on Business process management
Warning: don't assume your business processes use master data
BPM'10 Proceedings of the 8th international conference on Business process management
Artifact systems with data dependencies and arithmetic
Proceedings of the 14th International Conference on Database Theory
Comparing workflow specification languages: a matter of views
Proceedings of the 14th International Conference on Database Theory
Two-variable logic on data words
ACM Transactions on Computational Logic (TOCL)
A quest for beauty and wealth (or, business processes for database researchers)
Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Modeling Business Processes: A Petri Net-Oriented Approach
Modeling Business Processes: A Petri Net-Oriented Approach
Automatic verification of data-centric business processes
BPM'11 Proceedings of the 9th international conference on Business process management
Foundations of relational artifacts verification
BPM'11 Proceedings of the 9th international conference on Business process management
Model checking for database theoreticians
ICDT'05 Proceedings of the 10th international conference on Database Theory
Verification of deployed artifact systems via data abstraction
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
The ERC webdam on foundations of web data management
Proceedings of the 21st international conference companion on World Wide Web
Comparing workflow specification languages: A matter of views
ACM Transactions on Database Systems (TODS)
Artifact systems with data dependencies and arithmetic
ACM Transactions on Database Systems (TODS)
Labeling workflow views with fine-grained dependencies
Proceedings of the VLDB Endowment
Toward model theory with data values
ICALP'12 Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part II
A decade of business process management conferences: personal reflections on a developing discipline
BPM'12 Proceedings of the 10th international conference on Business Process Management
A propagation model for provenance views of public/private workflows
Proceedings of the 16th International Conference on Database Theory
Verification of relational data-centric dynamic systems with external services
Proceedings of the 32nd symposium on Principles of database systems
Description logic knowledge and action bases
Journal of Artificial Intelligence Research
Hi-index | 0.00 |
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.