Runtime Enforcement of Web Service Message Contracts with Data

Sylvain Hallé, Roger Villemaire. Runtime Enforcement of Web Service Message Contracts with Data. IEEE T. Services Computing, 5(2):192-206, 2012. [doi]

Abstract

Abstract is missing.