Abstract: The formal definition of NWCFA (nested Web service interface control flow automata) is presented as the model of web service compositions (possibly with recursion). WCFA (Web service ...