250 search results - page 21 / 50 » Towards Formal Verification of Web Service Composition |
SFM
2009
Springer
14 years 2 months ago
2009
Springer
In the context of Service Oriented Computing behavioural contracts are descriptions of the observable message-passing behaviour of services. In other terms, contracts are behaviour...
ICWS
2008
IEEE
13 years 9 months ago
2008
IEEE
In this work, we present a framework for the semantic composition of web services based on Statecharts and uniform community service descriptions. Our model is a two step process....
ICWS
2007
IEEE
13 years 9 months ago
2007
IEEE
Service Oriented Architectures (SOAs) are constantly gaining ground for the provision of business to business as well as user-centric services, mainly in the form of Web Services ...
JALC
2006
13 years 7 months ago
2006
Automated Web Service Composition has gained a significant momentum in facilitating fast and efficient formation of business-to-business collaborations where an important objectiv...
ICIW
2009
IEEE
13 years 5 months ago
2009
IEEE
The lack of semantics in Web Services Description Language (WSDL) prevents automatic discovery and hence automatic invocation and composition. In our work, we are interested in ext...