95 search results - page 3 / 19 » Conformance checking of service behavior |
113
click to vote
SOCO
2007
Springer
15 years 3 months ago
2007
Springer
In the context of Service Oriented Computing, contracts are descriptions of the externally observable behaviour of services. Given a group of collaborating services, their contract...
SIGSOFT
2009
ACM
15 years 4 months ago
2009
ACM
Web-services are broadly considered as an effective means to achieve interoperability between heterogeneous parties of a business process and offer an open platform for developing...
ECOWS
2009
Springer
15 years 27 days ago
2009
Springer
— Web services exposing run-time behaviour that deviates from their behavioural specifications represent a major threat to the sustainability of a service-oriented ecosystem. It ...
WWW
2005
ACM
15 years 10 months ago
2005
ACM
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...
DASC
2006
IEEE
15 years 1 months ago
2006
IEEE
We present a new approach to ensure the secure execution of itinerary-driven mobile agents, in which the specification of the navigational behavior of an agent is separated from t...