Statecharts: A visual formalism for complex systems
Science of Computer Programming
Handbook of theoretical computer science (vol. B)
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Symbolic model checking: 1020 states and beyond
Information and Computation - Special issue: Selections from 1990 IEEE symposium on logic in computer science
Relational transducers for electronic commerce
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Linear and Context-Free Graph Grammars
Journal of the ACM (JACM)
On Communicating Finite-State Machines
Journal of the ACM (JACM)
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
Designing Data-Intensive Web Applications
Designing Data-Intensive Web Applications
Why and Where: A Characterization of Data Provenance
ICDT '01 Proceedings of the 8th International Conference on Database Theory
Model Checking of Unrestricted Hierarchical State Machines
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
Graph grammars with node-label controlled rewriting and embedding
Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science
Specifying Application-level Security in Workflow Systems
DEXA '98 Proceedings of the 9th International Workshop on Database and Expert Systems Applications
Verification of relational transducers for electronic commerce
Journal of Computer and System Sciences - Special issue on PODS 2000
Workflow mining: a survey of issues and approaches
Data & Knowledge Engineering
Computers in Industry - Special issue: Process/workflow mining
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
A verifier for interactive, data-driven web applications
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
Analysis of recursive state machines
ACM Transactions on Programming Languages and Systems (TOPLAS)
Proceedings of the eleventh ACM SIGKDD international conference on Knowledge discovery in data mining
Tools for composite web services: a short overview
ACM SIGMOD Record
State-Space Optimization of ETL Workflows
IEEE Transactions on Knowledge and Data Engineering
Analyzing Conversations of Web Services
IEEE Internet Computing
Verification of communicating data-driven web services
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A unified platform for data driven web applications with automatic client-server partitioning
Proceedings of the 16th international conference on World Wide Web
Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
Monitoring business processes with queries
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
An approach to optimize data processing in business processes
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
Update exchange with mappings and provenance
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
On the complexity of partial order trace model checking
Information Processing Letters
Annotated XML: queries and provenance
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On the expressiveness of implicit provenance in query and update languages
ACM Transactions on Database Systems (TODS)
Type inference and type checking for queries on execution traces
Proceedings of the VLDB Endowment
On the provenance of non-answers to queries over extracted data
Proceedings of the VLDB Endowment
Recursive Markov chains, stochastic grammars, and monotone systems of nonlinear equations
Journal of the ACM (JACM)
Siena: From PowerPoint to Web App in 5 Minutes
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Automatic verification of database-driven systems: a new frontier
Proceedings of the 12th International Conference on Database Theory
Automatic construction of simple artifact-based business processes
Proceedings of the 12th International Conference on Database Theory
TOP-K projection queries for probabilistic business processes
Proceedings of the 12th International Conference on Database Theory
Evaluating TOP-K Queries over Business Processes
ICDE '09 Proceedings of the 2009 IEEE International Conference on Data Engineering
Static analysis of active XML systems
ACM Transactions on Database Systems (TODS)
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
TIME '09 Proceedings of the 2009 16th International Symposium on Temporal Representation and Reasoning
Efficient querying and maintenance of network provenance at internet-scale
Proceedings of the 2010 ACM SIGMOD International Conference on Management of data
An optimal labeling scheme for workflow provenance using skeleton labels
Proceedings of the 2010 ACM SIGMOD International Conference on Management of data
Privacy issues in scientific workflow provenance
Proceedings of the 1st International Workshop on Workflow Approaches to New Data-centric Science
A graph model of data and workflow provenance
TAPP'10 Proceedings of the 2nd conference on Theory and practice of provenance
Probabilistic XML via Markov Chains
Proceedings of the VLDB Endowment
Optimal top-k query evaluation for weighted business processes
Proceedings of the VLDB Endowment
Comparing workflow specification languages: a matter of views
Proceedings of the 14th International Conference on Database Theory
On the expressiveness of implicit provenance in query and update languages
ICDT'07 Proceedings of the 11th international conference on Database Theory
Algorithmic verification of recursive probabilistic state machines
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Mining workflow recovery from event based logs
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Recognizable sets of graphs, hypergraphs and relational structures: a survey
DLT'04 Proceedings of the 8th international conference on Developments in Language Theory
Efficient external-memory bisimulation on DAGs
SIGMOD '12 Proceedings of the 2012 ACM SIGMOD International Conference on Management of Data
BPMN-based conceptual modeling of ETL processes
DaWaK'12 Proceedings of the 14th international conference on Data Warehousing and Knowledge Discovery
A propagation model for provenance views of public/private workflows
Proceedings of the 16th International Conference on Database Theory
Foundations of data-aware process analysis: a database theory perspective
Proceedings of the 32nd symposium on Principles of database systems
Hi-index | 0.00 |
While classic data management focuses on the data itself, research on Business Processes considers also the context in which this data is generated and manipulated, namely the processes, the users, and the goals that this data serves. This allows the analysts a better perspective of the organizational needs centered around the data. As such, this research is of fundamental importance. Much of the success of database systems in the last decade is due to the beauty and elegance of the relational model and its declarative query languages, combined with a rich spectrum of underlying evaluation and optimization techniques, and efficient implementations. This, in turn, has lead to an economic wealth for both the users and vendors of database systems. Similar beauty and wealth are sought for in the context of Business Processes. Much like the case for traditional database research, elegant modeling and rich underlying technology are likely to bring economic wealth for the Business Process owners and their users; both can benefit from easy formulation and analysis of the processes. While there have been many important advances in this research in recent years, there is still much to be desired: specifically, there have been many works that focus on the processes behavior (flow), and many that focus on its data, but only very few works have dealt with both. We will discuss here the important advantages of a holistic flow-and-data framework for Business Processes, the progress towards such a framework, and highlight the current gaps and research directions.