Sciweavers

218 search results - page 5 / 44
» A theory of contracts for web services
Sort
View
ESWS
2007
Springer
15 years 1 months ago
Web Service Contracting: Specification and Reasoning with SCIFF
The semantic web vision will facilitate automation of many tasks, including the location and dynamic reconfiguration of web services. In this article, we are concerned with a speci...
Marco Alberti, Federico Chesani, Marco Gavanelli, ...
GI
2005
Springer
15 years 2 months ago
Modellbasierte Entwicklung von Web Services mit Design by Contract
: Die Qualität Service-orientierter Softwaresysteme hängt wesentlich von der Einbindung der richtigen Dienste ab. Zwei grundsätzliche Aspekte kommen hierbei zum Tragen: (1) Pass...
Gregor Engels, Marc Lohmann, Stefan Sauer
ATAL
2010
Springer
14 years 10 months ago
Runtime monitoring of contract regulated web services
We investigate the problem of locally monitoring contract regulated behaviours in web services. We encode contract clauses in service specifications by using extended timed automat...
Alessio Lomuscio, Monika Solanki, Wojciech Penczek...
TES
2004
Springer
15 years 2 months ago
Robust Web Services via Interaction Contracts
Web services represent the latest effort of the information technology industry to provide a framework for cross enterprise automation. One principal characteristic of this framewo...
David B. Lomet
ELECTRONICMARKETS
1998
117views more  ELECTRONICMARKETS 1998»
14 years 9 months ago
Towards Open Electronic Contracting
AbstractAbstractAbstractAbstract A design and pilot implementation of a system, called InterProcs, supporting electronic contracting is presented. A key concept in the design of th...
Ronald M. Lee