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

Date Added: Sep 2010
Format: PDF

In this paper, the authors present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriented system design, to be model checked with respect to the intended requirements and automatically translated into executable BPEL code. This experience, beyond revealing several uncertainties in the language definition and several flaws in the designed model has been useful to better understand the hidden risks of apparently intuitive graphical designs, when these are not backed up by a precise and rigorous semantics.