Sciweavers

362 search results - page 16 / 73
» Semantic matchmaking of web services using model checking
Sort
View
SEBD
2007
101views Database» more  SEBD 2007»
13 years 9 months ago
Service Matching and Discovery in P2P Semantic Community
Abstract. Recently, more and more web services are being made available and their use can potentially highly increase cooperation in P2P systems, where different partners intend t...
Devis Bianchini, Valeria De Antonellis, Michele Me...
CIIA
2009
13 years 8 months ago
Towards WSMO Ontology Specification From Existing Web Services
Semantic Web Services (SWSs) aim to improve the possibilities for automated discovery, composition and invocation of Web Services by providing ontology-based service descriptions e...
Houda El Bouhissi, Mimoun Malki, Djelloul Bouchiha
ATAL
2008
Springer
13 years 9 months ago
Exploiting organisational information for service coordination in multiagent systems
Service-Oriented Computing and Agent Technology are nowadays two of the most active research fields in distributed and open systems. However, when trying to bridge the two worlds,...
Alberto Fernández, Sascha Ossowski
WSFM
2007
Springer
14 years 1 months ago
Extending Model Checking to Data-Aware Temporal Properties of Web Services
A “data-aware” web service property is a constraint on the pattern of message exchanges of a workflow where the order of messages and their data content are interdependent. Th...
Sylvain Hallé, Roger Villemaire, Omar Cherk...
ICECCS
2008
IEEE
140views Hardware» more  ICECCS 2008»
14 years 1 months ago
A Formal Model of Semantic Web Service Ontology (WSMO) Execution
Semantic Web Services have been one of the most significant research areas within the Semantic Web vision, and have been recognized as a promising technology that exhibits huge c...
Hai H. Wang, Nick Gibbins, Terry R. Payne, Ahmed S...