{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T07:38:23Z","timestamp":1648971503147},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2016,12,1]],"date-time":"2016-12-01T00:00:00Z","timestamp":1480550400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int. J. Autom. Comput."],"published-print":{"date-parts":[[2016,12]]},"DOI":"10.1007\/s11633-016-1028-9","type":"journal-article","created":{"date-parts":[[2016,12,2]],"date-time":"2016-12-02T08:09:45Z","timestamp":1480666185000},"page":"552-564","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["xBreeze\/ADL: A language for software architecture specification and analysis"],"prefix":"10.1007","volume":"13","author":[{"given":"Chen","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hong-Ji","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mei-Yu","family":"Shi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wei","family":"Zhu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,12,3]]},"reference":[{"key":"1028_CR1","first-page":"800","volume-title":"Proceedings of the 37th IEEE Computer Software and Applications Conference","author":"C. Li","year":"2013","unstructured":"C. Li, L. P. Huang, L. X. Chen, C. Y. Yu. Breeze\/ADL: Graph grammar support for an XML-based software architecture description language. In Proceedings of the 37th IEEE Computer Software and Applications Conference, IEEE, Kyoto, Japan, pp. 800\u2013805, 2013."},{"key":"1028_CR2","first-page":"291","volume-title":"Proceedings of the 7th International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing","author":"C. Li","year":"2013","unstructured":"C. Li, L. P. Huang, L. X. Chen, C. Y. Yu. BGG: A graph grammar approach for software architecture verification and reconfiguration. In Proceedings of the 7th International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing, IEEE, Taichung, Taiwan, China, pp. 291\u2013298, 2013."},{"issue":"3","key":"1028_CR3","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1145\/258077.258078","volume":"6","author":"R. Allen","year":"1997","unstructured":"R. Allen, D. Garlan. A formal basis for architectural connection. ACM Transactions on Software Engineering and Methodology, vol. 6, no. 3, pp. 213\u2013249, 1997.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"1028_CR4","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/BFb0053581","volume":"1382","author":"R. Allen","year":"1998","unstructured":"R. Allen, R. Douence, D. Garlan. Specifying and analyzing dynamic software architectures. In Proceedings of the First International Conference on Fundamental Approaches to Software Engineering, Springer, Lisbon, Portugal, vol. 1382, pp. 21\u201337, 1998.","journal-title":"Proceedings of the First International Conference on Fundamental Approaches to Software Engineering, Springer, Lisbon, Portugal"},{"key":"1028_CR5","volume-title":"An Introduction to the Aesop System","author":"D. Garlan","year":"2015","unstructured":"D. Garlan. An Introduction to the Aesop System, [Online], Available: http:\/\/www.cs.cmu.edu\/afs\/cs\/project\/able\/www\/aesop\/html\/aesopoverview.ps, May 10, 2015."},{"key":"1028_CR6","volume-title":"The ARDEC\/Teknowledge Architecture Description Language (ArTek)","author":"A. Terry","year":"1995","unstructured":"A. Terry, R. London, G. Papanagopoulos, M. Devito. The ARDEC\/Teknowledge Architecture Description Language (ArTek), Version 4.0, Technical Report, Teknowledge Federal System and U. S. Army Armament Research, Development and Engneer. Centery, USA, 1995."},{"issue":"6","key":"1028_CR7","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1145\/250707.239106","volume":"21","author":"N. Medvidovic","year":"1996","unstructured":"N. Medvidovic, P. Oreizy, J. E. Robbins, R. N. Taylor. Using object-oriented typing to support architectural design in the C2 style. ACM SIGSOFT Software Engineering Notes, vol. 21, no. 6, pp. 24\u201332, 1996.","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"issue":"2","key":"1028_CR8","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1142\/S0218194096000107","volume":"6","author":"P. Binns","year":"1996","unstructured":"P. Binns, M. Englehart, M. Jackson, S. Vestal. Domainspecific software architectures for guidance, navigation and control. International Journal of Software Engineering and Knowledge Engineering, vol. 6, no. 2, pp. 201\u2013227, 1996.","journal-title":"International Journal of Software Engineering and Knowledge Engineering"},{"key":"1028_CR9","first-page":"66","volume-title":"Proceedings of IEEE 2nd International Workshop on Software Reusability, IEEE","author":"W. Tracz","year":"1993","unstructured":"W. Tracz. LILEANNA: A parameterized programming language. In Proceedings of IEEE 2nd International Workshop on Software Reusability, IEEE, Lucca, Italy, pp. 66\u201378, 1993."},{"key":"1028_CR10","volume-title":"Introduction to SADL 1.0: A Language for Specifying Software Architecture Hierarchies","author":"M. Moriconi","year":"1997","unstructured":"M. Moriconi, R. A. Riemenschneider. Introduction to SADL 1.0: A Language for Specifying Software Architecture Hierarchies, Technical Report SRI-CSL-97-01, SRI International, USA, 1997."},{"key":"1028_CR11","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1109\/ICSE.1991.130620","volume-title":"Proceedings of IEEE 13th International Conference on Software Engineering","author":"M. M. Gorlick","year":"1991","unstructured":"M. M. Gorlick, R. R. Razouk. Using weaves for software construction and analysis. In Proceedings of IEEE 13th International Conference on Software Engineering, IEEE, Austin, USA, pp. 23\u201334, 1991."},{"key":"1028_CR12","first-page":"137","volume":"989","author":"J. Magee","year":"1995","unstructured":"J. Magee, N. Dulay, S. Eisenbach, J. Kramer. Specifying distributed software architectures. In Proceedings of the 5th European Software Engineering Conference, Springer, Sitges, Spain, vol. 989, pp. 137\u2013153, 1995.","journal-title":"Proceedings of the 5th European Software Engineering Conference, Springer, Sitges, Spain"},{"issue":"9","key":"1028_CR13","doi-asserted-by":"crossref","first-page":"717","DOI":"10.1109\/32.464548","volume":"21","author":"D. C. Luckham","year":"1995","unstructured":"D. C. Luckham, J. Vera. An event-based architecture definition language. IEEE Transactions on Software Engineering, vol. 21, no. 9, pp. 717\u2013734, 1995.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"4","key":"1028_CR14","doi-asserted-by":"crossref","first-page":"314","DOI":"10.1109\/32.385970","volume":"21","author":"M. Shaw","year":"1995","unstructured":"M. Shaw, R. DeLine, D. Klein, T. Ross, D. Young, G. Zelesnik. Abstractions for software architecture and tools to support them. IEEE Transactions on Software Engineering, vol. 21, no. 4, pp. 314\u2013335, 1995.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"1028_CR15","first-page":"159","volume-title":"Proceedings of the 1997 Conference of the Centre for Advanced Studies on Collaborative Research","author":"D. Garlan","year":"1997","unstructured":"D. Garlan, R. Monroe, D. Wile. ACME: An architecture description interchange language. In Proceedings of the 1997 Conference of the Centre for Advanced Studies on Collaborative Research, ACM, Ontario, Canada, pp. 159\u2013173, 1997."},{"key":"1028_CR16","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1109\/WICSA.2001.948416","volume-title":"Proceedings of 2001 Working IEEE\/IFIP Conference on Software Architecture","author":"E. M. Dashofy","year":"2001","unstructured":"E. M. Dashofy, A. Van der Hoek, R. N. Taylor. A highlyextensible, XML-based architecture description language. In Proceedings of 2001 Working IEEE\/IFIP Conference on Software Architecture, IEEE, Amsterdam, The Netherlands, pp. 103\u2013112, 2001."},{"key":"1028_CR17","first-page":"38","volume":"2495","author":"H. Mei","year":"2002","unstructured":"H. Mei, F. Chen, Q. X. Wang, Y. D. Feng. ABC\/ADL: An ADL supporting component composition. In Proceedings of the 4th International Conference on Formal Engineering Methods, Springer, Shanghai, China, vol. 2495, pp. 38\u201347, 2002.","journal-title":"Proceedings of the 4th International Conference on Formal Engineering Methods"},{"issue":"8","key":"1028_CR18","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C. A. R. Hoare","year":"1978","unstructured":"C. A. R. Hoare. Communicating sequential processes. Communications of the ACM, vol. 21, no. 8, pp. 666\u2013677, 1978.","journal-title":"Communications of the ACM"},{"key":"1028_CR19","first-page":"446","volume-title":"Proceedings of the 2nd International Workshop, Lecture Notes in Computer Science","author":"G. Taentzer","year":"2004","unstructured":"G. Taentzer. AGG: A graph transformation environment for modeling and validation of software. In Proceedings of the 2nd International Workshop, Lecture Notes in Computer Science, Springer, Charlottesville, USA, vol. 3062, pp. 446\u2013453, 2004."},{"issue":"7","key":"1028_CR20","doi-asserted-by":"crossref","first-page":"749","DOI":"10.1016\/S0952-1976(04)00108-3","volume":"17","author":"W. P. Jiao","year":"2004","unstructured":"W. P. Jiao, H. Mei. Automated adaptations to dynamic software architectures by using autonomous agents. Engineering Applications of Artificial Intelligence, vol. 17, no. 7, pp. 749\u2013770, 2004.","journal-title":"Engineering Applications of Artificial Intelligence"}],"container-title":["International Journal of Automation and Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11633-016-1028-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11633-016-1028-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11633-016-1028-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,16]],"date-time":"2019-09-16T05:51:35Z","timestamp":1568613095000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11633-016-1028-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12]]},"references-count":20,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2016,12]]}},"alternative-id":["1028"],"URL":"https:\/\/doi.org\/10.1007\/s11633-016-1028-9","relation":{},"ISSN":["1476-8186","1751-8520"],"issn-type":[{"value":"1476-8186","type":"print"},{"value":"1751-8520","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,12]]}}}