A logic-based calculus of events
New Generation Computing
Handbook of theoretical computer science (vol. B)
Temporal reasoning with abductive event calculus
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Deontic logic: a concise overview
Deontic logic in computer science
Solving the frame problem: a mathematical investigation of the common sense law of inertia
Solving the frame problem: a mathematical investigation of the common sense law of inertia
Credits and debits on the Internet
IEEE Spectrum - Special issue: electronic money
Performance Monitoring of Service-Level Agreements for Utility Computing Using the Event Calculus
WEC '04 Proceedings of the First IEEE International Workshop on Electronic Contracting
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
Mining e-contract documents to classify clauses
Proceedings of the Third Annual ACM Bangalore Conference
The representation of e-contracts as default theories
IEA/AIE'07 Proceedings of the 20th international conference on Industrial, engineering, and other applications of applied intelligent systems
Assumption-based reasoning in dynamic normative agent systems
Web Intelligence and Agent Systems
Normative conflicts in electronic contracts
Electronic Commerce Research and Applications
NIÑOS take five: the management infrastructure for distributed event-driven workflows
Proceedings of the 5th ACM international conference on Distributed event-based system
Towards formal verification of web service composition
BPM'06 Proceedings of the 4th international conference on Business Process Management
Web service mining and verification of properties: an approach based on event calculus
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
Analysis of composite web services using logging facilities
ICSOC'06 Proceedings of the 4th international conference on Service-oriented computing
Hi-index | 0.00 |
Web services (WS) are gaining popularity for supporting business interactions in cross-organisational distributed business processes. However, current WS specifications mostly concentrate on syntactic aspects. Because multiparty collaborations in business involve complex and long-lived interactions between autonomous partners, their behaviour must be specified to ensure the reliability of the collaboration. This paper presents an event-based framework associated with a semantic definition of the commitments expressed in the event calculus, to model and monitor multi-party contracts. This framework permits to coordinate and regulate Web services in business collaborations, by allowing detection of actual and imminent violations.