Skip to main content
Springer Nature Link
Log in

Managing Environment and Adaptation Risks for the Internetware Paradigm

  • Chapter
Theories of Programming and Formal Methods

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 8051))

Abstract

Internetware is receiving increasing attention. It envisions a new, yet promising software engineering paradigm for constructing complex systems that are situated in open and dynamic networked environments. Typical examples of Internetware systems include Internet-based and cyber-physical systems. These systems, although having addressed some practical needs, may still be subject to various environment and adaptation risks at runtime. In this paper, we highlight the necessity and challenges of managing these risks. We overview existing work and present our efforts in identifying and controlling the risks. We argue that by managing these risks, the Internetware paradigm proceeds in a quality-assured direction.

This research is supported by the China 973 Program (No. 2009CB320702), the China 863 Program (No. 2013AA01A213) and the National Natural Science Foundation of China (No. 61272047, 61100038, 61021062). Chang Xu is also supported by the Program for New Century Excellent Talents in University, China (NCET-10-0486).

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

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.

Similar content being viewed by others

References

  1. Yang, F., Lü, J., Mei, H.: Some discussion on the development of software technology. Acta Eletronica Sinica 26(9), 1104–1115 (2003)

    Google Scholar 

  2. Lü, 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–7:9. ACM, New York (2009)

    Google Scholar 

  3. Mei, H., Huang, G., Xie, T.: Internetware: A software paradigm for internet computing. Computer 45(6), 26–31 (2012)

    Article  Google Scholar 

  4. 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 23(4), 744–750 (2012)

    Article  Google Scholar 

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

    Google Scholar 

  6. 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–255. ACM, New York (2011)

    Google Scholar 

  7. 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–536 (2012)

    Google Scholar 

  8. Xu, C., Cheung, S., Ma, X., Cao, C., Lu, J.: Adam: Identifying defects in context-aware adaptation. Journal of Systems and Software 85(12), 2812–2828 (2012)

    Article  Google Scholar 

  9. Xu, C., Cheung, S.C., Chan, W.K., Ye, C.: Partial constraint checking for context consistency in pervasive computing. ACM Trans. Softw. Eng. Methodol. 19(3), 1–61 (2010)

    Article  Google Scholar 

  10. Brooks Jr., F.P.: No silver bullet essence and accidents of software engineering. Computer 20(4), 10–19 (1987)

    Article  Google Scholar 

  11. Booch, G.: Object Oriented Analysis & Design with Application. Pearson Education India (2006)

    Google Scholar 

  12. Lü, 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 51(6), 683–721 (2008)

    Article  MATH  Google Scholar 

  13. 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–192. Springer US (2009)

    Google Scholar 

  14. Lü, J., Ma, X., Tao, X., Huang, Y., Xu, C.: Explicit environmental constructs for Internetware. Science Sinica Informationis 43(1), 1–23 (2013) (in Chinese)

    Google Scholar 

  15. Liu, Y., Xu, C., Cheung, S.: Afchecker: Effective model checking for context-aware adaptive applications. Journal of Systems and Software 86(3), 854–867 (2013)

    Article  Google Scholar 

  16. 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 36, 644–661 (2010)

    Article  Google Scholar 

  17. 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–210. IEEE Computer Society, Washington, DC (2012)

    Google Scholar 

  18. 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–10 (2010)

    Google Scholar 

  19. Guizzo, E.: How Google’s self-driving car works, http://spectrum.ieee.org/automaton/robotics/artificial-intelligence/how-google-self-driving-car-works (last accessed in March 2013)

  20. 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–393 (December 2008)

    Google Scholar 

  21. Dey, A.: Providing architectural support for building context-aware applications. PhD thesis, Georgia Institute of Technology (2000)

    Google Scholar 

  22. 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’s globally-distributed database. In: Proceedings of the 10th USENIX conference on Operating Systems Design and Implementation, OSDI 2012, pp. 251–264. USENIX Association, Berkeley (2012)

    Google Scholar 

  23. 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–345 (September 2005)

    Google Scholar 

  24. 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–14 (June 2004)

    Google Scholar 

  25. Ranganathan, A., Campbell, R., Ravi, A., Mahajan, A.: Conchat: a context-aware chat program. IEEE Pervasive Computing 1(3), 51–57 (2002)

    Article  Google Scholar 

  26. Capra, L., Emmerich, W., Mascolo, C.: Carisma: Context-aware reflective middleware system for mobile applications. IEEE Transactions on Software Engineering 29(10), 929–945 (2003)

    Article  MATH  Google Scholar 

  27. Julien, C., Roman, G.C.: Egospaces: Facilitating rapid development of context-aware mobile applications. IEEE Transactions on Software Engineering 32(5), 281–298 (2006)

    Article  Google Scholar 

  28. 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 15(3), 279–328 (2006)

    Article  Google Scholar 

  29. Ranganathan, A., Campbell, R.H.: An infrastructure for context-awareness based on first order logic. Personal Ubiquitous Comput. 7, 353–364 (2003)

    Article  Google Scholar 

  30. Reiss, S.: Incremental maintenance of software artifacts. IEEE Transactions on Software Engineering 32(9), 682–697 (2006)

    Article  Google Scholar 

  31. Tarr, P., Clarke, L.: Consistency management for complex applications. In: Proceedings of the 20th International Conference on Software Engineering, pp. 230–239 (1998)

    Google Scholar 

  32. ARGOUML, http://argouml.tigris.org/ (last accessed in March 2013)

  33. 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–520 (2008)

    Google Scholar 

  34. Nentwich, C., Capra, L., Emmerich, W., Finkelstein, A.: xlinkit: a consistency checking and smart link generation service. ACM Trans. on Internet Technology 2(2), 151–185 (2002)

    Article  Google Scholar 

  35. 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–301 (May 2006)

    Google Scholar 

  36. Locale, http://www.twofortyfouram.com/ (last accessed in March 2013)

  37. Setting Profiles, http://www.probeez.com/ (last accessed in March 2013)

  38. Tasker, http://tasker.dinglisch.net/ (last accessed in March 2013)

  39. 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–572. ACM, New York (2007)

    Google Scholar 

  40. 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. 104, pp. 285–297. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  41. 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 83(6), 906–914 (2010)

    Article  Google Scholar 

  42. 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–1:10. ACM (2012)

    Google Scholar 

  43. 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–193 (December 2012)

    Google Scholar 

  44. Kramer, J., Magee, J.: The evolving philosophers problem: Dynamic change management. IEEE Transactions on Software Engineering 16(11), 1293–1306 (1990)

    Article  Google Scholar 

  45. Gupta, D., Jalote, P., Barua, G.: A formal framework for on-line software version change. IEEE Transactions on Software Engineering 22(2), 120–131 (1996)

    Article  Google Scholar 

  46. Vandewoude, Y., Ebraert, P., Berbers, Y., D’Hondt, T.: Tranquility: A low disruptive alternative to quiescence for ensuring safe dynamic updates. IEEE Transactions on Software Engineering 33(12), 856–868 (2007)

    Article  Google Scholar 

  47. He, J., Li, X., Liu, Z.: Component-based software engineering. In: Van Hung, D., Wirsing, M. (eds.) ICTAC 2005. LNCS, vol. 3722, pp. 70–95. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  48. Hoare, C.A.R., He, J.: Unifying theories of programming. Prentice Hall (1998)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, 210023, China

    Jian Lü, Yu Huang, Chang Xu & Xiaoxing Ma

  2. Department of Computer Science and Technology, Nanjing University, Nanjing, 210023, China

    Jian Lü, Yu Huang, Chang Xu & Xiaoxing Ma

  3. Institute of Computer Software, Nanjing University, Nanjing, 210023, China

    Jian Lü, Yu Huang, Chang Xu & Xiaoxing Ma

Authors
  1. Jian Lü
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Yu Huang
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Chang Xu
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Xiaoxing Ma
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. International Institute for Software Technology, United Nations University, P.O. Box 3058, Macau, China

    Zhiming Liu

  2. Department of Computer Science, University of York, Deramore Lane, YO10 5GH, York, UK

    Jim Woodcock

  3. Software Engineering Institute, East China Normal University, 3663 Zhongshan Road (North), 200062, Shanghai, China

    Huibiao Zhu

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Lü, J., Huang, Y., Xu, C., Ma, X. (2013). Managing Environment and Adaptation Risks for the Internetware Paradigm. In: Liu, Z., Woodcock, J., Zhu, H. (eds) Theories of Programming and Formal Methods. Lecture Notes in Computer Science, vol 8051. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-39698-4_17

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-39698-4_17

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-39697-7

  • Online ISBN: 978-3-642-39698-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics