Runtime Enforcement of Web Service Message Contracts with Data

  title={Runtime Enforcement of Web Service Message Contracts with Data},
  author={Sylvain Hall{\'e} and Roger Villemaire},
  journal={IEEE Transactions on Services Computing},
An increasing number of popular SOAP web services exhibit a stateful behavior, where a successful interaction is determined as much by the correct format of messages as by the sequence in which they are exchanged with a client. The set of such constraints forms a “message contract” that needs to be enforced on both sides of the transaction; it often includes constraints referring to actual data elements inside messages. We present an algorithm for the runtime monitoring of such message… CONTINUE READING
Highly Cited
This paper has 86 citations. REVIEW CITATIONS

7 Figures & Tables



Citations per Year

86 Citations

Semantic Scholar estimates that this publication has 86 citations based on the available data.

See our FAQ for additional information.