Skip to main content
SpringerLink
Log in

Towards Fine-Grained Verification of Application Mobility

  • Conference paper
Web Information Systems Engineering – WISE 2013 Workshops (WISE 2013)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 8182))

Included in the following conference series:

  • 1476 Accesses

Abstract

Component mobility introduces additional complexity for software engineers along with the convenience it brings to the end-users. The provision of detailed formal analysis can help to reduce the potential risks for the application design. In the paper, we propose a novel approach to facilitate fine-grained verification for component mobility based on Bogor, in which the domain specific knowledge can be embedded and provided as the first class entity. The customization helps to reduce the generated state space compared with others based on general-purpose model checkers. The experiment demonstrates the efficiency and feasibility of our approach.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Åhlund, A., Mitra, K., Johansson, D., Åhlund, 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)

    Google Scholar 

  2. Baresi, L., Heckel, R., Thöne, S., Varró, D.: Modeling and validation of service-oriented architectures: application vs. style. In: ACM SIGSOFT Software Engineering Notes, vol. 28, pp. 68–77. ACM (2003)

    Google Scholar 

  3. Baresi, L., Heckel, R., Thöne, S., et al.: Style-based modeling and refinement of service-oriented architectures. Software & Systems Modeling 5(2), 187–207 (2006)

    Article  Google Scholar 

  4. Curry, E., Grace, P.: Flexible self-management using the model-view-controller pattern. IEEE Software 25(3), 84–90 (2008)

    Article  Google Scholar 

  5. 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. 4806, pp. 896–905. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  6. 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–276. ACM (2003)

    Google Scholar 

  7. Holzmann, G.J.: The model checker spin. IEEE Transactions on Software Engineering 23(5), 279–295 (1997)

    Article  MathSciNet  Google Scholar 

  8. 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. 1, IEEE (2006)

    Google Scholar 

  9. Rafe, V., Rahmani, A.T., Baresi, L., Spoletini, P.: Towards automated verification of layered graph transformation specifications. IET Software 3(4), 276–291 (2009)

    Article  Google Scholar 

  10. 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–411. IEEE (2004)

    Google Scholar 

  11. Taentzer, G.: Agg: A graph transformation environment for modeling and validation of software. In: Pfaltz, J.L., Nagl, M., Böhlen, B. (eds.) AGTIVE 2003. LNCS, vol. 3062, pp. 446–453. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  12. 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–131. IEEE (2009)

    Google Scholar 

  13. 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. 4159, pp. 648–657. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  14. Yu, P., Ma, X., Cao, J., Lu, J.: Application mobility in pervasive computing: A survey. Pervasive and Mobile Computing (2012)

    Google Scholar 

  15. 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)

    Google Scholar 

  16. 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–157. IEEE (2012)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, 210019, Nanjing, China

    Yu Zhou, Yankai Huang & Jun Hu

  2. State Key Lab. for Novel Software Technology, Nanjing University, 210093, Nanjing, China

    Yu Zhou & Jidong Ge

  3. Key Lab. for Intelligent Perception and Systems for High-Dimensional Information, Nanjing University of Science and Technology, 210000, Nanjing, China

    Jidong Ge

Authors
  1. Yu Zhou
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Yankai Huang
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jidong Ge
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Jun Hu
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Vrije University of Amsterdam, De Boelelaan 1081, 1081, Amsterdam, The Netherlands

    Zhisheng Huang

  2. Faculty of Information and Communication Technologies, Swinburne University of Technology, PO Box 218, 3122, Melbourne, VIC, Australia

    Chengfei Liu

  3. College of Engineering and Science, Victoria University, PO Box 14428, 8001, Melbourne, VIC, Australia

    Jing He

  4. Centre for Applied Informatics, Victoria University, PO Box 14428, 8001, Melbourne, VIC, Australia

    Guangyan Huang

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Zhou, Y., Huang, Y., Ge, J., Hu, J. (2014). Towards Fine-Grained Verification of Application Mobility. In: Huang, Z., Liu, C., He, J., Huang, G. (eds) Web Information Systems Engineering – WISE 2013 Workshops. WISE 2013. Lecture Notes in Computer Science, vol 8182. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-54370-8_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-54370-8_7

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-54369-2

  • Online ISBN: 978-3-642-54370-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation