Composition of AADL Components by Transformation to Interface Automata

Abstract

AADL, an industrial standard in embedded field, is a component-based semi-formal modeling language. Incompatibility of behaviors is a problem that we must face up with when the AADL components composite, because the sequence of some interactive activities may not match with each other. Shielding the incompatible behavior and reusing the compatibly behavior maximally are main problems to increase the reusability of AADL components. This paper proposes an MDE based method to implement the transformation from AADL to IA using the heterogeneous model transformation framework. Then we can use the IA model to derive available behavior all out from incompatible component compositions through construct the environment, and now the environment maps back to AADL component to solve the AADL components composition problems we proposed. © Springer-Verlag Berlin Heidelberg 2013.