{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T20:53:38Z","timestamp":1725915218616},"publisher-location":"Cham","reference-count":9,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319685410"},{"type":"electronic","value":"9783319685427"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-68542-7_72","type":"book-chapter","created":{"date-parts":[[2017,11,1]],"date-time":"2017-11-01T11:23:50Z","timestamp":1509535430000},"page":"816-822","source":"Crossref","is-referenced-by-count":0,"title":["The Formal Transformation of AADL Based on Z-CoIA"],"prefix":"10.1007","author":[{"given":"Fugao","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zining","family":"Cao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,11,2]]},"reference":[{"issue":"2","key":"72_CR1","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1016\/j.jss.2014.02.058","volume":"93","author":"Z Yang","year":"2014","unstructured":"Yang, Z., Hu, K., Ma, D., et al.: From AADL to timed abstract state machines: a verified model transformation. J. Syst. Softw. 93(2), 42\u201368 (2014)","journal-title":"J. Syst. Softw."},{"key":"72_CR2","unstructured":"Wu, Y.: The study of formal verification of embedded software based on AADL. Shanxi Normal University (2014)"},{"key":"72_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-540-85289-6_7","volume-title":"The Common Component Modeling Example","author":"B Zimmerova","year":"2008","unstructured":"Zimmerova, B., Va\u0159ekov\u00e1, P., Bene\u0161, N., \u010cern\u00e1, I., Brim, L., Sochor, J.: Component-interaction automata approach (CoIn). In: Rausch, A., Reussner, R., Mirandola, R., Pl\u00e1\u0161il, F. (eds.) The Common Component Modeling Example. LNCS, vol. 5153, pp. 146\u2013176. Springer, Heidelberg (2008). doi:\n10.1007\/978-3-540-85289-6_7"},{"issue":"9","key":"72_CR4","first-page":"151","volume":"37","author":"J Yangli","year":"2010","unstructured":"Yangli, J., Zhenling, Z.: Formal model of component real-time interaction behavior based on automata theory. J. Comput. Sci. 37(9), 151\u2013156 (2010)","journal-title":"J. Comput. Sci."},{"key":"72_CR5","unstructured":"Yuyu, Z.: The study of component behavior consistency based on constraints interaction automata. Harbin Engineering University (2012)"},{"key":"72_CR6","unstructured":"Zining, C.: Temporal logics and model checking algorithms for ZIAs. In: International Conference on Software Engineering and Data Mining, New York, pp. 57\u201362. IEEE Press (2010)"},{"key":"72_CR7","unstructured":"Jonathan, B., Bowen, A.J.: Formal specification and documentation using Z: a case study approach (2003)"},{"issue":"3\u20134","key":"72_CR8","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/j.sysarc.2015.02.003","volume":"61","author":"K Hu","year":"2015","unstructured":"Hu, K., et al.: Exploring AADL verification tool through model transformation. J. Syst. Archit. 61(3\u20134), 141\u2013156 (2015)","journal-title":"J. Syst. Archit."},{"key":"72_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-319-19584-1_10","volume-title":"Reliable Software Technologies \u2013 Ada-Europe 2015","author":"H Mkaouar","year":"2015","unstructured":"Mkaouar, H., Zalila, B., Hugues, J., Jmaiel, M.: From AADL model to LNT specification. In: de la Puente, J.A., Vardanega, T. (eds.) Ada-Europe 2015. LNCS, vol. 9111, pp. 146\u2013161. Springer, Cham (2015). doi:\n10.1007\/978-3-319-19584-1_10"}],"container-title":["Lecture Notes in Computer Science","Cloud Computing and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-68542-7_72","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,11,1]],"date-time":"2017-11-01T11:46:13Z","timestamp":1509536773000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-68542-7_72"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319685410","9783319685427"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-68542-7_72","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}