Login / Signup
Sara Zatout
Publication Activity (10 Years)
Years Active: 2018-2020
Publications (10 Years): 2
Top Topics
Ws Bpel
Asynchronous Communication
Formal Models
Service Composition
Top Venues
QRS Companion
Int. J. Web Eng. Technol.
</>
Publications
</>
Sara Zatout
,
Mahmoud Boufaïda
,
Maya Souilah Benabdelhafid
,
Mohamed Lamine Berkane
A model-driven approach for the verification of an adaptive service composition.
Int. J. Web Eng. Technol.
15 (1) (2020)
Sara Zatout
,
Maya Souilah Benabdelhafid
,
Mahmoud Boufaïda
Formal Transaction Modeling and Verification for an Adaptable Web Service Orchestration.
QRS Companion
(2018)