735 search results - page 46 / 147 » Equivalence of Web Services in Process-Aware Service Composi... |
ICC
2007
IEEE
15 years 6 months ago
2007
IEEE
—Ubiquitous service composition provides new services and applications seamlessly by establishing cooperation among any devices in home networks and any services in service provi...
125
click to vote
ISORC
2005
IEEE
15 years 5 months ago
2005
IEEE
Web Services form a new distributed computing paradigm. Collaborative verification and validation are important when Web Services from different vendors are integrated together to...
WECWIS
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper describes a software solution for the WSChallenge 2006. We introduce the MOVE framework that has been applied to this challenge. Also, the architecture, algorithms, and...
WAIM
2005
Springer
15 years 5 months ago
2005
Springer
In this paper, we propose FECT, a new modelling framework for describing and composing heterogenous Web services to satisfy emergent requirements. In FECT, a three-dimension descri...
108
click to vote
ICWS
2008
IEEE
15 years 1 months ago
2008
IEEE
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...