Stepwise Development of Formal Models for Web Services Compositions: Modelling and Property Verification

Idir Aït-Sadoune, Yamine Aït Ameur. Stepwise Development of Formal Models for Web Services Compositions: Modelling and Property Verification. T. Large-Scale Data- and Knowledge-Centered Systems, 10:1-33, 2013. [doi]

Abstract

Abstract is missing.