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

Journal Articles Journal of computational science Year : 2020

Formal techniques for consistency checking of orchestrations of semantic Web services

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

1
2

Youcef Hammal

Function : Author

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

Khadidja Salah Mansour

Function : Author

Abdelkrim Abdelli

Function : Author

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

Lynda Mokdad

Function : Author
PersonId : 1231763
ORCID : 0000-0002-6182-4869

Laboratoire d'Algorithmique Complexité et Logique

Domains

Computer Science [cs]

lynda mokdad : Connect in order to contact the contributor

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

Submitted on : Wednesday, March 15, 2023-2:35:29 PM

Last modification on : Thursday, March 16, 2023-3:15:41 AM

Dates and versions

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

Identifiers

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

Cite

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⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

LACL UPEC

0 View

0 Download

Formal techniques for consistency checking of orchestrations of semantic Web services

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Altmetric

Share