Statecharts: A visual formalism for complex systems
Science of Computer Programming
Handbook of theoretical computer science (vol. B)
An overview of workflow management: from process modeling to workflow automation infrastructure
Distributed and Parallel Databases - Special issue on software support for work flow management
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
Modeling and Analysis of Workflows Using Petri Nets
Journal of Intelligent Information Systems - Special issue on workflow management systems
Declarative workflows that support easy modification and dynamic browsing
WACC '99 Proceedings of the international joint conference on Work activities coordination and collaboration
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
On XML integrity constraints in the presence of DTDs
PODS '01 Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Simulation, verification and automated composition of web services
Proceedings of the 11th international conference on World Wide Web
Communication and Concurrency
On verifying consistency of XML specifications
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
IEEE Intelligent Systems
A Framework for Optimizing Distributed Workflow Executions
DBPL '99 Revised Papers from the 7th International Workshop on Database Programming Languages: Research Issues in Structured and Semistructured Database Programming
Verification of relational transducers for electronic commerce
Journal of Computer and System Sciences - Special issue on PODS 2000
XML with data values: typechecking revisited
Journal of Computer and System Sciences - Special issu on PODS 2001
Finite state machines for strings over infinite alphabets
ACM Transactions on Computational Logic (TOCL)
Business artifacts: An approach to operational specification
IBM Systems Journal
Analysis of recursive state machines
ACM Transactions on Programming Languages and Systems (TOPLAS)
Two-Variable Logic on Words with Data
LICS '06 Proceedings of the 21st Annual IEEE Symposium on Logic in Computer Science
Specification and verification of data-driven Web applications
Journal of Computer and System Sciences
Static Analysis of Business Artifact-centric Operational Models
SOCA '07 Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications
Static analysis of XML processing with data values
ACM SIGMOD Record
Static analysis of active XML systems
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
The Active XML project: an overview
The VLDB Journal — The International Journal on Very Large Data Bases
Specification and Verification of Artifact Behaviors in Business Process Models
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
LTL with the freeze quantifier and register automata
ACM Transactions on Computational Logic (TOCL)
Automatic construction of simple artifact-based business processes
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
TIME '09 Proceedings of the 2009 16th International Symposium on Temporal Representation and Reasoning
Artifact-Centric Workflow Dominance
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
Towards formal analysis of artifact-centric business process models
BPM'07 Proceedings of the 5th international conference on Business process management
A framework for document-driven workflow systems
BPM'05 Proceedings of the 3rd international conference on Business Process Management
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
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)
Highly expressive query languages for unordered data trees
Proceedings of the 15th 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 |
We address the problem of comparing the expressiveness of workflow specification formalisms using a notion of view of a workflow. Views allow to compare widely different workflow systems by mapping them to a common representation capturing the observables relevant to the comparison. Using this framework, we compare the expressiveness of several workflow specification mechanisms, including automata, temporal constraints, and pre-and-post conditions, with XML and relational databases as underlying data models. One surprising result shows the considerable power of static constraints to simulate apparently much richer workflow control mechanisms.