481 search results - page 41 / 97 » Automated Composition of Web Services: the ASTRO Approach |
KBSE
2003
IEEE
15 years 2 months ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
CONEXT
2006
ACM
15 years 3 months ago
2006
ACM
The realization of ubiquitous networks brings new challenges to application development. In this kind of network, services and, more specifically web services, have been used to p...
ICIW
2008
IEEE
15 years 4 months ago
2008
IEEE
—Developing service compositions, using multiple standards and implementation techniques, typically involves specifying service characteristics in different languages and tools. ...
80
Voted
ICWE
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Developing service-based interactive applications is time consuming and nontrivial. Annotating web services with additional information about the user interface and behav...
78
Voted
ICWS
2009
IEEE
15 years 6 months ago
2009
IEEE
Environments in which Web service compositions (WSC) operate are often dynamic. We address the problem of which service to query for up-to-date information in order to adapt a hie...