{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,7]],"date-time":"2026-02-07T03:41:29Z","timestamp":1770435689811,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642357428","type":"print"},{"value":"9783642357435","type":"electronic"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-35743-5_7","type":"book-chapter","created":{"date-parts":[[2012,12,14]],"date-time":"2012-12-14T01:40:42Z","timestamp":1355449242000},"page":"97-114","source":"Crossref","is-referenced-by-count":7,"title":["Interactive Transformations from Object-Oriented Models to Component-Based Models"],"prefix":"10.1007","author":[{"given":"Dan","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaoshan","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhiming","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Volker","family":"Stolz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"Fundamentals of Software Engineering","year":"2010","unstructured":"Arbab, F., Sirjani, M. (eds.): FSEN 2009. LNCS, vol.\u00a05961. Springer, Heidelberg (2010)"},{"key":"7_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-02414-6_1","volume-title":"Component-Based Software Engineering","author":"D. Birkmeier","year":"2009","unstructured":"Birkmeier, D., Overhage, S.: On Component Identification Approaches \u2013 Classification, State of the Art, and Comparison. In: Lewis, G.A., Poernomo, I., Hofmeister, C. (eds.) CBSE 2009. LNCS, vol.\u00a05582, pp. 1\u201318. Springer, Heidelberg (2009)"},{"issue":"4","key":"7_CR3","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1016\/j.scico.2008.08.003","volume":"74","author":"Z. Chen","year":"2009","unstructured":"Chen, Z., Liu, Z., Ravn, A.P., Stolz, V., Zhan, N.: Refinement and verification in component-based model driven design. Sci. Comput. Program.\u00a074(4), 168\u2013196 (2009)","journal-title":"Sci. Comput. Program."},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Chen, Z., Morisset, C., Stolz, V.: Specification and validation of behavioural protocols in the rCOS modeler. In: Arbab and Sirjani [1], pp. 387\u2013401","DOI":"10.1007\/978-3-642-11623-0_23"},{"key":"7_CR5","first-page":"247","volume":"22","author":"M. Choi","year":"2006","unstructured":"Choi, M., Cho, E.: Component Identification Methods Applying Method Call Types between Classes. J. Inf. Sci. Eng.\u00a022, 247\u2013267 (2006)","journal-title":"J. Inf. Sci. Eng."},{"key":"7_CR6","unstructured":"Fan-Chao, M., Den-Chen, Z., Xiao-Fei, X.: Business Component Identification of Enterprise Information System: A Hierarchical Clustering Method. In: Proc. of the 2005 IEEE Intl. Conf. on e-Business Engineering (2005)"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Harel, D., Marelly, R.: Come, Let\u2019s Play: Scenario-Based Programming Using LSC\u2019s and the Play-Engine. Springer (2003)","DOI":"10.1007\/978-3-642-19029-2"},{"issue":"1-2","key":"7_CR8","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/j.tcs.2006.07.034","volume":"365","author":"J. He","year":"2006","unstructured":"He, J., Liu, Z., Li, X.: rCOS: A refinement calculus of object systems. Theor. Comput. Sci.\u00a0365(1-2), 109\u2013142 (2006)","journal-title":"Theor. Comput. Sci."},{"key":"7_CR9","unstructured":"Lee, S.D., Yang, Y.J., Cho, F.S., Kim, S.D., Rhew, S.Y.: COMO: A UML-based component development methodology. In: 6th Asia Pacific Softw. Eng. Conf., pp. 54\u201361. IEEE (1999)"},{"key":"7_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1921532.1921563","volume":"36","author":"D. Li","year":"2011","unstructured":"Li, D., Li, X., Stolz, V.: QVT-based model transformation using XSLT. SIGSOFT Softw. Eng. Notes\u00a036, 1\u20138 (2011)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Liu, Z., Mencl, V., Ravn, A.P., Yang, L.: Harnessing theories for tool support. In: Proc. of the Second Intl. Symp. on Leveraging Applications of Formal Methods, Verification and Validation, isola 2006, pp. 371\u2013382. IEEE Computer Society Press (August 2006)","DOI":"10.1109\/ISoLA.2006.49"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Liu, Z., Morisset, C., Stolz, V.: rCOS: theory and tools for component-based model driven development. In: Arbab and Sirjani [1], pp. 62\u201380","DOI":"10.1007\/978-3-642-11623-0_3"},{"key":"7_CR13","unstructured":"Object Management Group. UML 2.0 Diagram Interchange Specification (September 2003), \n                  \n                    http:\/\/www.omg.org\/cgi-bin\/doc?ptc\/2003-09-01"},{"key":"7_CR14","unstructured":"Object Management Group. Meta Object Facility (MOF) 2.0 Query\/View\/Transformation Specification, Version 1.1 (December 2009)"},{"key":"7_CR15","unstructured":"Object Management Group. Unified Modeling Language: Superstructure, version 2.3 (May 2010), \n                  \n                    http:\/\/www.omg.org\/spec\/UML\/2.3\/Superstructure"},{"key":"7_CR16","first-page":"359","volume-title":"ASE 2006: Proc. of the 21st IEEE\/ACM Intl. Conf. on Automated Software Engineering","author":"N. Pontisso","year":"2006","unstructured":"Pontisso, N., Chemouil, D.: TOPCASED Combining formal methods with model-driven engineering. In: ASE 2006: Proc. of the 21st IEEE\/ACM Intl. Conf. on Automated Software Engineering, pp. 359\u2013360. IEEE Computer Society, Washington, DC (2006)"},{"key":"7_CR17","series-title":"Lecture Notes in Computer Science","volume-title":"The Common Component Modeling Example","year":"2008","unstructured":"Rausch, A., Reussner, R., Mirandola, R., Pl\u00e1\u0161il, F. (eds.): The Common Component Modeling Example. LNCS, vol.\u00a05153. Springer, Heidelberg (2008)"},{"issue":"6","key":"7_CR18","doi-asserted-by":"publisher","first-page":"77","DOI":"10.5381\/jot.2010.9.6.a4","volume":"9","author":"G. Shahmohammadi","year":"2010","unstructured":"Shahmohammadi, G., Jalili, S., Hasheminejad, S.M.H.: Identification of System Software Components Using Clustering Approach. Journal of Object Technology\u00a09(6), 77\u201398 (2010)","journal-title":"Journal of Object Technology"},{"key":"7_CR19","unstructured":"Szyperski, C., Gruntz, D., Murer, S.: Component software: beyond object-oriented programming. Addison-Wesley Professional (2002)"},{"issue":"4","key":"7_CR20","first-page":"229","volume":"2","author":"Z. Wang","year":"2005","unstructured":"Wang, Z., Xu, X., Zhan, D.: A survey of business component identification methods and related techniques. International Journal of Information Technology\u00a02(4), 229\u2013238 (2005)","journal-title":"International Journal of Information Technology"},{"key":"7_CR21","unstructured":"WWW Consortium. XSL Transformations (XSLT) Version 2.0, W3C Recommendation (January 2007), \n                  \n                    http:\/\/www.w3.org\/TR\/2007\/REC-xslt20-20070123\/"},{"issue":"1-2","key":"7_CR22","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/s00165-007-0067-y","volume":"21","author":"L. Zhao","year":"2009","unstructured":"Zhao, L., Liu, X., Liu, Z., Qiu, Z.: Graph transformations for object-oriented refinement. Formal Aspects of Computing\u00a021(1-2), 103\u2013131 (2009)","journal-title":"Formal Aspects of Computing"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects of Component Software"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35743-5_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T01:37:10Z","timestamp":1558316230000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35743-5_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642357428","9783642357435"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35743-5_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}