373 search results - page 21 / 75 » Model Checking Techniques applied to the design of Web Servi... |
108
click to vote
IEEESCC
2005
IEEE
15 years 3 months ago
2005
IEEE
The web service is a main working pattern and a significant application model for next generation Internet application. The service-oriented architecture is a very promising archi...
JWSR
2007
14 years 9 months ago
2007
: Service discovery has been recognised as an important aspect in the development of service centric systems, i.e., software systems which deploy web services. To develop such syst...
125
click to vote
ATC
2007
Springer
15 years 3 months ago
2007
Springer
Service-oriented architectures (SOA) and, in particular, Web Services designs are currently widely used for the development of open, large-scale interoperable systems. In those sys...
AUSAI
2005
Springer
15 years 3 months ago
2005
Springer
The key problem in applying verification techniques such as model checking to agent architectures is to show how to map systematically from an agent program to a model structure t...
IIWAS
2008
14 years 11 months ago
2008
In a service-oriented architecture, systems communicate by exchanging messages. In this work, we propose a formal model based on OCL-constrained UML Class diagrams and a methodolo...