101 search results - page 1 / 21 » Service specification with MSCs and roles |
IASTEDSE
2004
13 years 6 months ago
2004
The notion of service enjoys increasing popularity as a means for structuring complex distributed systems. Most definitions of the term service, however, refer only to syntactic l...
SMARTNET
2000
13 years 6 months ago
2000
: Due to the deregulation of the telecom network and the Internet, users will have access to an increasing number of heterogeneous communication services and will need to adapt the...
AICT
2006
IEEE
13 years 11 months ago
2006
IEEE
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...
KBSE
2003
IEEE
13 years 10 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 6 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...