{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:51:41Z","timestamp":1725468701358},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540400561"},{"type":"electronic","value":"9783540400585"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11859802_52","type":"book-chapter","created":{"date-parts":[[2006,8,26]],"date-time":"2006-08-26T09:13:27Z","timestamp":1156583607000},"page":"516-522","source":"Crossref","is-referenced-by-count":0,"title":["A DDL\u2013Based Software Architecture Model"],"prefix":"10.1007","author":[{"given":"Meiling","family":"Wang","sequence":"first","affiliation":[]},{"given":"Lei","family":"Liu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"52_CR1","volume-title":"Software Architecture in Practice","author":"L. Bass","year":"1998","unstructured":"Bass, L., Clements, P., Kazman, R.: Software Architecture in Practice. Addison-Wesley, Reading (1998)"},{"key":"52_CR2","doi-asserted-by":"crossref","unstructured":"Liu, X., Li, M., Wang, Q., Zhou, J.: Review of software architecture analysis and evaluation methods. Jounal of Computer Research and Development\u00a042(7) (2005)","DOI":"10.1360\/crad20050724"},{"key":"52_CR3","first-page":"43","volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","author":"F. Baader","year":"2003","unstructured":"Baader, F., Nutt, W.: Basic Description Logics. In: Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.) The Description Logic Handbook: Theory, Implementation, and Applications, pp. 43\u201395. Cambridge University Press, Cambridge (2003)"},{"key":"52_CR4","first-page":"431","volume-title":"Advances in Modal Logic II","author":"F. Wolter","year":"2001","unstructured":"Wolter, F., Zakharyaschev, M.: Dynamic Description Logic. In: Zakharyaschev, M., Segerberg, K., de Rijke, M., Wansing, H. (eds.) Advances in Modal Logic II, pp. 431\u2013445. CSLI Publications, Stanford (2001)"},{"issue":"10","key":"52_CR5","first-page":"1123","volume":"34","author":"Z. Shi","year":"2004","unstructured":"Shi, Z., Dong, M., Jiang, Y., Zhang, H.: Logic foundation for the Semantic Web. SCIENCE IN CHINA Ser. E Information Sciences\u00a034(10), 1123\u20131138 (2004)","journal-title":"SCIENCE IN CHINA Ser. E Information Sciences"},{"key":"52_CR6","doi-asserted-by":"crossref","unstructured":"Shaw, M.G.D.: An Introduction to Software Architecture. Advances in Software Engineering and Knowledge Engineering\u00a01 (1993)","DOI":"10.1142\/9789812798039_0001"},{"issue":"3","key":"52_CR7","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1145\/122296.122309","volume":"2","author":"R.M. MacGregor","year":"1991","unstructured":"MacGregor, R.M.: Inside the LOOM description classifier. SIGART Bulletin\u00a02(3), 88\u201392 (1991)","journal-title":"SIGART Bulletin"},{"key":"52_CR8","unstructured":"Haarslev, V., M\u00f6ller, R.: Racer: A core inference engine for the Semantic Web. In: Proceedings of the 2nd International Workshop on Evaluation of Ontology-based Tools (EON2003), located at the 2nd International Semantic Web Conference ISWC 2003, Sanibel Island, Florida, USA, October 20, pp. 27\u201336 (2003)"},{"key":"52_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/978-3-540-45221-8_28","volume-title":"\u00abUML\u00bb 2003 - The Unified Modeling Language. Modeling Languages and Applications","author":"R.V.D. Straeten","year":"2003","unstructured":"Straeten, R.V.D., Mens, T., Simmonds, J., Jonckers, V.: Using Description Logic to Maintain Consistency between UML Models. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol.\u00a02863, pp. 326\u2013340. Springer, Heidelberg (2003)"},{"issue":"1","key":"52_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(91)90078-X","volume":"48","author":"M. Schmidt-Schaub\u03b2","year":"1991","unstructured":"Schmidt-Schaub\u03b2, M., Smolka, G.: Attributive concept descriptions with complements. Artif. Intell.\u00a048(1), 1\u201326 (1991)","journal-title":"Artif. Intell."},{"issue":"4","key":"52_CR11","first-page":"713","volume":"14","author":"X. Zhu","year":"2003","unstructured":"Zhu, X., Tang, Z.: A temporal logic-based software architecture description language XYZ\/ADL. Journal of Software\u00a014(4), 713\u2013720 (2003)","journal-title":"Journal of Software"},{"key":"52_CR12","doi-asserted-by":"crossref","unstructured":"Magee, J., Dulay, N., Eisenbach, S., Kramer, J.: Specifying distributed software architectures. In: ESEC, pp. 137\u2013153 (1995)","DOI":"10.1007\/3-540-60406-5_12"},{"issue":"3","key":"52_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/986710.986728","volume":"29","author":"F. Oquendo","year":"2004","unstructured":"Oquendo, F.: \u03c0-ADL: an architecture description language based on the higher-order typed \u03c0-Calculus for specifying dynamic and mobile software architectures. SIGSOFT Softw. Eng. Notes\u00a029(3), 1\u201314 (2004)","journal-title":"SIGSOFT Softw. Eng. Notes"}],"container-title":["Lecture Notes in Computer Science","Advances in Computer Systems Architecture"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11859802_52.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:43:40Z","timestamp":1605642220000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11859802_52"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540400561","9783540400585"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/11859802_52","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}