362 search results - page 30 / 73 » Semantic matchmaking of web services using model checking |
SAC
2010
ACM
13 years 8 months ago
2010
ACM
Service-based systems can be modeled as stand-alone services coordinated by external connectors. Reo is a channelbased coordination language with well-defined semantics that enabl...
ESWS
2008
Springer
13 years 10 months ago
2008
Springer
Current efforts in Semantic Web Services do not sufficiently address the industrial developments of SOA technology in regards to bottom-up modeling of services, that is, building i...
ICWS
2010
IEEE
13 years 10 months ago
2010
IEEE
This paper presents a methodology and a set of tools for the modelling, validation and testing of Web service composition, conceived and developed within the French national projec...
TASE
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract Web services choreography describes global models of service interactions among a set of participants. For an interaction to be executed, the participants taken part in it...
ICALT
2005
IEEE
14 years 2 months ago
2005
IEEE
In order to efficiently manage and use of the information on the Web it becomes crucial to provide personalization not only within single systems, but across various web applicati...