Introducing compositionality in Web service descriptions

@article{Solanki2004IntroducingCI,
  title={Introducing compositionality in Web service descriptions},
  author={Monika Solanki and Antonio Cau and Hussein Zedan},
  journal={Proceedings. 10th IEEE International Workshop on Future Trends of Distributed Computing Systems, 2004. FTDCS 2004.},
  year={2004},
  pages={14-20}
}
Web services are essentially black box components from a composer's or a mediator's perspective. The behavioural description of any service can be asserted by the composer only through interface predicates exposed by the service provider Normally for proving properties of service compositions, pre/post conditions are found to be sufficient. However these properties are assertions only on the initial and final states of the service respectively. They do not help in specifying/verifying ongoing… CONTINUE READING

Similar Papers

Loading similar papers…