{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T04:40:01Z","timestamp":1737520801063,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540768364"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-76837-1_69","type":"book-chapter","created":{"date-parts":[[2007,11,6]],"date-time":"2007-11-06T10:25:50Z","timestamp":1194344750000},"page":"640-649","source":"Crossref","is-referenced-by-count":1,"title":["Formal Semantic Meanings of Architecture-Centric Model Mapping"],"prefix":"10.1007","author":[{"given":"Xiao","family":"Yang","sequence":"first","affiliation":[]},{"given":"Jinkui","family":"Hou","sequence":"additional","affiliation":[]},{"given":"Jiancheng","family":"Wan","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"69_CR1","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1147\/sj.453.0451","volume":"45","author":"H. Brent","year":"2006","unstructured":"Brent, H., Peri, T.: Model-driven development: The good, the bad, and the ugly. IBM Systems Journal\u00a045(3), 451\u2013461 (2006)","journal-title":"IBM Systems Journal"},{"issue":"3","key":"69_CR2","doi-asserted-by":"publisher","first-page":"621","DOI":"10.1147\/sj.453.0621","volume":"45","author":"C. Krzysztof","year":"2006","unstructured":"Krzysztof, C., Simon, H.: Feature-based survey of model transformation approaches. IBM Systems Journal\u00a045(3), 621\u2013644 (2006)","journal-title":"IBM Systems Journal"},{"issue":"2","key":"69_CR3","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1109\/MS.2005.45","volume":"22","author":"G. Caplat","year":"2005","unstructured":"Caplat, G., Sourrouille, J.L.: Model Mapping Using Formalism Extensions. IEEE Software\u00a022(2), 44\u201351 (2005)","journal-title":"IEEE Software"},{"key":"69_CR4","volume-title":"Category Theory for Computing Scince","author":"M. Barr","year":"1990","unstructured":"Barr, M., Wells, C.: Category Theory for Computing Scince. Prentice-Hall, Englewood Cliffs (1990)"},{"issue":"1","key":"69_CR5","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1017\/S0960129500000050","volume":"1","author":"J. Goguen","year":"1991","unstructured":"Goguen, J.: A Categorical Manifesto. Mathematical Structures in Computer Science\u00a01(1), 49\u201367 (1991)","journal-title":"Mathematical Structures in Computer Science"},{"issue":"1","key":"69_CR6","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1142\/S0218194000000067","volume":"10","author":"J.G. Mark","year":"2000","unstructured":"Mark, J.G.: Specification of Software Architecture. Journal on Software Engineering and Knowledge Engineering\u00a010(1), 69\u201395 (2000)","journal-title":"Journal on Software Engineering and Knowledge Engineering"},{"key":"69_CR7","doi-asserted-by":"crossref","unstructured":"Fiadeiro, J.L., Maibaum, T.: A Mathematical Toolbox for the Software Architect. In: Proc. 8th International Workshop on Software Specification and Design, pp. 46\u201355 (1995)","DOI":"10.1109\/IWSSD.1996.501146"},{"issue":"1","key":"69_CR8","doi-asserted-by":"publisher","first-page":"231","DOI":"10.2307\/1990284","volume":"58","author":"S. Eilenberg","year":"1945","unstructured":"Eilenberg, S., MacLane, S.: General theory of natural equivalences. Transactions of the American Mathematical Society\u00a058(1), 231\u2013245 (1945)","journal-title":"Transactions of the American Mathematical Society"},{"key":"69_CR9","unstructured":"Colin, A., Joachim, B., Christian, B., et al.: Component-Based Product Line Engineering with UML, Addison-Wesley Professional, Pearson Education, Boston (2002)"},{"key":"69_CR10","first-page":"185","volume-title":"ECBS 2002","author":"J. Guo","year":"2002","unstructured":"Guo, J.: Using category theory to model software component dependencies. In: ECBS 2002. Proc. of the 9th Annual IEEE Int\u2019l Conf. and Workshop on the Engineering of Computer-Based Systems, pp. 185\u2013192. IEEE Computer Society, Los Alamitos (2002)"},{"key":"69_CR11","volume-title":"MDA Explained: The Model Driven Architecture: Practice and Promise","author":"A. Kleppe","year":"2003","unstructured":"Kleppe, A., Warmer, J., Bast, W.: MDA Explained: The Model Driven Architecture: Practice and Promise. Addison-Wesley, Boston (2003)"},{"key":"69_CR12","doi-asserted-by":"crossref","unstructured":"Bezivin, J., Hammoudi, S., Lopes, D., Jouault, F.: Applying MDA approach for Web service platform. In: Proc. of Enterprise Distributed Object Computing Conference, Monterey, California, USA, pp. 58\u201370 (2004)","DOI":"10.1109\/EDOC.2004.1342505"}],"container-title":["Lecture Notes in Computer Science","Advanced Parallel Processing Technologies"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-76837-1_69.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T03:41:12Z","timestamp":1737517272000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-76837-1_69"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540768364"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-76837-1_69","relation":{},"subject":[]}}