Further Reading

 Top  Previous  Next

Read the following papers on the techniques used for obligations analysis of web service compositions.

 

•H.Foster, W. Emmerich, J.Kramer, J.Magee, D.Rosenblum and S.Uchitel, Model Checking Service Compositions under Resource Constraints, in Proceedings of ESEC/FSE 2007, Dubrovnik, Croatia. Sept 2007.
•H.Foster A Rigorous Approach to Engineering Web Service Compositions, PhD Thesis, Imperial College London, January, 2006.