Atomicity and isolation for transactional processes
ACM Transactions on Database Systems (TODS)
Workflow View Based E-Contracts in a Cross-Organizational E-Services Environment
Distributed and Parallel Databases
A Formalism for Extended Transaction Model
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
WWW '03 Proceedings of the 12th international conference on World Wide Web
A Multi-Level Model for Web Service Composition
ICWS '04 Proceedings of the IEEE International Conference on Web Services
An EREC framework for e-contract modeling, enactment and monitoring
Data & Knowledge Engineering - Special issue: Contract-driven coordination and collaboration in the internet context
From Contracts to E-Contracts: Modeling and Enactment
Information Technology and Management
ACM SIGecom Exchanges
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Formalizing visibility characteristics in hierarchical systems
Data & Knowledge Engineering
Study of Dependencies in Executions of E-Contract Activities
ADBIS '09 Proceedings of the 13th East European Conference on Advances in Databases and Information Systems
Multi-Level Modeling of Web Service Compositions with Transactional Properties
Journal of Database Management
Hi-index | 0.00 |
An e-contract is a contract modeled, specified, executed, controlled and monitored by a software system. A contract is a legal agreement involving parties, activities, clauses and payments. The goals of an e-contract include precise specification of the activities of the contract, mapping them into deployable workflows, and providing transactional support in their execution. Activities in a contract are complex and interdependent. They may be executed by different parties autonomously and in a loosely coupled fashion. They may be compensated and/or re-executed at different times relative to the execution of other activities. Both the initial specification of the activities and the later verification of their executions with respect to compliance to the clauses are tedious and complicated. We believe that an e-contract should reflect both the specification and the execution aspects of the activities at the same time, where the former is about the composition logic and the later about the transactional properties. Towards facilitating this, we propose a multi-level composition model for activities in e-contracts. Our model allows for the specification of a number of transactional properties, like atomicity and commitment, for activities at all levels of the composition. In addition to their novelty, the transactional properties help to coordinate payments and eventual closure of the contract.