Making components contract aware

Beugnard, Antoine; Jézéquel, Jean-Marc; Plouzeau, Noël; Watkins, D.

doi:10.1109/2.774917

Cited by 368 publications

(215 citation statements)

References 8 publications

Supporting

Mentioning

208

Contrasting

Unclassified

Order By: Relevance

“…We are aware of the uselessness of our approach if we do not have a working prototype integrated with any of them, such as UDDI or similar. In this way, our quality trader is a component leveled at the top of a pyramid, wherein the lowerer levels are devoted to functional-aspects of WSP [1]. This stage of development is currently starting, but we hope to have a completely functional prototype in the very near future.…”

Section: Discussionmentioning

confidence: 99%

Automating the Procurement of Web Services

Martín–Díaz

Ruiz–Cortés

Durán

et al. 2003

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. As government agencies and business become more dependent on web services, software solutions to automate their procurement gain importance. Current approaches for automating the procurement of web services suffer from an important drawback: neither uncertainty measures nor non-linear, and complex relations among parameters can be used by providers to specify quality-ofservice in offers. In this paper, we look deeply into the roots of this drawback and present a proposal which overcomes it. The key point to achieve this improvement has been using the constraint programming as a formal basis, since it endows the model with a very powerful expressiveness. A XML-based implementation is presented along with some experimental results and comparisons with other approaches.

show abstract

Section: Discussionmentioning

confidence: 99%

Automating the Procurement of Web Services

Martín–Díaz

Ruiz–Cortés

Durán

et al. 2003

Lecture Notes in Computer Science

View full text Add to dashboard Cite

show abstract

“…Programming and design by contract [2,12,13] consist in specifying what a software component, a program or a model does, in order to know how to properly use it. Design by contract also allows at runtime the assessment of what has been computed with respect to the expressed contracts.…”

Section: Contracts and Model Transformation Contractsmentioning

confidence: 99%

“…Programming and design by contract have shown their interest in verifying the execution of software systems [2,12,13]. Contracts ensure a sufficient confidence on the software system through a lightweight verification approach at runtime.…”

Section: Introductionmentioning

confidence: 99%

Contracts for Model Execution Verification

Cariou

Ballagny²,

Feugas

et al. 2011

Modelling Foundations and Applications

View full text Add to dashboard Cite

Abstract. One of the main goals of model-driven engineering is the manipulation of models as exclusive software artifacts. Model execution is in particular a means to substitute models for code. We focus in this paper on verifying model executions. We use a contract-based approach to specify an execution semantics for a meta-model. We show that an execution semantics is a seamless extension of a rigorous meta-model specification and is composed of complementary levels, from static element definition to dynamic elements, execution specifications as well. We use model transformation contracts for controlling the dynamic consistent evolution of a model during its execution. As an illustration, we apply our approach to UML state machines using OCL as the contract expression language.

show abstract

“…This underspecifies the components and limits their suitability and reuse to a specific area of application and environment. In [2], component contracts have been identified in four different levels: syntactic, behavioral, synchronization, and QoS. The explicit consideration of component QoS contracts aims at simplifying the development of component-based software with non-functional requirements like QoS, but it is also a challenging task.…”

Section: Introductionmentioning

confidence: 99%

A Framework for QoS Contract Negotiation in Component-Based Applications

Mulugeta

Schill

2008

Balancing Agility and Formalism in Software Engineering

View full text Add to dashboard Cite

Abstract. The support of QoS properties in component-based software requires the run-time selection of appropriate concrete QoS contracts at the ports of the interacting components. Such a selection process is called QoS contract negotiation. This paper discusses the architecture of a QoS contract negotiation framework and how it is implemented in our prototype. The framework can be integrated in a component container and act as a run-time support environment when QoS contracts are negotiated under different application scenarios. Our approach is based on: (i) the notion that the required and provided QoS properties as well as resource demands are specified at the component level; and (ii) that QoS contract negotiation is modeled as a constraint solving problem.

show abstract

Making components contract aware

Cited by 368 publications

References 8 publications

Automating the Procurement of Web Services

Automating the Procurement of Web Services

Contracts for Model Execution Verification

A Framework for QoS Contract Negotiation in Component-Based Applications

Contact Info

Product

Resources

About