— With the increasing reliance of complex real-world applications on composite web services assembled from independently developed component services, there is a growing need for...
Hongyu Sun, Samik Basu, Vasant Honavar, Robyn R. L...
Abstract. The use of XML as a format for message exchange makes Web services well suited for composition of heterogeneous components. However, since clients must manage differences...
Abstract. In the context of Services Oriented Architecture (Soa), complex systems are realized through the design of business–driven processes. Since the design of a complete pro...
Wireless network communities face a number of difficulties due to lack of integration between network and community resources management. In this work, we present a novel solution...
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...