“…This property guarantees the absence of several types of anomalies in a Web service model and can be formulated without domain knowledge. The work presented in this paper is an extended version of (Klai, Ochi et al, 2013) and is in line with our previous work (Klai, Tata et al, 2009;Klai & Desel, 2012;Klai, Ochi et al, 2013;Klai et al, 2011). In Klai, Tata et al (2009) and (Klai et al, 2011), the SOG has been used to check only the deadlock freeness property of inter-organizational workflows.…”