22 search results - page 3 / 5 » Generating Interface Grammars from WSDL for Automated Verifi... |
ICWS
2007
IEEE
13 years 8 months ago
2007
IEEE
We study the problem of synthesis of a choreogrpher in Web service composition for a given set of services and a goal. Services and goal are represented using i/o automata which c...
WWW
2005
ACM
14 years 7 months ago
2005
ACM
The demand for quickly delivering new applications is increasingly becoming a business imperative today. Application development is often done in an ad hoc manner, without standar...
DEBU
2008
13 years 7 months ago
2008
Data-driven Web services, viewed broadly as interactive systems available on the Web for users and programs, provide the backbone for increasingly complex Web applications. While ...
EDOC
2006
IEEE
14 years 29 days ago
2006
IEEE
Increasingly, distributed systems are being constructed by composing a number of discrete components. This practice, termed composition, is particularly prevalent within the Web s...
CAISE
2005
Springer
14 years 13 days ago
2005
Springer
The push toward business process automation has generated the need for integrating different enterprise applications involved in such processes. The typical approach to integration...