An Experience on Formal Analysis of a High-Level Graphical SOA Design