100 search results - page 10 / 20 » Model-Checking of Web Services Choreography |
WECWIS
2006
IEEE
15 years 9 months ago
2006
IEEE
88
Voted
JLP
2011
14 years 10 months ago
2011
125
Voted
ICIW
2008
IEEE
15 years 9 months ago
2008
IEEE
—Developing service compositions, using multiple standards and implementation techniques, typically involves specifying service characteristics in different languages and tools. ...
119
click to vote
EPEW
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Global choreographies define the rules that peers should respect in their interaction, with the aim of guaranteeing interoperability. act choreography can be seen as a p...
136
click to vote
ICSOC
2007
Springer
15 years 9 months ago
2007
Springer
Model checking Web service behaviour has remained limited to checking safety and liveness properties. However when viewed as a multi agent system, the system composition can be ana...