{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T12:13:22Z","timestamp":1725711202737},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642357947"},{"type":"electronic","value":"9783642357954"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-35795-4_66","type":"book-chapter","created":{"date-parts":[[2013,1,4]],"date-time":"2013-01-04T04:49:42Z","timestamp":1357274982000},"page":"522-529","source":"Crossref","is-referenced-by-count":0,"title":["Composition of AADL Components by Transformation to Interface Automata"],"prefix":"10.1007","author":[{"given":"Jiangwei","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jizhou","family":"Zhao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qingqing","family":"Sun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaopu","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yan","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tian","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"66_CR1","unstructured":"OMG,Inc.Model Driven Architecture(MDA), \n                  \n                    http:\/\/www.omg.org\/gov"},{"key":"66_CR2","series-title":"ENTCS","first-page":"349","volume-title":"Proc.of the 2nd Int\u2019l Workshop on Formal Aspects of Component Software (FACS 2005)","author":"Y. Zhang","year":"2006","unstructured":"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\u2019l Workshop on Formal Aspects of Component Software (FACS 2005). ENTCS, vol.\u00a0160, pp. 349\u2013361. Elsevier, Netherlands (2006)"},{"issue":"2","key":"66_CR3","doi-asserted-by":"publisher","first-page":"214","DOI":"10.3724\/SP.J.1001.2009.00214","volume":"20","author":"T. Zhang","year":"2009","unstructured":"Zhang, T., Jouault, F., Attiogb, C., Li, X.D.: MDE-based model transformation: from MARTE model to FIACRE model. Journal of Software\u00a020(2), 214\u2013233 (2009)","journal-title":"Journal of Software"},{"key":"66_CR4","unstructured":"SAE Aerospace. SAE AS5506: Architecture Analysis and Design Language (AADL), Version 1.0 (2004)"},{"key":"66_CR5","unstructured":"SAE Aerospace. SAE AS5506\/1: Architecture Analysis and Design Language (AADL) Annex vol.1 (2006)"},{"key":"66_CR6","unstructured":"SAE Aerospace. SAE AS5506\/2: Architecture Analysis and Design Language (AADL) Annex vol. 2 (2011)"},{"issue":"5","key":"66_CR7","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1145\/503271.503226","volume":"26","author":"L. Alfaro de","year":"2001","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface Automata. ACM Sigsoft Software Engineering Notes\u00a026(5), 109\u2013120 (2001)","journal-title":"ACM Sigsoft Software Engineering Notes"},{"key":"66_CR8","unstructured":"The ATL Model Transformation Language, \n                  \n                    http:\/\/www.emn.fr\/z-info\/atlanmod\/index.php\/Model_Transformation"},{"key":"66_CR9","unstructured":"ATLAS group LINA and INRIA.: ATL: Atlas Transformation Language (2006)"},{"issue":"1\/2","key":"66_CR10","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/j.scico.2007.08.002","volume":"72","author":"F. Jouault","year":"2008","unstructured":"Jouault, F., Allilaire, F., B\u00e9zivin, J., Kurtev, I.: ATL: A model transformation tool. Science of Computer Programming\u00a072(1\/2), 31\u201339 (2008)","journal-title":"Science of Computer Programming"},{"key":"66_CR11","volume-title":"Proc. DATE 2009","author":"Z. Yang","year":"2009","unstructured":"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)"},{"key":"66_CR12","unstructured":"UPPAAL, \n                  \n                    http:\/\/www.uppaal.org\/"},{"key":"66_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/978-3-642-01924-1_15","volume-title":"Reliable Software Technologies \u2013 Ada-Europe 2009","author":"B. Berthomieu","year":"2009","unstructured":"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.\u00a05570, pp. 207\u2013221. Springer, Heidelberg (2009)"},{"key":"66_CR14","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1145\/774572.774592"}],"container-title":["Communications in Computer and Information Science","Trustworthy Computing and Services"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35795-4_66.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T09:31:19Z","timestamp":1620120679000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35795-4_66"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642357947","9783642357954"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35795-4_66","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2013]]}}}