Sciweavers

750 search results - page 60 / 150
» Automatic Web Services Composition Using SHOP2
Sort
View
APN
2008
Springer
15 years 1 months ago
Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study
Abstract. Web services represent a promising technology for the development of distributed heterogeneous software systems. In this setting, a major issue is to establish whether tw...
Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio...
ICSOC
2007
Springer
15 years 6 months ago
Verifying Temporal and Epistemic Properties of Web Service Compositions
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...
Alessio Lomuscio, Hongyang Qu, Marek J. Sergot, Mo...
BIS
2009
118views Business» more  BIS 2009»
15 years 28 days ago
Towards an Implementation of the EU Services Directive with Semantic Web Services
The EU Services Directive aims at easing the burdens for the EU's citizens to open up new businesses by providing a single-point-of-contact for the complete business lifecycle...
Ingo Weber, York Sure
ER
2004
Springer
103views Database» more  ER 2004»
15 years 5 months ago
WebDG - A Platform for E-Government Web Services
Abstract. Web services are deemed as the natural choice for deploying e-government applications. Their use enables e-government to fully get advantage of the envisioned Semantic We...
Athman Bouguettaya, Brahim Medjahed, Abdelmounaam ...
IJCIS
2006
123views more  IJCIS 2006»
14 years 11 months ago
Non-Intrusive Monitoring of Service-Based Systems
Abstract. This paper presents a framework for monitoring the compliance of systems composed of webservices with requirements set for them at run-time. This framework assumes system...
George Spanoudakis, Khaled Mahbub