Web Service Compensation at Runtime: Formal Modeling and Verification Using the Event-B Refinement and Proof Based Formal Method - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue IEEE Transactions on Services Computing Année : 2017

Web Service Compensation at Runtime: Formal Modeling and Verification Using the Event-B Refinement and Proof Based Formal Method

Domaines

Informatique [cs]

Documentation IRIT  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03116279

Soumis le : mercredi 20 janvier 2021-11:25:39

Dernière modification le : lundi 11 décembre 2023-16:49:52

Fichier non déposé

Dates et versions

hal-03116279 , version 1 (20-01-2021)

Identifiants

Citer

Guillaume Babin, Yamine Aït-Ameur, Marc Pantel. Web Service Compensation at Runtime: Formal Modeling and Verification Using the Event-B Refinement and Proof Based Formal Method. IEEE Transactions on Services Computing, 2017, 10 (1), pp.107--120. ⟨10.1109/TSC.2016.2594782⟩. ⟨hal-03116279⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-TLSE2 CNRS SMS UT1-CAPITOLE IRIT IRIT-ACADIE IRIT-FSL IRIT-INPT TOULOUSE-INP UNIV-UT3 UT3-TOULOUSEINP
20 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More