Updates and subjunctive queries
Nonstandard queries and nonstandard answers
Logic based modeling and analysis of workflows
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The P2P Approach to Interorganizational Workflows
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
A model to support collaborative work in virtual enterprises
Data & Knowledge Engineering - Special issue: Advances in business process management
The view-based approach to dynamic inter-organizational workflow cooperation
Data & Knowledge Engineering
Reasoning about the behavior of Semantic Web services with concurrent transaction logic
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
From process logic to business logic-A cognitive approach to business process management
Information and Management
| Hi-index | 0.00 |
The Future Internet predicts more and more networked devices on the Internet. These devices interact, exchange knowledge, and cooperate in a dynamic environment, changing their states. Each state change may be signified by an event. In scenarios, where a number of devices collaborate on a common goal, it is a challenge to capture relevant complex changes, and abstract them in particular collaboration situations. Further on, it is even more challenging to put those changes in a relevant context, and to reason about collaboration situations before adequately reacting on events (changes). We present a novel event-driven reactivity model for Future Internet collaborations. We implement a flexible collaborative workflow in a declarative way, solving before mentioned challenges. Particularly, Concurrent Transaction Logic is used for specification, reasoning, and execution of ad-hoc collaborative workflows.