Formal or Not, but Precise Modelling of Services with CASL4SOA and SoaML. - Christine Choppy; Gianna Reggio; Khanh-Dung Tran (KSE, 2012)