{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T20:52:51Z","timestamp":1725742371659},"publisher-location":"Berlin, Heidelberg","reference-count":48,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642396977"},{"type":"electronic","value":"9783642396984"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"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":[[2013]]},"DOI":"10.1007\/978-3-642-39698-4_17","type":"book-chapter","created":{"date-parts":[[2013,7,24]],"date-time":"2013-07-24T13:03:05Z","timestamp":1374670985000},"page":"271-284","source":"Crossref","is-referenced-by-count":1,"title":["Managing Environment and Adaptation Risks for the Internetware Paradigm"],"prefix":"10.1007","author":[{"given":"Jian","family":"L\u00fc","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yu","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chang","family":"Xu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaoxing","family":"Ma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"9","key":"17_CR1","first-page":"1104","volume":"26","author":"F. Yang","year":"2003","unstructured":"Yang, F., L\u00fc, J., Mei, H.: Some discussion on the development of software technology. Acta Eletronica Sinica\u00a026(9), 1104\u20131115 (2003)","journal-title":"Acta Eletronica Sinica"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"L\u00fc, J., Ma, X., Huang, Y., Cao, C., Xu, F.: Internetware: a shift of software paradigm. In: Proceedings of the First Asia-Pacific Symposium on Internetware, Internetware 2009, pp. 7:1\u20137:9. ACM, New York (2009)","DOI":"10.1145\/1640206.1640213"},{"issue":"6","key":"17_CR3","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1109\/MC.2012.189","volume":"45","author":"H. Mei","year":"2012","unstructured":"Mei, H., Huang, G., Xie, T.: Internetware: A software paradigm for internet computing. Computer\u00a045(6), 26\u201331 (2012)","journal-title":"Computer"},{"issue":"4","key":"17_CR4","doi-asserted-by":"publisher","first-page":"744","DOI":"10.1109\/TPDS.2011.176","volume":"23","author":"Y. Huang","year":"2012","unstructured":"Huang, Y., Yang, Y., Cao, J., Ma, X., Tao, X., Lu, J.: Runtime detection of the concurrency property in asynchronous pervasive computing environments. IEEE Transactions on Parallel and Distributed Systems\u00a023(4), 744\u2013750 (2012)","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Yang, Y., Huang, Y., Cao, J., Ma, X., Lu, J.: Formal specification and runtime detection of dynamic properties in asynchronous pervasive computing environments. IEEE Trans. Parallel Distrib. Syst. (accepted in August 2012)","DOI":"10.1109\/TPDS.2012.259"},{"key":"17_CR6","first-page":"245","volume-title":"Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering, ESEC\/FSE 2011","author":"X. Ma","year":"2011","unstructured":"Ma, X., Baresi, L., Ghezzi, C., Panzica La Manna, V., Lu, J.: Version-consistent dynamic reconfiguration of component-based distributed systems. In: Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering, ESEC\/FSE 2011, pp. 245\u2013255. ACM, New York (2011)"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"Gu, T., Cao, C., Xu, C., Ma, X., Zhang, L., Lu, J.: Javelus: A low disruptive approach to dynamic software update. In: Proceedings of the 19th Asia-Pacific Software Engineering Conference, APSEC 2012, pp. 527\u2013536 (2012)","DOI":"10.1109\/APSEC.2012.55"},{"issue":"12","key":"17_CR8","doi-asserted-by":"publisher","first-page":"2812","DOI":"10.1016\/j.jss.2012.04.078","volume":"85","author":"C. Xu","year":"2012","unstructured":"Xu, C., Cheung, S., Ma, X., Cao, C., Lu, J.: Adam: Identifying defects in context-aware adaptation. Journal of Systems and Software\u00a085(12), 2812\u20132828 (2012)","journal-title":"Journal of Systems and Software"},{"issue":"3","key":"17_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1656250.1656253","volume":"19","author":"C. Xu","year":"2010","unstructured":"Xu, C., Cheung, S.C., Chan, W.K., Ye, C.: Partial constraint checking for context consistency in pervasive computing. ACM Trans. Softw. Eng. Methodol.\u00a019(3), 1\u201361 (2010)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"4","key":"17_CR10","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1109\/MC.1987.1663532","volume":"20","author":"F.P. Brooks Jr.","year":"1987","unstructured":"Brooks Jr., F.P.: No silver bullet essence and accidents of software engineering. Computer\u00a020(4), 10\u201319 (1987)","journal-title":"Computer"},{"key":"17_CR11","unstructured":"Booch, G.: Object Oriented Analysis & Design with Application. Pearson Education India (2006)"},{"issue":"6","key":"17_CR12","doi-asserted-by":"publisher","first-page":"683","DOI":"10.1007\/s11432-008-0057-6","volume":"51","author":"J. L\u00fc","year":"2008","unstructured":"L\u00fc, J., Ma, X., Tao, X., Cao, C., Huang, Y., Yu, P.: On environment-driven software model for Internetware. Science in China Series F: Information Sciences\u00a051(6), 683\u2013721 (2008)","journal-title":"Science in China Series F: Information Sciences"},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"Ma, X., Cheung, S., Cao, C., Xu, F., Lu, J.: Towards a dependable software paradigm for service-oriented computing. In: Zhang, L.J., Paul, R., Dong, J. (eds.) High Assurance Services Computing, pp. 163\u2013192. Springer US (2009)","DOI":"10.1007\/978-0-387-87658-0_9"},{"issue":"1","key":"17_CR14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1360\/112012-527","volume":"43","author":"J. L\u00fc","year":"2013","unstructured":"L\u00fc, J., Ma, X., Tao, X., Huang, Y., Xu, C.: Explicit environmental constructs for Internetware. Science Sinica Informationis\u00a043(1), 1\u201323 (2013) (in Chinese)","journal-title":"Science Sinica Informationis"},{"issue":"3","key":"17_CR15","doi-asserted-by":"publisher","first-page":"854","DOI":"10.1016\/j.jss.2012.11.055","volume":"86","author":"Y. Liu","year":"2013","unstructured":"Liu, Y., Xu, C., Cheung, S.: Afchecker: Effective model checking for context-aware adaptive applications. Journal of Systems and Software\u00a086(3), 854\u2013867 (2013)","journal-title":"Journal of Systems and Software"},{"key":"17_CR16","doi-asserted-by":"publisher","first-page":"644","DOI":"10.1109\/TSE.2010.35","volume":"36","author":"M. Sama","year":"2010","unstructured":"Sama, M., Elbaum, S., Raimondi, F., Rosenblum, D.S., Wang, Z.: Context-aware adaptive applications: Fault patterns and their automated identification. IEEE Transactions on Software Engineering\u00a036, 644\u2013661 (2010)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"17_CR17","first-page":"201","volume-title":"Proceedings of the 2012 IEEE 20th International Requirements Engineering Conference, RE 2012","author":"A. Cailliau","year":"2012","unstructured":"Cailliau, A., van Lamsweerde, A.: A probabilistic framework for goal-oriented risk analysis. In: Proceedings of the 2012 IEEE 20th International Requirements Engineering Conference, RE 2012, pp. 201\u2013210. IEEE Computer Society, Washington, DC (2012)"},{"key":"17_CR18","unstructured":"Ishimatsu, T., Leveson, N., Thomas, J., et al.: Modeling and hazard analysis using stpa. In: Proceedings of the Conference of the International Association for the Advancement of Space Safety, pp. 1\u201310 (2010)"},{"key":"17_CR19","unstructured":"Guizzo, E.: How Google\u2019s self-driving car works, http:\/\/spectrum.ieee.org\/automaton\/robotics\/artificial-intelligence\/how-google-self-driving-car-works (last accessed in March 2013)"},{"key":"17_CR20","doi-asserted-by":"crossref","unstructured":"Huang, Y., Ma, X., Tao, X., Cao, J., Lu, J.: A probabilistic approach to consistency checking for pervasive context. In: Proc. IEEE\/IFIP International Conference on Embedded and Ubiquitous Computing, EUC 2008, Shanghai, China, pp. 387\u2013393 (December 2008)","DOI":"10.1109\/EUC.2008.129"},{"key":"17_CR21","unstructured":"Dey, A.: Providing architectural support for building context-aware applications. PhD thesis, Georgia Institute of Technology (2000)"},{"key":"17_CR22","first-page":"251","volume-title":"Proceedings of the 10th USENIX conference on Operating Systems Design and Implementation, OSDI 2012","author":"J.C. Corbett","year":"2012","unstructured":"Corbett, J.C., Dean, J., Epstein, M., Fikes, A., Frost, C., Furman, J.J., Ghemawat, S., Gubarev, A., Heiser, C., Hochschild, P., Hsieh, W., Kanthak, S., Kogan, E., Li, H., Lloyd, A., Melnik, S., Mwaura, D., Nagle, D., Quinlan, S., Rao, R., Rolig, L., Saito, Y., Szymaniak, M., Taylor, C., Wang, R., Woodford, D.: Spanner: Google\u2019s globally-distributed database. In: Proceedings of the 10th USENIX conference on Operating Systems Design and Implementation, OSDI 2012, pp. 251\u2013264. USENIX Association, Berkeley (2012)"},{"key":"17_CR23","doi-asserted-by":"crossref","unstructured":"Xu, C., Cheung, S.C.: Inconsistency detection and resolution for context-aware middleware support. In: Proc. ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2005, Lisbon, Portugal, pp. 336\u2013345 (September 2005)","DOI":"10.1145\/1095430.1081759"},{"key":"17_CR24","unstructured":"Malan, D., Fulford-Jones, T., Welsh, M., Moulton, S.: Codeblue: An ad hoc sensor network infrastructure for emergency medical care. In: Proc. Mobisys Workshop on Applications of Mobile Embedded Systems, Boston, MA, USA, pp. 12\u201314 (June 2004)"},{"issue":"3","key":"17_CR25","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1109\/MPRV.2002.1037722","volume":"1","author":"A. Ranganathan","year":"2002","unstructured":"Ranganathan, A., Campbell, R., Ravi, A., Mahajan, A.: Conchat: a context-aware chat program. IEEE Pervasive Computing\u00a01(3), 51\u201357 (2002)","journal-title":"IEEE Pervasive Computing"},{"issue":"10","key":"17_CR26","doi-asserted-by":"publisher","first-page":"929","DOI":"10.1109\/TSE.2003.1237173","volume":"29","author":"L. Capra","year":"2003","unstructured":"Capra, L., Emmerich, W., Mascolo, C.: Carisma: Context-aware reflective middleware system for mobile applications. IEEE Transactions on Software Engineering\u00a029(10), 929\u2013945 (2003)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"5","key":"17_CR27","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1109\/TSE.2006.47","volume":"32","author":"C. Julien","year":"2006","unstructured":"Julien, C., Roman, G.C.: Egospaces: Facilitating rapid development of context-aware mobile applications. IEEE Transactions on Software Engineering\u00a032(5), 281\u2013298 (2006)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"3","key":"17_CR28","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1145\/1151695.1151698","volume":"15","author":"A.L. Murphy","year":"2006","unstructured":"Murphy, A.L., Picco, G.P., Roman, G.C.: Lime: A coordination model and middleware supporting mobility of hosts and agents. ACM Trans. on Software Engineering and Methodology\u00a015(3), 279\u2013328 (2006)","journal-title":"ACM Trans. on Software Engineering and Methodology"},{"key":"17_CR29","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/s00779-003-0251-x","volume":"7","author":"A. Ranganathan","year":"2003","unstructured":"Ranganathan, A., Campbell, R.H.: An infrastructure for context-awareness based on first order logic. Personal Ubiquitous Comput.\u00a07, 353\u2013364 (2003)","journal-title":"Personal Ubiquitous Comput."},{"issue":"9","key":"17_CR30","doi-asserted-by":"publisher","first-page":"682","DOI":"10.1109\/TSE.2006.91","volume":"32","author":"S. Reiss","year":"2006","unstructured":"Reiss, S.: Incremental maintenance of software artifacts. IEEE Transactions on Software Engineering\u00a032(9), 682\u2013697 (2006)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"17_CR31","unstructured":"Tarr, P., Clarke, L.: Consistency management for complex applications. In: Proceedings of the 20th International Conference on Software Engineering, pp. 230\u2013239 (1998)"},{"key":"17_CR32","unstructured":"ARGOUML, http:\/\/argouml.tigris.org\/ (last accessed in March 2013)"},{"key":"17_CR33","doi-asserted-by":"crossref","unstructured":"Blanc, X., Mounier, I., Mougenot, A., Mens, T.: Detecting model inconsistency through operation-based model construction. In: ACM\/IEEE 30th International Conference on Software Engineering, ICSE 2008, pp. 511\u2013520 (2008)","DOI":"10.1145\/1368088.1368158"},{"issue":"2","key":"17_CR34","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1145\/514183.514186","volume":"2","author":"C. Nentwich","year":"2002","unstructured":"Nentwich, C., Capra, L., Emmerich, W., Finkelstein, A.: xlinkit: a consistency checking and smart link generation service. ACM Trans. on Internet Technology\u00a02(2), 151\u2013185 (2002)","journal-title":"ACM Trans. on Internet Technology"},{"key":"17_CR35","doi-asserted-by":"crossref","unstructured":"Xu, C., Cheung, S.C., Chan, W.K.: Incremental consistency checking for pervasive context. In: Proc. International Conference on Software Engineering, ICSE 2006, Shanghai, China, pp. 292\u2013301 (May 2006)","DOI":"10.1145\/1134285.1134327"},{"key":"17_CR36","unstructured":"Locale, http:\/\/www.twofortyfouram.com\/ (last accessed in March 2013)"},{"key":"17_CR37","unstructured":"Setting Profiles, http:\/\/www.probeez.com\/ (last accessed in March 2013)"},{"key":"17_CR38","unstructured":"Tasker, http:\/\/tasker.dinglisch.net\/ (last accessed in March 2013)"},{"key":"17_CR39","first-page":"569","volume-title":"Proceedings of the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on The Foundations of Software Engineering, ESEC-FSE 2007","author":"C. Xu","year":"2007","unstructured":"Xu, C., Cheung, S.C., Chan, W.K., Ye, C.: On impact-oriented automatic resolution of pervasive context inconsistency. In: Proceedings of the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on The Foundations of Software Engineering, ESEC-FSE 2007, pp. 569\u2013572. ACM, New York (2007)"},{"key":"17_CR40","series-title":"LNICST","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/978-3-642-30973-1_29","volume-title":"Mobile and Ubiquitous Systems: Computing, Networking, and Services","author":"C. Xu","year":"2012","unstructured":"Xu, C., Ma, X., Cao, C., Lu, J.: Minimizing the side effect of context inconsistency resolution for ubiquitous computing. In: Puiatti, A., Gu, T. (eds.) MobiQuitous 2011. LNICST, vol.\u00a0104, pp. 285\u2013297. Springer, Heidelberg (2012)"},{"issue":"6","key":"17_CR41","doi-asserted-by":"publisher","first-page":"906","DOI":"10.1016\/j.jss.2009.11.005","volume":"83","author":"M. Sama","year":"2010","unstructured":"Sama, M., Rosenblum, D.S., Wang, Z., Elbaum, S.: Multi-layer faults in the architectures of mobile, context-aware adaptive applications. Journal of Systems and Software\u00a083(6), 906\u2013914 (2010)","journal-title":"Journal of Systems and Software"},{"key":"17_CR42","doi-asserted-by":"crossref","unstructured":"Xu, C., Cheung, S.C., Ma, X., Cao, C., Lu, J.: Dynamic fault detection in context-aware adaptation. In: Proceedings of the Fourth Asia-Pacific Symposium on Internetware, Internetware 2012, pp. 1:1\u20131:10. ACM (2012)","DOI":"10.1145\/2430475.2430476"},{"key":"17_CR43","doi-asserted-by":"crossref","unstructured":"Zhang, L., Xu, C., Ma, X., Gu, T., Hong, X., Cao, C., Lu, J.: Resynchronizing model-based self-adaptive systems with environments. In: Proceedings of the 19th Asia-Pacific Software Engineering Conference, APSEC 2012, pp. 184\u2013193 (December 2012)","DOI":"10.1109\/APSEC.2012.62"},{"issue":"11","key":"17_CR44","doi-asserted-by":"publisher","first-page":"1293","DOI":"10.1109\/32.60317","volume":"16","author":"J. Kramer","year":"1990","unstructured":"Kramer, J., Magee, J.: The evolving philosophers problem: Dynamic change management. IEEE Transactions on Software Engineering\u00a016(11), 1293\u20131306 (1990)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"17_CR45","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1109\/32.485222","volume":"22","author":"D. Gupta","year":"1996","unstructured":"Gupta, D., Jalote, P., Barua, G.: A formal framework for on-line software version change. IEEE Transactions on Software Engineering\u00a022(2), 120\u2013131 (1996)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"12","key":"17_CR46","doi-asserted-by":"publisher","first-page":"856","DOI":"10.1109\/TSE.2007.70733","volume":"33","author":"Y. Vandewoude","year":"2007","unstructured":"Vandewoude, Y., Ebraert, P., Berbers, Y., D\u2019Hondt, T.: Tranquility: A low disruptive alternative to quiescence for ensuring safe dynamic updates. IEEE Transactions on Software Engineering\u00a033(12), 856\u2013868 (2007)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"17_CR47","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/11560647_5","volume-title":"Theoretical Aspects of Computing \u2013 ICTAC 2005","author":"J. He","year":"2005","unstructured":"He, J., Li, X., Liu, Z.: Component-based software engineering. In: Van Hung, D., Wirsing, M. (eds.) ICTAC 2005. LNCS, vol.\u00a03722, pp. 70\u201395. Springer, Heidelberg (2005)"},{"key":"17_CR48","unstructured":"Hoare, C.A.R., He, J.: Unifying theories of programming. Prentice Hall (1998)"}],"container-title":["Lecture Notes in Computer Science","Theories of Programming and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39698-4_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,31]],"date-time":"2020-07-31T11:24:33Z","timestamp":1596194673000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39698-4_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642396977","9783642396984"],"references-count":48,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39698-4_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}