An Event-B based approach for cloud composite services verification.

Aida Lahouij Lazhar Hamel Mohamed Graiet Béchir el Ayeb

Published in: Formal Aspects Comput. (2020)

Keyphrases

composite services
service composition
web service composition
cloud computing
web services
model checking
object oriented
description language