Modelling and Verification of Web Services Business Activity Protocol

@inproceedings{Ravn2011ModellingAV,
  title={Modelling and Verification of Web Services Business Activity Protocol},
  author={Anders P. Ravn and Jir{\'i} Srba and Saleem Vighio},
  booktitle={TACAS},
  year={2011}
}
WS-Business Activity specification defines two coordination protocols in order to ensure a consistent agreement on the outcome of long-running distributed applications. We use the model checker Uppaal to analyse the Business Agreement with Coordination Completion protocol type. Our analyses show that the protocol, as described in the standard specification… CONTINUE READING