We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...
We propose a novel approach to find aliases of a given name from the web. We exploit a set of known names and their aliases as training data and extract lexical patterns that conv...
Service Oriented Architecture (SOA) is a design framework that permits the developer to build complex applications from smaller modules called “services”. When applying SOA to...
In today’s businesses, there is a trend that serviceoriented architecture (SOA) is evolving into a popular architectural paradigm for IT infrastructure. SOA allows companies’ ...
M. Brian Blake, William Kwok-Wai Cheung, Michael C...
WS-SecurityPolicy is a declarative configuration language for driving web services security mechanisms. We describe a formal sefor WS-SecurityPolicy, and propose a more abstract ...