A contract-based approach for monitoring collaborative Web services using commitments in the event calculus

被引：0
|
作者：
Rouached, M [1 ]
Perrin, O [1 ]
Godart, C [1 ]
机构：
[1] INRIA, LORIA, UMR 7503, F-54506 Vandoeuvre Les Nancy, France
来源：
WEB INFORMATION SYSTEMS ENGINEERING - WISE 2005 | 2005年 / 3806卷
关键词：
service monitoring; collaboration and coordination; event calculus; commitments;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
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.
引用
收藏
页码：426 / 434
页数：9
相关论文
共 50 条
  • [21] A Temporal Logics Approach to Contract-Based Design
    Cimatti, Alessandro
    Tonetta, Stefano
    2016 ARCHITECTURE-CENTRIC VIRTUAL INTEGRATION (ACVI), 2016, : 1 - 3
  • [22] Validating Industrial Requirements with a Contract-Based Approach
    Bernaerts, Matthias
    Oakes, Bentley James
    Vanherpen, Ken
    Aelvoet, Bjorn
    Vangheluwe, Hans
    Denil, Joachim
    2019 ACM/IEEE 22ND INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION (MODELS-C 2019), 2019, : 18 - 27
  • [23] Contract-based approach to analyze software components
    Zitouni, A.
    Seinturier, L.
    Boufaida, M.
    ICECCS 2008: THIRTEENTH IEEE INTERNATIONAL CONFERENCE ON THE ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2008, : 237 - 242
  • [24] Using Blockchain in the Internet of Things Coordination A Smart Contract-based Approach
    Belkeziz, Radia
    Jarir, Zahi
    INTERNATIONAL JOURNAL OF ADVANCED COMPUTER SCIENCE AND APPLICATIONS, 2021, 12 (08) : 661 - 669
  • [25] Automated composition of web services with the abductive event calculus
    Ozorhan, Esra Kirci
    Kuban, Esat Kaan
    Cicekli, Nihan Kesim
    INFORMATION SCIENCES, 2010, 180 (19) : 3589 - 3613
  • [26] Contract-based web service composition framework with correctness guarantees
    Milanovic, N
    SERVICE AVAILABILITY, 2005, 3694 : 52 - 67
  • [27] Runtime Monitoring of Contract Regulated Web Services
    Lomuscio, Alessio
    Penczek, Wojciech
    Solanki, Monika
    Szreter, Maciej
    FUNDAMENTA INFORMATICAE, 2011, 111 (03) : 339 - 355
  • [28] Union Discourse and Perceived Violation of Contract A Social Contract-Based Approach
    Peyrat-Guillard, Dominique
    RELATIONS INDUSTRIELLES-INDUSTRIAL RELATIONS, 2008, 63 (03): : 479 - 501
  • [29] Reasoning about Commitments in the Event Calculus: An Approach for Specifying and Executing Protocols
    Pınar Yolum
    Munindar P. Singh
    Annals of Mathematics and Artificial Intelligence, 2004, 42 : 227 - 253
  • [30] Reasoning about commitments in the event calculus: An approach for specifying and executing protocols
    Yolum, P
    Singh, MP
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2004, 42 (1-3) : 227 - 253
12345