Checking syntactic constraints on models using ATL model transformations
From AtlanMod
< To: MtATL2009
Abstract: This paper presents a use case on using ATL model transformations to check syntactic correctness constraints on a UML/MARTE model. This model transformation is a part of an interoperability model transformation from UML/MARTE to AADL in which UML/MARTE is used as a UML profile for AADL. As input, the constraints checking model transformation takes a UML/MARTE model and produces as output a diagnosis model that conforms to a diagnosis meta-model (VERIF) which is also presented in this paper.
