Formal techniques for consistency checking of orchestrations of semantic Web services

Autor: Hammal, Youcef *, Salah Mansour, Khadidja, Abdelli, Abdelkrim, Mokdad, Lynda
Zdroj: In Journal of Computational Science July 2020 44
Databáze: ScienceDirect