{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,7,18]],"date-time":"2023-07-18T05:40:29Z","timestamp":1689658829023},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2014,11,14]],"date-time":"2014-11-14T00:00:00Z","timestamp":1415923200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Front. Comput. Sci."],"published-print":{"date-parts":[[2015,2]]},"DOI":"10.1007\/s11704-014-3505-z","type":"journal-article","created":{"date-parts":[[2014,11,14]],"date-time":"2014-11-14T20:25:09Z","timestamp":1415996709000},"page":"15-33","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Integrating behavior analysis into architectural modeling"],"prefix":"10.1007","volume":"9","author":[{"given":"Luxi","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Linpeng","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chen","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tao","family":"Zan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,11,14]]},"reference":[{"issue":"4","key":"3505_CR1","doi-asserted-by":"crossref","first-page":"669","DOI":"10.1007\/s10270-013-0355-3","volume":"12","author":"Y Zheng","year":"2013","unstructured":"Zheng Y, Taylor R. A classification and rationalization of model-based software development. Software & Systems Modeling, 2013, 12(4): 669\u2013678","journal-title":"Software & Systems Modeling"},{"key":"3505_CR2","volume-title":"Architectural reasoning for safety-critical software applications","author":"W Wu","year":"2007","unstructured":"Wu W. Architectural reasoning for safety-critical software applications. Dissertation: Department of Computer Science, University of York, 2007"},{"key":"3505_CR3","first-page":"662","volume-title":"Proceedings of the 2013 International Conference on Software Engineering","author":"M Almorsy","year":"2013","unstructured":"Almorsy M, Grundy J, Ibrahim A S. Automated software architecture security risk analysis using formalized signatures. In: Proceedings of the 2013 International Conference on Software Engineering. 2013, 662\u2013671"},{"key":"3505_CR4","doi-asserted-by":"crossref","DOI":"10.21236\/ADA455842","volume-title":"The architecture analysis & design language (AADL): An introduction","author":"P H Feiler","year":"2006","unstructured":"Feiler P H, Gluch D P, Hudak J J. The architecture analysis & design language (AADL): An introduction. DTIC Document, 2006"},{"key":"3505_CR5","first-page":"130","volume-title":"Proceedings of the 14th IEEE International Symposium on High-Assurance Systems Engineering (HASE)","author":"A Johnsen","year":"2012","unstructured":"Johnsen A, Lundqvist K, Pettersson P, Jaradat O. Automated verification of AADL-specifications using UPPAAL. In: Proceedings of the 14th IEEE International Symposium on High-Assurance Systems Engineering (HASE). 2012, 130\u2013138"},{"key":"3505_CR6","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/978-3-642-13464-7_5","volume-title":"Formal Techniques for Distributed Systems","author":"P C \u00d6lveczky","year":"2010","unstructured":"\u00d6lveczky P C, Boronat A, Meseguer J. Formal semantics and analysis of behavioral AADL models in real-time Maude. Formal Techniques for Distributed Systems. LNCS, 2010, 6117: 47\u201362"},{"key":"3505_CR7","first-page":"105","volume-title":"Proceedings of the 5th European Conference on Software Architecture (ECSA)","author":"A Johnsen","year":"2011","unstructured":"Johnsen A, Pettersson P, Lundqvist K. An architecture-based verification technique for AADL specifications. In: Proceedings of the 5th European Conference on Software Architecture (ECSA). 2011, 105\u2013113"},{"issue":"5","key":"3505_CR8","doi-asserted-by":"crossref","first-page":"723","DOI":"10.1016\/j.jss.2009.11.709","volume":"83","author":"P Zhang","year":"2010","unstructured":"Zhang P, Muccini H, Li B. A classification and comparison of model checking software architecture techniques. Journal of Systems and Software, 2010, 83(5): 723\u2013744","journal-title":"Journal of Systems and Software"},{"key":"3505_CR9","doi-asserted-by":"crossref","first-page":"1166","DOI":"10.1109\/DATE.2009.5090839","volume-title":"Proceedings of the 2009 Design, Automation & Test in Europe Conference & Exhibition","author":"Z Yang","year":"2009","unstructured":"Yang Z, Hu K, Ma D, Pi L. Towards a formal semantics for the AADL behavior annex. In: Proceedings of the 2009 Design, Automation & Test in Europe Conference & Exhibition. 2009, 1166\u20131171"},{"issue":"2","key":"3505_CR10","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1007\/s11704-013-2047-0","volume":"7","author":"B Wang","year":"2013","unstructured":"Wang B, Hu Z, Sun Q, Zhao H, Xiong Y, Zhang W, Mei H. Supporting feature model refinement with updatable view. Frontiers of Computer Science, 2013, 7(2): 257\u2013271","journal-title":"Frontiers of Computer Science"},{"key":"3505_CR11","first-page":"315","volume-title":"Proceedings of the 7th Joint Meeting of the European Software Engineering Conference and the ACMSIGSOFT Symposium on the Foundations of Software Engineering","author":"Y Xiong","year":"2009","unstructured":"Xiong Y, Hu Z, Zhao H, Song H, Takeichi M, Mei H. Supporting automatic model inconsistency fixing. In: Proceedings of the 7th Joint Meeting of the European Software Engineering Conference and the ACMSIGSOFT Symposium on the Foundations of Software Engineering. 2009, 315\u2013324"},{"key":"3505_CR12","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1109\/WICSA.2001.948416","volume-title":"Proceedings of the 2001 Working IEEE\/IFIP Conference on Software Architecture","author":"E M Dashofy","year":"2001","unstructured":"Dashofy E M, Van der Hoek A, Taylor R N. A highly-extensible, XMLbased architecture description language. In: Proceedings of the 2001 Working IEEE\/IFIP Conference on Software Architecture. 2001, 103\u2013112"},{"key":"3505_CR13","first-page":"67","volume-title":"Proceedings of the 29th International Conference on Software Engineering-Companion Volume","author":"E Dashofy","year":"2007","unstructured":"Dashofy E, Asuncion H, Hendrickson S, Suryanarayana G, Georgas J, Taylor R. Archstudio 4: an architecture-based meta-modeling environment. In: Proceedings of the 29th International Conference on Software Engineering-Companion Volume. 2007, 67\u201368"},{"key":"3505_CR14","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1007\/978-3-540-39800-4_3","volume-title":"Formal Methods for Software Architectures","author":"J Kramer","year":"2003","unstructured":"Kramer J, Magee J, Uchitel S. Software architecture modeling & analysis: a rigorous approach. In: Formal Methods for Software Architectures. 2003, 44\u201351"},{"issue":"3","key":"3505_CR15","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1145\/258077.258078","volume":"6","author":"R Allen","year":"1997","unstructured":"Allen R, Garlan D. A formal basis for architectural connection. ACM Transactions on Software Engineering and Methodology (TOSEM), 1997, 6(3): 213\u2013249","journal-title":"ACM Transactions on Software Engineering and Methodology (TOSEM)"},{"key":"3505_CR16","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1145\/1925805.1925814","volume-title":"CASCON First Decade High Impact Papers","author":"D Garlan","year":"2010","unstructured":"Garlan D, Monroe R, Wile D. Acme: an architecture description interchange language. In: CASCON First Decade High Impact Papers. 2010, 159\u2013173"},{"issue":"1","key":"3505_CR17","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1109\/TSE.2009.51","volume":"36","author":"I Malavolta","year":"2010","unstructured":"Malavolta I, Muccini H, Pelliccione P, Tamburri D A. Providing architectural languages and tools interoperability through model transformation technologies. IEEE Transactions on Software Engineering, 2010, 36(1): 119\u2013140","journal-title":"IEEE Transactions on Software Engineering"},{"key":"3505_CR18","first-page":"341","volume-title":"Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems","author":"I Malavolta","year":"2009","unstructured":"Malavolta I, Muccini H, Pelliccione P. Integrating AADL within a multi-domain modeling framework. In: Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems. 2009, 341\u2013346"},{"key":"3505_CR19","first-page":"31","volume-title":"Proceedings of the 1st International Conference on Model Transformations","author":"T Hettel","year":"2008","unstructured":"Hettel T, Lawley M, Raymond K. Model synchronisation: definitions for round-trip engineering. In: Proceedings of the 1st International Conference on Model Transformations. 2008, 31\u201345"},{"key":"3505_CR20","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1145\/1863543.1863573","volume-title":"Proceedings of the 15th ACM SIGPLAN International Conference on Functional Programming","author":"S Hidaka","year":"2010","unstructured":"Hidaka S, Hu Z, Inaba K, Kato H, Matsuda K, Nakano K. Bidirectionalizing graph transformations. In: Proceedings of the 15th ACM SIGPLAN International Conference on Functional Programming. 2010, 205\u2013216"},{"issue":"5","key":"3505_CR21","doi-asserted-by":"crossref","first-page":"711","DOI":"10.1016\/j.jss.2010.12.009","volume":"84","author":"H Song","year":"2011","unstructured":"Song H, Huang G, Chauvel F, Xiong Y, Hu Z, Sun Y, Mei H. Supporting runtime software architecture: a bidirectional-transformation-based approach. Journal of Systems and Software, 2011, 84(5): 711\u2013723","journal-title":"Journal of Systems and Software"},{"key":"3505_CR22","first-page":"540","volume-title":"Proceedings of the 2012 International Conference on Software Engineering","author":"Y Yu","year":"2012","unstructured":"Yu Y, Lin Y, Hu Z, Hidaka S, Kato H, Montrieux L. Maintaining invariant traceability through bidirectional transformations. In: Proceedings of the 2012 International Conference on Software Engineering. 2012, 540\u2013550"},{"key":"3505_CR23","doi-asserted-by":"crossref","first-page":"164","DOI":"10.1145\/1321631.1321657","volume-title":"Proceedings of the 22nd IEEE\/ACM International Conference on Automated Software Engineering","author":"Y Xiong","year":"2007","unstructured":"Xiong Y, Liu D, Hu Z, Zhao H, Takeichi M, Mei H. Towards automatic model synchronization from model transformations. In: Proceedings of the 22nd IEEE\/ACM International Conference on Automated Software Engineering. 2007, 164\u2013173"},{"key":"3505_CR24","volume-title":"Dependability modeling with the architecture analysis & design language (AADL)","author":"P Feiler","year":"2007","unstructured":"Feiler P, Rugina A. Dependability modeling with the architecture analysis & design language (AADL). DTIC Document, 2007"},{"key":"3505_CR25","volume-title":"Proceedings of the 2006 Data Systems in Aerospace Conference","author":"P Dissaux","year":"2006","unstructured":"Dissaux P, Bodeveix J P, Filali M, Gaufillet P, Vernadat F. AADL behavioral annex. In: Proceedings of the 2006 Data Systems in Aerospace Conference. 2006"},{"key":"3505_CR26","first-page":"480","volume-title":"Proceedings of 26th IEEE\/ACM International Conference on Automated Software Engineering (ASE)","author":"S Hidaka","year":"2011","unstructured":"Hidaka S, Hu Z, Inaba K, Kato H, Nakano K. GRoundTram: an integrated framework for developing well-behaved bidirectional model transformations. In: Proceedings of 26th IEEE\/ACM International Conference on Automated Software Engineering (ASE). 2011, 480\u2013483"},{"key":"3505_CR27","first-page":"235","volume-title":"Proceedings of the 31st International Conference on Software Engineering-Companion Volume","author":"S Hidaka","year":"2009","unstructured":"Hidaka S, Hu Z, Kato H, Nakano K. A compositional approach to bidirectional model transformation. In: Proceedings of the 31st International Conference on Software Engineering-Companion Volume. 2009, 235\u2013238"},{"key":"3505_CR28","volume-title":"GRound-Tram Version 0.9. 3 User Manual","author":"S Hidaka","year":"2008","unstructured":"Hidaka S, Hu Z, Inaba K, Kato H, Matsuda K, Nakano K. GRound-Tram Version 0.9. 3 User Manual, 2008"}],"container-title":["Frontiers of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-014-3505-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11704-014-3505-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-014-3505-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,18]],"date-time":"2023-07-18T05:08:18Z","timestamp":1689656898000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11704-014-3505-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11,14]]},"references-count":28,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2015,2]]}},"alternative-id":["3505"],"URL":"https:\/\/doi.org\/10.1007\/s11704-014-3505-z","relation":{},"ISSN":["2095-2228","2095-2236"],"issn-type":[{"value":"2095-2228","type":"print"},{"value":"2095-2236","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,11,14]]}}}