A Formal Perspective for Service Coordination Framework in Service Oriented Architecture.

Qin Li Huibiao Zhu Jifeng He A Formal Perspective for Service Coordination Framework in Service Oriented Architecture. 287-296 2009 Australian Software Engineering Conference http://dx.doi.org/10.1109/ASWEC.2009.11 conf/aswec/2009 db/conf/aswec/aswec2009.html#LiZH09