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.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
OMG,Inc.Model Driven Architecture(MDA), http://www.omg.org/gov
Zhang, Y., Hu, J., Yu, X.F., Zhang, T., Li, X.D., Zheng, G.L.: Deriving available behavior all out from incompatible component compositions. In: Liu, Z., Barbosa, L. (eds.) Proc.of the 2nd Int’l Workshop on Formal Aspects of Component Software (FACS 2005). ENTCS, vol. 160, pp. 349–361. Elsevier, Netherlands (2006)
Zhang, T., Jouault, F., Attiogb, C., Li, X.D.: MDE-based model transformation: from MARTE model to FIACRE model. Journal of Software 20(2), 214–233 (2009)
SAE Aerospace. SAE AS5506: Architecture Analysis and Design Language (AADL), Version 1.0 (2004)
SAE Aerospace. SAE AS5506/1: Architecture Analysis and Design Language (AADL) Annex vol.1 (2006)
SAE Aerospace. SAE AS5506/2: Architecture Analysis and Design Language (AADL) Annex vol. 2 (2011)
de Alfaro, L., Henzinger, T.A.: Interface Automata. ACM Sigsoft Software Engineering Notes 26(5), 109–120 (2001)
The ATL Model Transformation Language, http://www.emn.fr/z-info/atlanmod/index.php/Model_Transformation
ATLAS group LINA and INRIA.: ATL: Atlas Transformation Language (2006)
Jouault, F., Allilaire, F., Bézivin, J., Kurtev, I.: ATL: A model transformation tool. Science of Computer Programming 72(1/2), 31–39 (2008)
Yang, Z., Hu, K., Ma, D., Pi, L.: Towards a formal semantics for the AADL behavior annex. In: Proc. DATE 2009. IEEE, Los Alamitos (2009)
UPPAAL, http://www.uppaal.org/
Berthomieu, B., Bodeveix, J.-P., Chaudet, C., Dal Zilio, S., Filali, M., Vernadat, F.: Formal Verification of AADL Specifications in the Topcased Environment. In: Kordon, F., Kermarrec, Y. (eds.) Ada-Europe 2009. LNCS, vol. 5570, pp. 207–221. Springer, Heidelberg (2009)
Passerone, R., de Alfaro, L., Henzinger, T., Sangiovanni-Vincentelli, A.L.: Convertibility Verification and Converter Synthesis: Two Faces of the Same Coin. In: Proceedings of the International Conference on Computer Aided Design, ICCAD 2002 (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Li, J., Zhao, J., Sun, Q., Huang, X., Zhang, Y., Zhang, T. (2013). Composition of AADL Components by Transformation to Interface Automata. In: Yuan, Y., Wu, X., Lu, Y. (eds) Trustworthy Computing and Services. ISCTCS 2012. Communications in Computer and Information Science, vol 320. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-35795-4_66
Download citation
DOI: https://doi.org/10.1007/978-3-642-35795-4_66
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-35794-7
Online ISBN: 978-3-642-35795-4
eBook Packages: Computer ScienceComputer Science (R0)