{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T04:16:43Z","timestamp":1746159403709,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642543692"},{"type":"electronic","value":"9783642543708"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-54370-8_7","type":"book-chapter","created":{"date-parts":[[2014,2,25]],"date-time":"2014-02-25T06:19:20Z","timestamp":1393309160000},"page":"75-83","source":"Crossref","is-referenced-by-count":0,"title":["Towards Fine-Grained Verification of Application Mobility"],"prefix":"10.1007","author":[{"given":"Yu","family":"Zhou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yankai","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jidong","family":"Ge","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jun","family":"Hu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"\u00c5hlund, A., Mitra, K., Johansson, D., \u00c5hlund, C., Zaslavsky, A.: Context-aware application mobility support in pervasive computing environments. In: Proceedings of the 6th International Conference on Mobile Technology, Application & Systems, p. 21. ACM (2009)","DOI":"10.1145\/1710035.1710056"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Baresi, L., Heckel, R., Th\u00f6ne, S., Varr\u00f3, D.: Modeling and validation of service-oriented architectures: application vs. style. In: ACM SIGSOFT Software Engineering Notes, vol.\u00a028, pp. 68\u201377. ACM (2003)","DOI":"10.1145\/949952.940082"},{"issue":"2","key":"7_CR3","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/s10270-006-0001-4","volume":"5","author":"L. Baresi","year":"2006","unstructured":"Baresi, L., Heckel, R., Th\u00f6ne, S., et al.: Style-based modeling and refinement of service-oriented architectures. Software & Systems Modeling\u00a05(2), 187\u2013207 (2006)","journal-title":"Software & Systems Modeling"},{"issue":"3","key":"7_CR4","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1109\/MS.2008.60","volume":"25","author":"E. Curry","year":"2008","unstructured":"Curry, E., Grace, P.: Flexible self-management using the model-view-controller pattern. IEEE Software\u00a025(3), 84\u201390 (2008)","journal-title":"IEEE Software"},{"key":"7_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"896","DOI":"10.1007\/978-3-540-76890-6_15","volume-title":"On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops","author":"F.M. David","year":"2007","unstructured":"David, F.M., Donkervoet, B., Carlyle, J.C., Chan, E.M., Campbell, R.H.: Supporting adaptive application mobility. In: Meersman, R., Tari, Z. (eds.) OTM-WS 2007, Part II. LNCS, vol.\u00a04806, pp. 896\u2013905. Springer, Heidelberg (2007)"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Hatcliff, J., et al.: Bogor: an extensible and highly-modular software model checking framework. In: ACM SIGSOFT Software Engineering Notes, vol. 28, pp. 267\u2013276. ACM (2003)","DOI":"10.1145\/949952.940107"},{"issue":"5","key":"7_CR7","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G.J. Holzmann","year":"1997","unstructured":"Holzmann, G.J.: The model checker spin. IEEE Transactions on Software Engineering\u00a023(5), 279\u2013295 (1997)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"7_CR8","unstructured":"Li, J., Bu, Y., Chen, S., Tao, X., Lu, J.: Followme: on research of pluggable infrastructure for context-awareness. In: 20th International Conference on Advanced Information Networking and Applications, AINA 2006, vol.\u00a01, IEEE (2006)"},{"issue":"4","key":"7_CR9","doi-asserted-by":"publisher","first-page":"276","DOI":"10.1049\/iet-sen.2008.0059","volume":"3","author":"V. Rafe","year":"2009","unstructured":"Rafe, V., Rahmani, A.T., Baresi, L., Spoletini, P.: Towards automated verification of layered graph transformation specifications. IET Software\u00a03(4), 276\u2013291 (2009)","journal-title":"IET Software"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Ranganathan, A., Chetan, S., Campbell, R.: Mobile polymorphic applications in ubiquitous computing environments. In: The First Annual International Conference on Mobile and Ubiquitous Systems: Networking and Services, MOBIQUITOUS 2004, pp. 402\u2013411. IEEE (2004)","DOI":"10.1109\/MOBIQ.2004.1331747"},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1007\/978-3-540-25959-6_35","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"G. Taentzer","year":"2004","unstructured":"Taentzer, G.: Agg: A graph transformation environment for modeling and validation of software. In: Pfaltz, J.L., Nagl, M., B\u00f6hlen, B. (eds.) AGTIVE 2003. LNCS, vol.\u00a03062, pp. 446\u2013453. Springer, Heidelberg (2004)"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Xu, Y., Li, S., Pan, G.: Scudosgi: enabling facility-involved task migration in osgi framework. In: Fourth International Conference on Frontier of Computer Science and Technology, FCST 2009, pp. 125\u2013131. IEEE (2009)","DOI":"10.1109\/FCST.2009.117"},{"key":"7_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"648","DOI":"10.1007\/11833529_66","volume-title":"Ubiquitous Intelligence and Computing","author":"P. Yu","year":"2006","unstructured":"Yu, P., Cao, J., Wen, W., Lu, J.: Mobile agent enabled application mobility for pervasive computing. In: Ma, J., Jin, H., Yang, L.T., Tsai, J.J.-P. (eds.) UIC 2006. LNCS, vol.\u00a04159, pp. 648\u2013657. Springer, Heidelberg (2006)"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Yu, P., Ma, X., Cao, J., Lu, J.: Application mobility in pervasive computing: A survey. Pervasive and Mobile Computing (2012)","DOI":"10.1016\/j.pmcj.2012.07.009"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Zhou, Y., Cao, J., Raychoudhury, V., Siebert, J., Lu, J.: A middleware support for agent-based application mobility in pervasive environments. In: 27th International Conference on Distributed Computing Systems Workshops, ICDCSW 2007, p. 9. IEEE (2007)","DOI":"10.1109\/ICDCSW.2007.12"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Zhou, Y., Yan, X., Huang, Z.: A graph transformation based approach for modeling component-level migration in mobile environments. In: 2012 IEEE 36th Annual Computer Software and Applications Conference Workshops (COMPSACW), pp. 152\u2013157. IEEE (2012)","DOI":"10.1109\/COMPSACW.2012.37"}],"container-title":["Lecture Notes in Computer Science","Web Information Systems Engineering \u2013 WISE 2013 Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-54370-8_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T22:46:12Z","timestamp":1746139572000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-54370-8_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642543692","9783642543708"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-54370-8_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}