Sep 15, 2021 · We provide an incremental approach in order to model and verify behavioral communications in CBAs. We identified three steps to reach our goals.

From a behavioral point of view, the proposed approaches verify if the communication between the components of a CBA is carried out according to the used ...

Oct 24, 2024 · We first define a set of requirements to be satisfied by the structure and the behavior of a CBA, represented by a set of interactions that may ...

In this paper, our goal is to close this gap and propose a formal approach to verify the behavioral correctness of CBAs. We first define a set of requirements ...

Sep 2, 2020 · In this direction, this paper uses Event-B formal verification method to formally model solidity written smart contracts in order to verify and ...

Authors in [23] discuss the application of process algebras to describe, compose, and verify business processes, with a particular focus on their interactions.

Sep 19, 2020 · In this work, we propose a formal approach to model and verify Cloud composite services. Four verification levels are considered in this article.

In this work, we propose a formal approach to model and verify Cloud composite services. Four verification levels are considered in this article; the structural ...

This work uses animator of model (ProB) to detect a variety of problems, such as deadlocks or other unexpected behavior of a model, and proposes to ...

Amel Mammar, Lazhar Hamel, Mohamed Graiet : An Event-B Based Approach to Model and Verify Behaviours for Component-Based Applications. The Computer journal ...