Comparing workflow specification languages: a matter of views
Proceedings of the 14th International Conference on Database Theory
Introducing the guard-stage-milestone approach for specifying business entity lifecycles
WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
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
Foundations of relational artifacts verification
BPM'11 Proceedings of the 9th international conference on Business process management
BPM'11 Proceedings of the 9th international conference on Business process management
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)
Finding optimal probabilistic generators for XML collections
Proceedings of the 15th International Conference on Database Theory
Ontology-based governance of data-aware processes
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
When data, knowledge and processes meet together
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
Verification of relational data-centric dynamic systems with external services
Proceedings of the 32nd symposium on Principles of database systems
Foundations of data-aware process analysis: a database theory perspective
Proceedings of the 32nd symposium on Principles of database systems
| Hi-index | 0.00 |
Towards a data-centric workflow approach, we introduce an artifact model to capture data and workflow management activities in distributed settings. The model is built on Active XML, i.e., XML trees including Web service calls. We argue that the model captures the essential features of business artifacts as described informally in [1] or discussed in [2]. To illustrate, we briefly consider the monitoring of distributed systems and the verification of temporal properties for them.