Christine Choppy, Gianna Reggio, Khanh-Dung Tran. Formal or Not, but Precise Modelling of Services with CASL4SOA and SoaML. In Dang Van Hung, Hung Trung Vo, Jeff Sanders, Lam Thu Bui, Son Bao Pham, editors, Fourth International Conference on Knowledge and Systems Engineering, KSE 2012, Danang, Vietnam, August 17-19, 2012. pages 187-194, IEEE Computer Society, 2012. [doi]
Abstract is missing.