Formal techniques for consistency checking of orchestrations of semantic Web services

Youcef Hammal; Khadidja Salah Mansour; Abdelkrim Abdelli; Lynda Mokdad

doi:10.1016/j.jocs.2020.101165

Article Dans Une Revue Journal of computational science Année : 2020

Formal techniques for consistency checking of orchestrations of semantic Web services

(1) , , (1) , (2)

1
2

Youcef Hammal

Fonction : Auteur

Université des Sciences et de la Technologie Houari Boumediene = University of Sciences and Technology Houari Boumediene [Alger]

Khadidja Salah Mansour

Fonction : Auteur

Abdelkrim Abdelli

Fonction : Auteur

Université des Sciences et de la Technologie Houari Boumediene = University of Sciences and Technology Houari Boumediene [Alger]

Lynda Mokdad

Fonction : Auteur
PersonId : 1231763
IdHAL : lynda-mokdad
ORCID : 0000-0002-6182-4869

Laboratoire d'Algorithmique Complexité et Logique

CV

Domaines

Informatique [cs]

lynda mokdad : Connectez-vous pour contacter le contributeur

https://hal.u-pec.fr/hal-04030305

Soumis le : mercredi 15 mars 2023-14:35:29

Dernière modification le : jeudi 16 mars 2023-03:15:41

Dates et versions

hal-04030305 , version 1 (15-03-2023)

Identifiants

HAL Id : hal-04030305 , version 1
DOI : 10.1016/j.jocs.2020.101165

Citer

Youcef Hammal, Khadidja Salah Mansour, Abdelkrim Abdelli, Lynda Mokdad. Formal techniques for consistency checking of orchestrations of semantic Web services. Journal of computational science, 2020, 44, pp.101165. ⟨10.1016/j.jocs.2020.101165⟩. ⟨hal-04030305⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

LACL UPEC

20 Consultations

0 Téléchargements

Formal techniques for consistency checking of orchestrations of semantic Web services

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager