The need for formal compatibility analysis in web service choreography via an e-commerce application

von Benabdelhafid, Maya Souilah
Veröffentlicht in International journal of e-business research (2015)

Modeling and Verification of Temporal Constraints for Web Service Composition

von Benabdelhafid, Maya Souilah
Veröffentlicht in ASYDE (2. : 2020 : Online) Software engineering and formal methods (2021)