Sciweavers

Share
FASE
2005
Springer

Modelling Parametric Contracts and the State Space of Composite Components by Graph Grammars

10 years 6 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 architectural dependency analysis. Parametric contracts for software components specify such dependencies and were successfully used for automated protocol adaptation and quality of service prediction. In this paper, a novel model for parametric contracts based on graph grammars is presented and a first definition of the compositionality of parametric contracts is given. Compared to the previously used finite state machine based formalism, the graph grammar formalism allows a more elegant formulation of parametric contract applications and considerably simpler implementations.
Ralf Reussner, Jens Happe, Annegret Habel
Added 27 Jun 2010
Updated 27 Jun 2010
Type Conference
Year 2005
Where FASE
Authors Ralf Reussner, Jens Happe, Annegret Habel
Comments (0)
books