Sciweavers

2558 search results - page 1 / 512
» Model Composition Contracts
Sort
View
ISAS
2005
Springer
13 years 10 months ago
Contract-Based Web Service Composition Framework with Correctness Guarantees
Abstract. We present formal and practical foundations for Web service composition framework with composition correctness guarantees. We introduce contractual composition model base...
Nikola Milanovic
CIA
2008
Springer
13 years 6 months ago
Incrementally Refined Acquaintance Model for Consortia Composition
This paper presents a specific contracting algorithm that contributes to the process of distributed planning and resource allocation in competitive, semi-trusted environments. The ...
Jan Doubek, Jirí Vokrínek, Michal Pe...
FASE
2005
Springer
13 years 10 months ago
Modelling Parametric Contracts and the State Space of Composite Components by Graph Grammars
Modeling the dependencies between provided and required services within a software component is necessary for several reasons, such as automated component adaptation and architectu...
Ralf Reussner, Jens Happe, Annegret Habel
APN
2009
Springer
13 years 11 months ago
Monotonicity in Service Orchestrations
Web Service orchestrations are compositions of different Web Services to form a new service. The services called during the orchestration guarantee a given Quality of Service (QoS...
Anne Bouillard, Sidney Rosario, Albert Benveniste,...
MODELS
2009
Springer
13 years 11 months ago
Model Composition Contracts
Jon Oldevik, Massimiliano Menarini, Ingolf Krü...