Date Added: Aug 2010
Service Oriented architecture (SOA) is an emergent paradigm that aims at building applications and components by assembling existing ones. Several works on composition aspects have been proposed by researchers and industrial practitioners. The overall observation about these works is that they only provide means for service composition and invocation; but, they offer little support for analysis, and formal checking of composite Web services. In this work, the authors exploit rewriting logic as a unique semantic formalism for well describing and checking Web services composition. Thanks to this formalization the authors lean on the category model to give precise and sufficient semantics to Web service behavior.