This paper presents and discusses some infrastructure services necessary for distributed applications development. The main service considered is the component search service whic...
UN/CEFACT’s Modeling Methodology (UMM) has been developed to analyze and design B2B business processes independent of the underlying exchange technology. It became the methodolog...
In this paper we describe an approach for the verification of Web service compositions defined by sets of BPEL processes. The key aspect of such a verification is the model adopte...
The cellular industry all over the world has been witnessing very high growth rates in subscriber base in recent years. For developing countries in particular, cellular services a...
—Service-Oriented Computing (SOC) is an emerging paradigm for developing software systems that employ services. Presently there is already much research effort in the areas of se...
Mikhail Perepletchikov, Caspar Ryan, Keith Frampto...