Semantics Enhancing Model Transformation for Automated Constraint Validation of Palladio Software Architecture to MontiArc Models

Component-based software architecture allows software architects to design systems by composing components with syntactically defined interfaces. These models can be used for the analysis and prediction of the functional and non-functional properties of the system. While tools for the modeling and analysis of such systems, e.g., the Palladio approach, support the syntactic validation of the composition, they lack the capability to validate the semantic composition. If, e.g., one component requires and one provides an integer value, they can be composed, independently of whether this composition is actually semantically sound. To support software architects in the semantic validation of their system models, we propose a model transformation tool, that allows to transform system models from Palladio models to MontiArc models, enrich them with semantic constraints and validate these constraints with the MontiArc workbench. We present exemplary results of this transformation and validation applied to a simplified model of a component-based simulator of the Palladio approach.