Automatic Translation of Architecture Constraint Specifications into Components - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Access content directly
Conference Papers Year : 2015

Automatic Translation of Architecture Constraint Specifications into Components


Architecture constraints are specifications defined by developers at design-time and checked on design artifacts (architecture descriptions , like UML models). They enable to check, after an evolution, whether an architecture description still conforms to the conditions imposed by an architecture pattern, style or any design principle. One possible language for specifying such constraints is the OMG's OCL. Most of these architecture constraints are formalized as " gross " specifications, without any structure or parameterization possibilities. This causes difficulties in their reuse. We propose in this work a process for translating architecture constraints into a special kind of components called constraint-components. This makes these specifications reusable (easily put and checked out in/from repositories), parametrizable (generic and applicable in different contexts) and composable with others. We implemented this process by considering the translation of OCL constraints into constraint-components described with an ADL called CLACS.
Fichier principal
Vignette du fichier
kallel.pdf (429.81 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

lirmm-01235454 , version 1 (30-11-2015)



Sahar Kallel, Bastien Tramoni, Chouki Tibermacine, Christophe Dony, Ahmed Hadj Kacem. Automatic Translation of Architecture Constraint Specifications into Components. ECSA 2015 - 9th European Conference on Software Architecture, Sep 2015, Dubrovnik, Croatia. pp.322-338, ⟨10.1007/978-3-319-23727-5_27⟩. ⟨lirmm-01235454⟩
162 View
394 Download



Gmail Mastodon Facebook X LinkedIn More