{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T06:00:47Z","timestamp":1774332047973,"version":"3.50.1"},"publisher-location":"Cham","reference-count":38,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319486277","type":"print"},{"value":"9783319486284","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-48628-4_6","type":"book-chapter","created":{"date-parts":[[2017,3,1]],"date-time":"2017-03-01T07:45:31Z","timestamp":1488354331000},"page":"121-148","source":"Crossref","is-referenced-by-count":6,"title":["Towards Interface-Driven Design of Evolving Component-Based Architectures"],"prefix":"10.1007","author":[{"given":"Xin","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhiming","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,3,2]]},"reference":[{"key":"6_CR1","volume-title":"Object-Oriented Analysis and Design with Applications","author":"G Booch","year":"1994","unstructured":"Booch, G.: Object-Oriented Analysis and Design with Applications. Addison-Wesley, Boston (1994)"},{"issue":"4","key":"6_CR2","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/MC.1987.1663532","volume":"20","author":"FP Brooks","year":"1987","unstructured":"Brooks, F.P.: No silver bullet: essence and accidents of software engineering. IEEE Comput. 20(4), 10\u201319 (1987)","journal-title":"IEEE Comput."},{"issue":"5","key":"6_CR3","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1109\/MS.1995.10042","volume":"12","author":"FP Brooks","year":"1995","unstructured":"Brooks, F.P.: The mythical man-month: after 20 years. IEEE Softw. 12(5), 57\u201360 (1995)","journal-title":"IEEE Softw."},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Cavalcanti, A., Sampaio, A., Woodcock, J.: A refinement strategy for circus. Form. Asp. Comput. 15(2\u20133), 146\u2013181 (2003). http:\/\/dx.doi.org\/10.1007\/s00165-003-0006-5","DOI":"10.1007\/s00165-003-0006-5"},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/978-3-540-75698-9_13","volume-title":"International Symposium on Fundamentals of Software Engineering","author":"X Chen","year":"2007","unstructured":"Chen, X., He, J., Liu, Z., Zhan, N.: A model of component-based programming. In: Arbab, F., Sirjani, M. (eds.) International Symposium on Fundamentals of Software Engineering. Lecture Notes in Computer Science, vol. 4767, pp. 191\u2013206. Springer, Berlin (2007)"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Chen, Z., Hannousse, A.H., Hung, D.V., Knoll, I., Li, X., Liu, Y., Liu, Z., Nan, Q., Okika, J.C., Ravn, A.P., Stolz, V., Yang, L., Zhan, N.: Modelling with relational calculus of object and component systems\u2013rCOS. In: Rausch, A., Reussner, R., Mirandola, R., Plasil, F. (eds.) The Common Component Modeling Example. Lecture Notes in Computer Science, chap.\u00a03, vol. 5153, pp. 116\u2013145. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-85289-6_6"},{"issue":"4","key":"6_CR7","doi-asserted-by":"crossref","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. 74(4), 168\u2013196 (2009). Feb","journal-title":"Sci. Comput. Program."},{"key":"6_CR8","unstructured":"Darby, S.: Smart metering: what potential for householder engagement? Build. Res. Inf. 38(5), 442\u2013457 (2010)"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Dijkstra, E.W.: The humble programmer. Commun. ACM 15(10), 859\u2013866 (1972). An ACM Turing Award lecture","DOI":"10.1145\/355604.361591"},{"key":"6_CR10","unstructured":"Fischer, C.: Fault-tolerant programming by transformations. Ph.D. thesis, University of Warwick (1991)"},{"issue":"12","key":"6_CR11","first-page":"4242","volume":"8","author":"V Gunes","year":"2014","unstructured":"Gunes, V., Peter, S., Givargis, T., Vahid, F.: A survey on concepts, applications, and challenges in cyber-physical systems. Trans. Internet Inf. Syst. 8(12), 4242\u20134268 (2014)","journal-title":"Trans. Internet Inf. Syst."},{"key":"6_CR12","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/j.entcs.2006.05.022","volume":"160","author":"J He","year":"2006","unstructured":"He, J., Li, X., Liu, Z.: A theory of reactive components. Electr. Notes Theor. Comput. Sci. 160, 173\u2013195 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"1\u20132","key":"6_CR13","first-page":"109","volume":"365","author":"J He","year":"2006","unstructured":"He, J., Liu, Z., Li, X.: rCOS: a refinement calculus of object systems. Theor. Comput. Sci. 365(1\u20132), 109\u2013142 (2006)","journal-title":"Theor. Comput. Sci."},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Herold, S., Klus, H., Welsch, Y., Deiters, C., Rausch, A., Reussner, R., Krogmann, K., Koziolek, H., Mirandola, R., Hummel, B., Meisinger, M., Pfaller, C.: The common component modeling example. In: Rausch, A., Reussner, R., Mirandola, R., Pl\u00e1\u0161il, F. (eds.) The Common Component Modeling Example. Lecture Notes in Computer Science, chap.\u00a01, vol. 5153, pp. 16\u201353. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-85289-6_3"},{"key":"6_CR15","volume-title":"Communicating Sequential Processes","author":"CAR Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Upper Saddle River (1985)"},{"key":"6_CR16","volume-title":"Unifying Theories of Programming","author":"A Hoare","year":"1988","unstructured":"Hoare, A., He, J.: Unifying Theories of Programming. Prentice Hall, New York (1988)"},{"key":"6_CR17","unstructured":"Kim, M., Viswanathan, M., Lee, I., Ben-Abdellah, H., Kannan, S., Sokolsky, O.: Formally specified monitoring of temporal properties. In: Proceedings of the European Conference on Real-Time Systems (1999)"},{"key":"6_CR18","unstructured":"Koubaa, A., Andersson, B.: A vision of cyber-physical internet. In: Proceedings of the Workshop of Real-Time Networks (RTN 2009), Satellite Workshop of ECRTS 2009 (2009)"},{"key":"6_CR19","volume-title":"Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process","author":"C Larman","year":"2001","unstructured":"Larman, C.: Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process, 2nd edn. Prentice-Hall, Upper Saddle River (2001)","edition":"2"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Lee, E.: Cyber physical systems: design challenges. Technical Report No. UCB\/EECS-2008-8, University of California, Berkeley (2008)","DOI":"10.1109\/ISORC.2008.25"},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"Li, D., Li, X., Liu, Z., Stolz, V.: Interactive transformations from object-oriented models to component-based models. In: Arbab, F., \u00d6lveczky, P.C. (eds.) Formal Aspects of Component Software - 8th International Symposium, FACS 2011, Oslo, Norway, September 14\u201316, 2011, Revised Selected Papers. Lecture Notes in Computer Science, vol. 7253, pp. 97\u2013114. Springer (2011). http:\/\/dx.doi.org\/10.1007\/978-3-642-35743-5_7","DOI":"10.1007\/978-3-642-35743-5_7"},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"Li, D., Li, X., Liu, Z., Stolz, V.: Interactive transformations from object-oriented models to component-based models. In: Formal Aspects of Component Software - 8th International Symposium, FACS 2011, Oslo, Norway, September 14\u201316, 2011, Revised Selected Papers. Lecture Notes in Computer Science, vol. 7253, pp. 97\u2013114. Springer (2011)","DOI":"10.1007\/978-3-642-35743-5_7"},{"key":"6_CR23","doi-asserted-by":"crossref","unstructured":"Li, D., Li, X., Liu, Z., Stolz, V.: Support formal component-based development with UML profile. In: 22nd Australian Conference on Software Engineering (ASWEC 2013), 4\u20137 June 2013, Melbourne, Victoria, Australia. pp. 191\u2013200 (2013)","DOI":"10.1109\/ASWEC.2013.31"},{"key":"6_CR24","doi-asserted-by":"crossref","unstructured":"Li, D., Li, X., Liu, Z., Stolz, V.: Support formal component-based development with UML profile. In: 22nd Australian Conference on Software Engineering (ASWEC 2013), 4\u20137 June 2013, Melbourne, Victoria, Australia. pp. 191\u2013200. IEEE Computer Society (2013). http:\/\/dx.doi.org\/10.1109\/ASWEC.2013.31","DOI":"10.1109\/ASWEC.2013.31"},{"key":"6_CR25","doi-asserted-by":"crossref","unstructured":"Li, D., Li, X., Liu, Z., Stolz, V.: Automated transformations from UML behavior models to contracts. SCI. CHINA Inf. Sci. 57(12), 1\u201317 (2014). http:\/\/dx.doi.org\/10.1007\/s11432-014-5159-8","DOI":"10.1007\/s11432-014-5159-8"},{"key":"6_CR26","doi-asserted-by":"crossref","unstructured":"Li, X., Lu, R., Liang, X., Shen, X., Chen, J., Lin, X.: Smart community: an internet of things application. Commun. Mag. 49(11), 68\u201375 (2011)","DOI":"10.1109\/MCOM.2011.6069711"},{"issue":"1","key":"6_CR27","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1145\/314602.314605","volume":"21","author":"Z Liu","year":"1999","unstructured":"Liu, Z., Joseph, M.: Specification and verification of fault-tolerance, timing, and scheduling. ACM Trans. Program. Lang. Syst. 21(1), 46\u201389 (1999)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"6_CR28","unstructured":"Naur, P., Randell, B. (eds.): Software Engineering: Report of a Conference Sponsored by the NATO Science Committee, Garmisch, Germany, 7\u201311 Oct. 1968, Brussels, Scientific Affairs Division, NATO (1969)"},{"key":"6_CR29","doi-asserted-by":"crossref","unstructured":"Oliveira, M., Cavalcanti, A., Woodcock, J.: Formal development of industrial-scale systems in Circus. ISSE 1(2), 125\u2013146 (2005). http:\/\/dx.doi.org\/10.1007\/s11334-005-0014-0","DOI":"10.1007\/s11334-005-0014-0"},{"key":"6_CR30","doi-asserted-by":"crossref","unstructured":"Palomar, E., Liu, Z., Bowen, J.P., Zhang, Y., Maharjan, S.: Component-based modelling for sustainable and scalable smart meter networks. In: Proceeding of IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks, WoWMoM 2014, Sydney, Australia, June 19, 2014. pp. 1\u20136 (2014)","DOI":"10.1109\/WoWMoM.2014.6918927"},{"key":"6_CR31","unstructured":"Pronios, N.B.: Software verification & validation for complex systems, presentation at Technical Feasibility Studies Competition Information Event, Innovate UK"},{"key":"6_CR32","doi-asserted-by":"crossref","unstructured":"Quan, L., Qiu, Z., Liu, Z.: Formal use of design patterns and refactoring. In: Margaria, T., Steffen, B. (eds.) Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13\u201315, 2008. Proceedings. Communications in Computer and Information Science, vol.\u00a017, pp. 323\u2013338. Springer (2008). http:\/\/dx.doi.org\/10.1007\/978-3-540-88479-8_23","DOI":"10.1007\/978-3-540-88479-8_23"},{"key":"6_CR33","unstructured":"Randell, B., Buxton, J. (eds.): Software Engineering: Report of a Conference Sponsored by the NATO Science Committee, Rome, Italy, 27\u201331 Oct. 1969, Brussels, Scientific Affairs Division, NATO (1969)"},{"key":"6_CR34","volume-title":"Theory and Practice of Concurrency","author":"AW Roscoe","year":"1997","unstructured":"Roscoe, A.W.: Theory and Practice of Concurrency. Prentice-Hall, Upper Saddle River (1997)"},{"key":"6_CR35","doi-asserted-by":"crossref","first-page":"324","DOI":"10.1162\/rest.88.2.324","volume":"88","author":"M Shapiro","year":"2006","unstructured":"Shapiro, M.: Smart cities: quality of life, productivity, and the growth effects of human capital. Rev. Econ. Stat. 88, 324\u2013335 (2006). May","journal-title":"Rev. Econ. Stat."},{"key":"6_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/978-3-642-00867-2_4","volume-title":"Methods, Models and Tools for Fault Tolerance","author":"M Zhang","year":"2009","unstructured":"Zhang, M., Liu, Z., Morisset, C., Ravn, A.P.: Design and verification of fault-tolerant components. In: Butler, M., Jones, C., Romanovsky, A., Troubitsyna, E. (eds.) Methods, Models and Tools for Fault Tolerance. Lecture Notes in Computer Science, vol. 5454, pp. 57\u201384. Springer, Berlin (2009)"},{"issue":"1\u20132","key":"6_CR37","doi-asserted-by":"crossref","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 Comput. 21(1\u20132), 103\u2013131 (2009). Feb","journal-title":"Formal Aspects Comput."},{"key":"6_CR38","unstructured":"Zhu, J., Pecen, R.: A novel automatic utility data collection system using ieee 802.15.4-compliant wireless mesh networks. In: Proceedings of IAJCIJME International Conference (2008)"}],"container-title":["NASA Monographs in Systems and Software Engineering","Provably Correct Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-48628-4_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,19]],"date-time":"2019-09-19T02:16:02Z","timestamp":1568859362000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-48628-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319486277","9783319486284"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-48628-4_6","relation":{},"ISSN":["1860-0131","2197-6597"],"issn-type":[{"value":"1860-0131","type":"print"},{"value":"2197-6597","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}