Khadidja Salah-Mansour

Publication Activity (10 Years)

Years Active: 2018-2020
Publications (10 Years): 4

Top Topics

Service Oriented Architecture

Formal Specification

Consistency Checking

Top Venues

J. Comput. Sci.

Publications

Youcef Hammal, Khadidja Salah-Mansour, Abdelkrim Abdelli, Lynda Mokdad
Formal techniques for consistency checking of orchestrations of semantic Web services. J. Comput. Sci. 44 (2020)
Youcef Hammal, Khadidja Salah-Mansour, Abdelkrim Abdelli, Lynda Mokdad
Formal Approach for Compatibility Checking of Orchestrations of Composite Semantic Web Services. ISCC (2019)
Khadidja Salah-Mansour, Youcef Hammal, Lynda Mokdad
Formal specification and validation of refinement from WS-CDL to BPEL. ISCC (2019)
Khadidja Salah-Mansour, Youcef Hammal
ATL Based Refinement of WS-CDL Choreography into BPEL Processes. MISC (2018)