76 search results - page 8 / 16 » Agent-Oriented Formal Specification of Web Services |
KBSE
2003
IEEE
14 years 1 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...
ECLIPSE
2005
ACM
13 years 9 months ago
2005
ACM
In this paper we detail the design and implementation of an Eclipse plug-in for an integrated, model-based approach, to the engineering of web service compositions. The plug-in al...
CSSE
2004
IEEE
13 years 7 months ago
2004
IEEE
One of the most important features of XML-based Web services is that they can be easily accessed over the Internet, but this makes them vulnerable to a series of security threats....
DAGSTUHL
2006
13 years 9 months ago
2006
The need for process support in the context of web services has triggered the development of many languages, systems, and standards. Industry has been developing software solutions...
AO
2006
13 years 7 months ago
2006
Large software systems are modularized in order to improve manageability. The parts of the software system communicate in order to achieve the desired functionality. To better und...