{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,25]],"date-time":"2025-05-25T04:03:02Z","timestamp":1748145782542,"version":"3.41.0"},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Automated Software Engineering"],"published-print":{"date-parts":[[2001,1]]},"DOI":"10.1023\/a:1008763724785","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T16:37:32Z","timestamp":1040575052000},"page":"63-88","source":"Crossref","is-referenced-by-count":4,"title":["Modeling Architecture Description Languages Using AML"],"prefix":"10.1007","volume":"8","author":[{"given":"David","family":"Wile","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"312475_CR1","unstructured":"Allen, R. 1997. A formal approach to software architecture. Ph.D. Thesis. Carnegie Mellon University CMU Tech. Report CMU-CS-97-144."},{"key":"312475_CR2","unstructured":"Booch, G., Jacobson, I., and Rumbaugh, J. 1997. The unified modeling language for Object-0Oriented development. Documentation Set. Rational Software Corporation."},{"key":"312475_CR3","doi-asserted-by":"crossref","unstructured":"Fickas, S. and Feather, M. 1995. Requirements monitoring in dynamic environments. In Proceedings of the Second IEEE International Symposium on Requirements Engineering, York, England, March, pp. 140-147.","DOI":"10.1109\/ISRE.1995.512555"},{"key":"312475_CR4","unstructured":"Garlan, D., Monroe, R., and Wile, D. 1997. Acme: An architecture description interchange language. In Proceedings of CASCON '97. (See also: http\/\/www.cs.cmu.edu\/~acme\/)"},{"key":"312475_CR5","volume-title":"Foundations of Component-Based Systems","author":"D. Garlan","year":"2000","unstructured":"Garlan, D., Monroe, R., and Wile, D. 2000. Architectural descriptions of component-based systems. In G. Leavens and M. Sitaraman, editors, Foundations of Component-Based Systems. Dordrecht: Kluwer."},{"key":"312475_CR6","doi-asserted-by":"crossref","unstructured":"Goldman, N. and Naryanaswamy, K. 1992. Software evolution through iterative prototyping. In ICSE, pp. 158-172.","DOI":"10.1109\/ICSE.1992.753497"},{"issue":"2","key":"312475_CR7","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/0167-6423(86)90021-3","volume":"6","author":"J. Guttag","year":"1986","unstructured":"Guttag, J. and Horning, J. 1986. Report on the Larch shared language. Science of Computer Programming, 6(2):103-134.","journal-title":"Science of Computer Programming"},{"key":"312475_CR8","unstructured":"Hudak, P. 1998. Acme HOT. Draft Report, Yale Computer Science."},{"key":"312475_CR9","unstructured":"Jackson, D. A lightweight object modelling notation. http:\/\/sdg.lcs.mit.edu\/~dnj\/abstracts.html#alloy."},{"issue":"4","key":"312475_CR10","doi-asserted-by":"crossref","first-page":"336","DOI":"10.1109\/32.385971","volume":"21","author":"D. Luckham","year":"1995","unstructured":"Luckham, D., Kenney, J., Augustin, L., Vera, J., Bryan, D., and Mann, W. 1995. Specification and analysis of system architecture using Rapide. IEEE Transactions on Software Engineereing, 21(4):336-355. (See also: http:\/\/anna.stanford.edu\/rapide\/).","journal-title":"IEEE Transactions on Software Engineereing"},{"key":"312475_CR11","doi-asserted-by":"crossref","unstructured":"Magee, J. and Kramer, J. 1996. Dynamic structure in software architectures. In Proceeding of the ACM SIGSOFT '96: Fourth Symposium on the Foundations of Software Engineering. San Francisco, CA, Oct., pp. 24-32.","DOI":"10.1145\/239098.239104"},{"issue":"1","key":"312475_CR12","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1109\/32.825767","volume":"26","author":"N. Medvidovic","year":"2000","unstructured":"Medvidovic, N. and Taylor, R.N. 2000. A classification and comparison framework for software architecture description languages. IEEE Transactions of Software Engineering, 26(1):70-93.","journal-title":"IEEE Transactions of Software Engineering"},{"issue":"4","key":"312475_CR13","doi-asserted-by":"crossref","first-page":"356","DOI":"10.1109\/32.385972","volume":"21","author":"M. Moriconi","year":"1995","unstructured":"Moriconi, M., Qian, X., and Riemenschneider, R.A. 1995. Correct architecture refinement. IEEE Transactions on Software Engineering, 21(4):356-372.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"312475_CR14","doi-asserted-by":"crossref","unstructured":"Minsky, N. 1996. Independent on-line monitoring of evolving systems. In ICSE 96, Berlin, Germany, pp. 134-143.","DOI":"10.1109\/ICSE.1996.493409"},{"key":"312475_CR15","unstructured":"Monroe, R. 1998. Capturing software architecture design expertise with Armani. TR CMU-CS-98-163, Carnegie Mellon University. Revised October, 1999."},{"key":"312475_CR16","unstructured":"Monroe, R. 1999. Rapid development of custom software design environments. Ph.D. Dissertation. Carnegie Mellon University."},{"key":"312475_CR17","unstructured":"0.html."},{"key":"312475_CR18","doi-asserted-by":"crossref","unstructured":"Robbins, J., Medvidovic, N., Redmiles, D., and Rosenblum, D. 1998. Integrating architecture description languages with a standard design method. In Proceedings of the Twentieth International Conference on Software Engineering (ICSE \u00d498, Kyoto, Japan), IEEE Computer Society Press, April 19\u201325, 1998, pp. 209-218.","DOI":"10.1109\/ICSE.1998.671120"},{"issue":"4","key":"312475_CR19","doi-asserted-by":"crossref","first-page":"314","DOI":"10.1109\/32.385970","volume":"21","author":"M. Shaw","year":"1998","unstructured":"Shaw, M., DeLine, R., Klein, D.V., Ross, T.L., Young, D.M., and Zelesnik, G. 1998. Abstractions for software architecture and tools to support them. IEEE Transactions of Software Engineering, 21(4):314-335.","journal-title":"IEEE Transactions of Software Engineering"},{"issue":"6","key":"312475_CR20","doi-asserted-by":"crossref","first-page":"390","DOI":"10.1109\/32.508313","volume":"22","author":"R.N. Taylor","year":"1996","unstructured":"Taylor, R.N., Medvidovic, N., Anderson, K., Whitehead, E.J., Robbins, J., Nies, K., Oreizy, P., and Dubrow, D. 1996. A component-and message-based architectural style for GUI software. IEEE Transactions on Software Engineering, 22(6):390-406.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"312475_CR21","doi-asserted-by":"crossref","unstructured":"Wile, D. 1990. Adding relational abstraction to programming languages. In Proceedings of the ACM SIGSOFT International Workshop on Formal Methods in Software Development. Napa, CA, pp. 128-139.","DOI":"10.1145\/99569.99833"},{"key":"312475_CR22","unstructured":"Wile, D. 1999a. Web site. http:\/\/www.isi.edu\/software-sciences\/wile\/home-page.html."},{"key":"312475_CR23","unstructured":"Wile, D. 1999b. AML: An architecture meta-language. In Proceedings of the IEEE Conference on Automated Software Engineering. Cocoa Beach, FL, Oct."}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008763724785.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008763724785\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008763724785.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T06:56:45Z","timestamp":1748069805000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008763724785"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,1]]},"references-count":23,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2001,1]]}},"alternative-id":["312475"],"URL":"https:\/\/doi.org\/10.1023\/a:1008763724785","relation":{},"ISSN":["0928-8910","1573-7535"],"issn-type":[{"type":"print","value":"0928-8910"},{"type":"electronic","value":"1573-7535"}],"subject":[],"published":{"date-parts":[[2001,1]]}}}