Specifying and verifying contract-driven service compositions using commitments and model checking-Reference-Cited by-同舟云学术

Specifying and verifying contract-driven service compositions using commitments and model checking

Published:2017-05 Issue: Volume:74 Page:151-184
ISSN:0957-4174
Container-title:Expert Systems with Applications
language:en
Short-container-title:Expert Systems with Applications

Author:

Bataineh Ahmed Saleh,Bentahar Jamal,El Menshawy Mohamed,Dssouli Rachida

Publisher

Elsevier BV

Subject

Artificial Intelligence,Computer Science Applications,General Engineering

Reference70 articles.

1. On the logic of normative systems;Ågotnes,2007

2. Alexandre, A., Assaf, A., Sid, A., & Charlton, B. (2007). Web services business process execution language version 2.0 (oasis standard). WS-BPEL TC OASIS, http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0.html.

3. A view of cloud computing;Armbrust;Communications of the ACM,2010

4. Behavior-oriented commitment-based protocols;Baldoni,2010

5. Verification of protocol conformance and agent interoperability;Baldoni,2005

Cited by 14 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Maintenance commitments: Conception, semantics, and coherence;Artificial Intelligence;2023-11

2. Reasoning about Uncertainty over IoT Systems;2022 International Wireless Communications and Mobile Computing (IWCMC);2022-05-30

3. Reduction Model Checking for Multi-Agent Systems of Group Social Commitments;Computation;2022-05-28

4. Formal verification of group and propagated trust in multi-agent systems;Autonomous Agents and Multi-Agent Systems;2022-03-03

5. Model Checking Based Web Service Verification: A Systematic Literature Review;IEEE Transactions on Services Computing;2021-05-01