Formal Transaction Modeling and Verification for an Adaptable Web Service Orchestration. - Sara Zatout; Maya Souilah Benabdelhafid; Mahmoud Boufaïda (QRS Companion, 2018)

A model-driven approach for the verification of an adaptive service composition. - Sara Zatout; Mahmoud Boufaïda; Maya Souilah Benabdelhafid; Mohamed Lamine Berkane (Int. J. Web Eng. Technol., 2020)