{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:12:52Z","timestamp":1759032772448},"reference-count":46,"publisher":"Springer Science and Business Media LLC","issue":"8","license":[{"start":{"date-parts":[[2013,8,1]],"date-time":"2013-08-01T00:00:00Z","timestamp":1375315200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Sci. China Inf. Sci."],"published-print":{"date-parts":[[2013,8]]},"DOI":"10.1007\/s11432-013-4907-5","type":"journal-article","created":{"date-parts":[[2013,8,24]],"date-time":"2013-08-24T08:51:05Z","timestamp":1377334265000},"page":"1-20","source":"Crossref","is-referenced-by-count":16,"title":["Towards context consistency by concurrent checking for Internetware applications"],"prefix":"10.1007","volume":"56","author":[{"given":"Chang","family":"Xu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"YePang","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S. C.","family":"Cheung","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chun","family":"Cao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jian","family":"Lv","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,8,25]]},"reference":[{"key":"4907_CR1","first-page":"1","volume-title":"In: Proceedings of the 1st Asia-Pacific Symposium on Internetware, Beijing","author":"J Lv","year":"2009","unstructured":"Lv J, Ma X, Hunag Y, et al. Internetware: a shift of software paradigm. In: Proceedings of the 1st Asia-Pacific Symposium on Internetware, Beijing, 2009. 1\u20139"},{"key":"4907_CR2","first-page":"864","volume":"38","author":"J Lv","year":"2008","unstructured":"Lv J, Ma X, Tao X, et al. Internetware-oriented environmental driving models and supporting technology (in Chinese). Sci China Ser F-Inf Sci, 2008, 38: 864\u2013900","journal-title":"Sci China Ser F-Inf Sci"},{"key":"4907_CR3","first-page":"1037","volume":"36","author":"J Lv","year":"2006","unstructured":"Lv J, Ma X, Tao X, et al. Research progress on Internetware (in Chinese). Sci China Ser F-Inf Sci, 2006, 36: 1037\u20131080","journal-title":"Sci China Ser F-Inf Sci"},{"key":"4907_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1360\/112012-527","volume":"43","author":"J Lv","year":"2013","unstructured":"Lv J, Ma X, Tao X, et al. Explicit environmental constructs for Internetware (in Chinese). Sci Sinica Inf Sci, 2013, 43: 1\u201323","journal-title":"Sci Sinica Inf Sci"},{"key":"4907_CR5","first-page":"336","volume-title":"Proceedings of the Joint 10th European Software Engineering Conference and 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Lisbon","author":"C Xu","year":"2005","unstructured":"Xu C, Cheung S C. Inconsistency detection and resolution for context-aware middleware support. In: Proceedings of the Joint 10th European Software Engineering Conference and 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Lisbon, 2005. 336\u2013345"},{"key":"4907_CR6","first-page":"292","volume-title":"Proceedings of the 28th International Conference on Software Engineering, Shanghai","author":"C Xu","year":"2006","unstructured":"Xu C, Cheung S C, Chan W K. Incremental consistency checking for pervasive context. In: Proceedings of the 28th International Conference on Software Engineering, Shanghai, 2006. 292\u2013301"},{"key":"4907_CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1656250.1656253","volume":"19","author":"C Xu","year":"2010","unstructured":"Xu C, Cheung S C, Chan W K, et al. Partial constraint checking for context consistency. ACM Trans Softw Eng Methodol, 2010, 19: 1\u201361","journal-title":"ACM Trans Softw Eng Methodol"},{"key":"4907_CR8","volume-title":"RFID: Applications, Security, and Privacy","author":"S Garfinkel","year":"2005","unstructured":"Garfinkel S, Rosenberg B. RFID: Applications, Security, and Privacy. Addison-Wesley, 2005"},{"key":"4907_CR9","first-page":"163","volume-title":"Proceedings of the 32nd International Conference on Very Large Data Bases, Seoul","author":"S R Jeffery","year":"2006","unstructured":"Jeffery S R, Garofalakis M, Frankin M J. Adaptive cleaning for RFID data streams. In: Proceedings of the 32nd International Conference on Very Large Data Bases, Seoul, 2006. 163\u2013174"},{"key":"4907_CR10","first-page":"175","volume-title":"Proceedings of the 32nd International Conference on Very Large Data Bases, Seoul","author":"J Rao","year":"2006","unstructured":"Rao J, Doraiswamy S, Thakkar H, et al. A deferred cleansing method for RFID data analytics. In: Proceedings of the 32nd International Conference on Very Large Data Bases, Seoul, 2006. 175\u2013186"},{"key":"4907_CR11","first-page":"713","volume-title":"Proceedings of the 28th International Conference on Distributed Computing Systems, Beijing","author":"C Xu","year":"2008","unstructured":"Xu C, Cheung S C, Chan W K, et al. Heuristics-based strategies for resolving context inconsistencies in pervasive computing applications. In: Proceedings of the 28th International Conference on Distributed Computing Systems, Beijing, 2008. 713\u2013721"},{"key":"4907_CR12","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, Dubrovnik","author":"C Xu","year":"2007","unstructured":"Xu C, Cheung S C, Chan W K, et al. 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, Dubrovnik, 2007. 569\u2013572"},{"key":"4907_CR13","first-page":"285","volume-title":"Proceedings of the 8th ICST International Conference on Mobile and Ubiquitous Systems, LNICST 104, Copenhagen","author":"C Xu","year":"2011","unstructured":"Xu C, Ma X, Cao C, et al. Minimizing the side effect of context inconsistency resolution for ubiquitous computing. In: Proceedings of the 8th ICST International Conference on Mobile and Ubiquitous Systems, LNICST 104, Copenhagen, 2011. 285\u2013297"},{"key":"4907_CR14","first-page":"381","volume-title":"Proceedings of the 28th International Conference on Software Engineering, Shanghai","author":"A Egyed","year":"2006","unstructured":"Egyed A. Instant consistency checking for the UML. In: Proceedings of the 28th International Conference on Software Engineering, Shanghai, 2006. 381\u2013390"},{"key":"4907_CR15","doi-asserted-by":"crossref","first-page":"682","DOI":"10.1109\/TSE.2006.91","volume":"32","author":"S P Reiss","year":"2006","unstructured":"Reiss S P. Incremental maintenance of software artifacts. IEEE Trans Softw Eng, 2006, 32: 682\u2013697","journal-title":"IEEE Trans Softw Eng"},{"key":"4907_CR16","first-page":"315","volume-title":"Proceedings of the 7th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Amsterdam","author":"Y Xiong","year":"2009","unstructured":"Xiong Y, Hu Z, Zhao H, et al. Supporting automatic model inconsistency fixing. In: Proceedings of the 7th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Amsterdam, 2009. 315\u2013324"},{"key":"4907_CR17","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1145\/514183.514186","volume":"2","author":"C Nentwich","year":"2002","unstructured":"Nentwich C, Capra L, Emmerich W, et al. xlinkit: a consistency checking and smart link generation service. ACM Trans Internet Technol, 2002, 2: 151\u2013185","journal-title":"ACM Trans Internet Technol"},{"key":"4907_CR18","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1145\/839268.839271","volume":"12","author":"C Nentwich","year":"2003","unstructured":"Nentwich C, Emmerich W, Finkelstein A, et al. Flexible consistency checking. ACM Trans Softw Eng Methodol, 2003, 12: 28\u201363","journal-title":"ACM Trans Softw Eng Methodol"},{"key":"4907_CR19","first-page":"176","volume-title":"Proceedings of the 27th International Conference on Software Engineering, St. Louis","author":"B Demsky","year":"2005","unstructured":"Demsky B, Rinard M. Data structure repair using goal-directed reasoning. In: Proceedings of the 27th International Conference on Software Engineering, St. Louis, 2005. 176\u2013185"},{"key":"4907_CR20","doi-asserted-by":"crossref","first-page":"931","DOI":"10.1109\/TSE.2006.122","volume":"32","author":"B Demsky","year":"2006","unstructured":"Demsky B, Rinard M. Goal-directed reasoning for specification-based data structure repair. IEEE Trans Softw Eng, 2006, 32: 931\u2013951","journal-title":"IEEE Trans Softw Eng"},{"key":"4907_CR21","first-page":"45","volume-title":"Proceedings of the 6th Annual IEEE International Conference on Pervasive Computing and Communications (Ph.D. forum), Hong Kong","author":"C Xu","year":"2008","unstructured":"Xu C, Cheung S C. Decentralized constraint checking for pervasive computing. In: Proceedings of the 6th Annual IEEE International Conference on Pervasive Computing and Communications (Ph.D. forum), Hong Kong, 2008. 45\u201348"},{"key":"4907_CR22","doi-asserted-by":"crossref","first-page":"434","DOI":"10.1145\/302979.303126","volume-title":"Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, Pittsburgh","author":"D Salber","year":"1999","unstructured":"Salber D, Dey A K, Abowd G D. The context toolkit: aiding the development of context-enabled applications. In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, Pittsburgh, 1999. 434\u2013441"},{"key":"4907_CR23","first-page":"363","volume-title":"Proceedings of the 25th International Conference on Software Engineering, Portland","author":"WG Griswold","year":"2003","unstructured":"Griswold WG, Boyer R, Brown S W, et al. A component architecture for an extensible, highly integrated context-aware computing infrastructure. In: Proceedings of the 25th International Conference on Software Engineering, Portland, 2003. 363\u2013372"},{"key":"4907_CR24","first-page":"77","volume-title":"Proceedings the 2nd IEEE Conference on Pervasive Computing and Communications, Orlando","author":"K Henricksen","year":"2004","unstructured":"Henricksen K, Indulska J. A software engineering framework for context-aware pervasive computing. In: Proceedings the 2nd IEEE Conference on Pervasive Computing and Communications, Orlando, 2004. 77\u201386"},{"key":"4907_CR25","doi-asserted-by":"crossref","first-page":"910","DOI":"10.1109\/TSE.2006.115","volume":"32","author":"S Zachariadis","year":"2006","unstructured":"Zachariadis S, Mascolo C, Emmerich W. The SATIN component system-a metamodel for engineering adaptable mobile systems. IEEE Trans Softw Eng, 2006, 32: 910\u2013927","journal-title":"IEEE Trans Softw Eng"},{"key":"4907_CR26","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1145\/587051.587056","volume-title":"Proceedings of the 10th ACM SIGSOFT Symposium on Foundations of Software Engineering, Charleston","author":"C Julien","year":"2002","unstructured":"Julien C, Roman G C. Egocentric context-aware programming in ad hoc mobile environments. In: Proceedings of the 10th ACM SIGSOFT Symposium on Foundations of Software Engineering, Charleston, 2002. 21\u201330"},{"key":"4907_CR27","doi-asserted-by":"crossref","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 Trans Softw Eng, 2006, 32: 281\u2013298","journal-title":"IEEE Trans Softw Eng"},{"key":"4907_CR28","doi-asserted-by":"crossref","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 Softw Eng Methodol, 2006, 15: 279\u2013328","journal-title":"ACM Trans Softw Eng Methodol"},{"key":"4907_CR29","doi-asserted-by":"crossref","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. Pers Ubiquitous Comput, 2003, 7: 353\u2013364","journal-title":"Pers Ubiquitous Comput"},{"key":"4907_CR30","first-page":"568","volume-title":"Proceedings of the NPC 2004 Workshop on Building Intelligent Sensor Networks, Wuhan","author":"C Xu","year":"2004","unstructured":"Xu C, Cheung S C, Lo C, et al. Cabot: on the ontology for the middleware support of context-aware pervasive applications. In: Proceedings of the NPC 2004 Workshop on Building Intelligent Sensor Networks, Wuhan, 2004. 568\u2013575"},{"key":"4907_CR31","doi-asserted-by":"crossref","first-page":"2812","DOI":"10.1016\/j.jss.2012.04.078","volume":"85","author":"C Xu","year":"2012","unstructured":"Xu C, Cheung S C, Ma X, et al. ADAM: identifying defects in context-aware adaptation. J Syst Softw, 2012, 85: 2812\u20132828","journal-title":"J Syst Softw"},{"key":"4907_CR32","first-page":"1","volume-title":"Proceedings of the 4th Asia-Pacific Symposium on Internetware, Qingdao","author":"C Xu","year":"2012","unstructured":"Xu C, Cheung S C, Ma X, et al. Dynamic fault detection in context-aware adaptation. In: Proceedings of the 4th Asia-Pacific Symposium on Internetware, Qingdao, 2012. 1\u201310"},{"key":"4907_CR33","first-page":"85","volume":"7","author":"C Xu","year":"2013","unstructured":"Xu C, Cheung S C, Ma X, et al. Detecting faults in context-aware adaptation. Int J Softw Inf, 2013, 7: 85\u2013111","journal-title":"Int J Softw Inf"},{"key":"4907_CR34","doi-asserted-by":"crossref","first-page":"242","DOI":"10.1145\/1181775.1181805","volume-title":"Proceedings of the 14th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Portland","author":"H Lu","year":"2006","unstructured":"Lu H, Chan W, Tse T. Testing context-aware middleware-centric programs: a data flow approach and a RFID-based experimentation. In: Proceedings of the 14th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Portland, 2006. 242\u2013252"},{"key":"4907_CR35","first-page":"61","volume-title":"Proceedings of the 30th International Conference on Software Engineering, Leipzig","author":"H Lu","year":"2008","unstructured":"Lu H, Chan W, Tse T. Testing pervasive software in the presence of context inconsistency resolution services. In: Proceedings of the 30th International Conference on Software Engineering, Leipzig, 2008. 61\u201370"},{"key":"4907_CR36","first-page":"406","volume-title":"Proceedings of the 29th International Conference on Software Engineering, Minneapolis","author":"Z Wang","year":"2007","unstructured":"Wang Z, Elbaum S, Rosenblum D S. Automated generation of context-aware tests. In: Proceedings of the 29th International Conference on Software Engineering, Minneapolis, 2007. 406\u2013415"},{"key":"4907_CR37","doi-asserted-by":"crossref","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, et al. Multi-layer faults in the architectures of mobile, context-aware adaptive applications. J Syst Softw, 2010, 83: 906\u2013914","journal-title":"J Syst Softw"},{"key":"4907_CR38","doi-asserted-by":"crossref","first-page":"644","DOI":"10.1109\/TSE.2010.35","volume":"36","author":"M Sama","year":"2010","unstructured":"Sama M, Elbaum S, Raimondi F, et al. Context-aware adaptive applications: fault patterns and their automated identification. IEEE Trans Softw Eng, 2010, 36: 644\u2013661","journal-title":"IEEE Trans Softw Eng"},{"key":"4907_CR39","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1145\/1453101.1453136","volume-title":"Proceedings of the 16th ACM SIGSOFT International Symposium on the Foundations of Software Engineering, Atlanta","author":"M Sama","year":"2008","unstructured":"Sama M, Rosenblum D S, Wang Z, et al. Model-based fault detection in context-aware adaptive applications. In: Proceedings of the 16th ACM SIGSOFT International Symposium on the Foundations of Software Engineering, Atlanta, 2008. 261\u2013271"},{"key":"4907_CR40","doi-asserted-by":"crossref","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 C. AFChecker: effective model checking for context-aware adaptive applications. J Syst Softw, 2013, 86: 854\u2013867","journal-title":"J Syst Softw"},{"key":"4907_CR41","first-page":"58","volume-title":"Proceedings of the 34th International Conference on Software Engineering, Zurich","author":"Y Xiong","year":"2012","unstructured":"Xiong Y, Hubaux A, She S, et al. Generating range fixes for software configuration. In: Proceedings of the 34th International Conference on Software Engineering, Zurich, 2012. 58\u201368"},{"key":"4907_CR42","doi-asserted-by":"crossref","unstructured":"Falleri J R, Blanc X, Bendraou R, et al. Incremental inconsistency detection with low memory overhead. Softw Pract Exper, 2012, doi: 10.1002\/spe.2171","DOI":"10.1002\/spe.2171"},{"key":"4907_CR43","first-page":"193","volume-title":"Proceedings of the 6th International Conference on Quality Software, Beijing","author":"Y Bu","year":"2006","unstructured":"Bu Y, Gu T, Tao X, et al. Managing quality of context in pervasive computing. In: Proceedings of the 6th International Conference on Quality Software, Beijing, 2006. 193\u2013200"},{"key":"4907_CR44","first-page":"359","volume-title":"Proceedings of the 29th Annual International Computer Software and Applications Conference, Edinburgh","author":"P Insuk","year":"2005","unstructured":"Insuk P, Lee D, Hyun S J. A dynamic context-conflict management scheme for group-aware ubiquitous computing environments. In: Proceedings of the 29th Annual International Computer Software and Applications Conference, Edinburgh, 2005. 359\u2013364"},{"key":"4907_CR45","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1109\/TKDE.2003.1161596","volume":"15","author":"J Chomicki","year":"2003","unstructured":"Chomicki J, Lobo J, Naqvi S. Conflict resolution using logic programming. IEEE Trans Knowl Data Eng, 2003, 15: 244\u2013249","journal-title":"IEEE Trans Knowl Data Eng"},{"key":"4907_CR46","first-page":"632","volume-title":"Proceedings of the 36th Annual International Computer Software and Applications Conference, Izmir","author":"H Yang","year":"2012","unstructured":"Yang H, Xu C, Ma X, et al. ConsView: towards application-specific consistent context views. In: Proceedings of the 36th Annual International Computer Software and Applications Conference, Izmir, 2012. 632\u2013637"}],"container-title":["Science China Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-013-4907-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11432-013-4907-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-013-4907-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,4]],"date-time":"2023-07-04T02:35:41Z","timestamp":1688438141000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11432-013-4907-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,8]]},"references-count":46,"journal-issue":{"issue":"8","published-print":{"date-parts":[[2013,8]]}},"alternative-id":["4907"],"URL":"https:\/\/doi.org\/10.1007\/s11432-013-4907-5","relation":{},"ISSN":["1674-733X","1869-1919"],"issn-type":[{"value":"1674-733X","type":"print"},{"value":"1869-1919","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,8]]}}}