Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
We’re sorry, something doesn't seem to be working properly.
Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Castelfranchi, C.: Commitments: From individual intentions to groups and organizations. In: Proceedings of the International Conference on Multiagent Systems, pp. 41–48 (1995)
Denecker, M., Missiaen, L., Bruynooghe, M.: Temporal reasoning with abductive event calculus. In: Proceedings of the 10th European Conference and Symposium on Logic Programming (ECAI), pp. 384–388 (1992)
Flores, R.A., Kremer, R.C.: To commit or not to commit: Modeling agent conversations for action. Computational Intelligence 18(2), 120–173 (2002)
Farrell, A.D.H., Sergot, M., Salle, M., Bartolini, C.: Using the event calculus for the performance monitoring of service-level agreements for utility computing, WEC 2004 (2004)
Kowalski, R., Sergot, M.J.: A logic-based calculus of events. New generation Computing 4(1), 67–95 (1986)
Meyer, J.C., Wieringa, R.J.: Deontic Logic: A concise Overview. In: Deontic Logic in Computer Science: Normative Systems Specification. John Wiley and Sons, Chichester (1993)
Shanahan, M.: Solving the frame problem: A mathematical investigation of the commen sence law of inertia. MIT Press, Cambridge (1997)
Singh, M.P.: An ontology for commitments in multiagent systems: Toward a unification of normative concepts. In: Artificial Intelligence and Law 7, pp. 97–113 (1999)
Sirbu, M.A.: Credits and debits on the internet. In: Huhns and Singh,1998, pp. 299–305 (1998); Reprinted from IEEE Spectrum (1997)
Sandholm, T., Lesser, V.: Leveled commitment contracts and strategic breach. Games and Economic Behavior 35, 212–270 (2001)
Temporal and Modal logic. Temporal and modal logic. Theoretical Computer Science, 995–1072 (1990)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Rouached, M., Perrin, O., Godart, C. (2005). A Contract-Based Approach for Monitoring Collaborative Web Services Using Commitments in the Event Calculus. In: Ngu, A.H.H., Kitsuregawa, M., Neuhold, E.J., Chung, JY., Sheng, Q.Z. (eds) Web Information Systems Engineering – WISE 2005. WISE 2005. Lecture Notes in Computer Science, vol 3806. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11581062_32
Download citation
DOI: https://doi.org/10.1007/11581062_32
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-30017-5
Online ISBN: 978-3-540-32286-3
eBook Packages: Computer ScienceComputer Science (R0)Springer Nature Proceedings Computer Science