Sciweavers

2558 search results - page 11 / 512
» Model Composition Contracts
Sort
View
ATVA
2009
Springer
99views Hardware» more  ATVA 2009»
14 years 2 months ago
CLAN: A Tool for Contract Analysis and Conflict Discovery
Abstract. As Service-Oriented Architectures are more widely adopted, it becomes more important to adopt measures for ensuring that the services satisfy functional and non-functiona...
Stephen Fenech, Gordon J. Pace, Gerardo Schneider
ENTCS
2010
75views more  ENTCS 2010»
13 years 11 months ago
Semi-Automatic Specification of Behavioural Service Adaptation Contracts
An adaptation contract describes composition constraints and adaptation requirements among several services which were not initially built to interoperate with each other. The man...
Javier Cámara, José Antonio Mart&iac...
CAISE
2005
Springer
14 years 4 months ago
On the Semantics of Operation Contracts in Conceptual Modeling
This paper describes two different ways of understanding operation contracts in conceptual modeling: the strict and the extended interpretations. The main difference between them l...
Anna Queralt, Ernest Teniente
DAGSTUHL
2004
14 years 7 days ago
Making Specifications Complete Through Models
Good components need precise contracts. In the practice of Design by ContractTM , applications and libraries typically express, in their postconditions and class invariants, only a...
Bernd Schoeller, Tobias Widmer, Bertrand Meyer
TSC
2008
144views more  TSC 2008»
13 years 10 months ago
Probabilistic QoS and Soft Contracts for Transaction-Based Web Services Orchestrations
Service level agreements (SLAs), or contracts, have an important role in web services. These contracts define the obligations and rights between the provider of a web service and i...
Sidney Rosario, Albert Benveniste, Stefan Haar, Cl...