The Internet is going through several major changes. It has become a vehicle of Web services rather than just a repository of information. Many organizations are putting their cor...
WSBPEL [2] opens up the possibility of applying a range of formal techniques to the verification of Web service behaviors from two points of view: constraints between activities w...
As the number of available Web services increases there is a growing demand to realize complex business processes by combining and reusing available Web services. The reuse and com...
— Web services composition is a very active area of research due to the growing interest of public and private organizations in services integration and/or low cost development o...
Giusy Di Lorenzo, Nicola Mazzocca, Francesco Mosca...
Semantic Web Services are the key technology providing services for the users’ convenience in the semantic web environment. Many companies in various fields are researching and d...