Skip to main content
SpringerLink
Log in

Implementation decision making for internetware driven by quality requirements

  • Research Paper
  • Published:
Science China Information Sciences Aims and scope Submit manuscript

Abstract

Internetware is an emerging software paradigm in the open, dynamic and ever-changing Internet environment. A successful internetware must demonstrate acceptable degree of quality when carrying out its functionality. Hence, when internetware is being dynamically constructed, making implementation decisions to satisfice the quality requirements becomes a critical issue. In the traditional software engineering, quality requirements are usually refined stepwise by sub-requirements utilizing goal modeling perspective, until some potential functional design alternatives are identified. The goal-oriented paradigms have adopted graphical goal models to reason about quality requirements and proposed qualitative or quantitative reasoning schemas. However, these techniques may become unviable due to the ever-changing operating environment and demands for run-time decision making. In this paper, we propose an approach for implementation decision making driven by quality requirements for internetware. It focuses on the symbolic formula representation of requirements goal models with the tree structure, which is of well-defined syntax and clear traceability. Furthermore, we explore some reasoning rules which effectively automate each reasoning action on the formulae. This supports multiple-factor decision making. A case study is also provided to illustrate our proposed approach. We have developed a supporting tool based on our theoretical approach that we also present in this paper.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Mei H. Internetware: challenges and future direction of software paradigm for internet as a computer. In: Proceedings of the 34th Annual Computer Software and Applications Conference, Seoul, 2010. 14–16

    Google Scholar 

  2. Ma W, Liu L, Ye X, et al. Requirements-driven internetware services evaluation. In: Proceedings of the 1st Asia-Pacific Symposium on Internetware, New York, 2009

    Google Scholar 

  3. Simon H A. Rational choice and the structure of the environment. Psychol Rev, 1956, 63: 129

    Article  Google Scholar 

  4. Amyot D, Ghanavati S, Horkoff J, et al. Evaluating goal models within the goal-oriented requirement language. Int J Intell Syst, 2010, 25: 841–877

    Article  Google Scholar 

  5. Van Lamsweerde A. Goal-oriented requirements engineering: a guided tour. In: Proceedings of the 5th IEEE International Symposium on Requirements Engineering, Toronto, 2001. 249–262

    Google Scholar 

  6. Mylopoulos J, Chung L, Nixon B. Representing and using nonfunctional requirements: a process-oriented approach. IEEE Trans Software Eng, 1992, 18: 483–497

    Article  Google Scholar 

  7. Giorgini P, Mylopoulos J, Sebastiani R. Goal-oriented requirements analysis and reasoning in the tropos methodology. Eng Appl Artif Intel, 2005, 18: 159–171

    Article  Google Scholar 

  8. Yu E S K. Towards modeling and reasoning support for early-phase requirements engineering. In: Proceedings of the 3rd IEEE International Symposium on Requirements Engineering, Annapolis, 1997. 226–235

    Chapter  Google Scholar 

  9. Weiss M, Amyot D. Business process modeling with URN. Int J E-Bus Res, 2005, 1: 63–90

    Article  Google Scholar 

  10. Chung L, Nixon B A. Dealing with non-functional requirements: three experimental studies of a process-oriented approach. In: Proceedings of the 17th International Conference on Software Engineering, Seattle, 1995. 24–28

    Google Scholar 

  11. Chung L, Nixon B A, Yu E, et al. Non-Functional Requirements in Software Engineering. Berlin: Springer, 2000

    Book  MATH  Google Scholar 

  12. Horkoff J, Yu E. Finding solutions in goal models: an iterative backward reasoning approach. In: Proceedings of the 29th International conference on Conceptual modeling, Berlin: Springer, 2010. 59–75

    Google Scholar 

  13. Horkoff J, Yu E, Liu L. Analyzing trust in technology strategies. In: Proceedings of International Conference on Privacy, Security and Trust, New York, 2006. 21–32

    Google Scholar 

  14. Mei H, Huang G, Zhao H, et al. A software architecture centric engineering approach for internetware. Sci China Ser F-Inf Sci, 2006, 49: 702–730

    Article  Google Scholar 

  15. Wei B, Jin Z, Zowghi D. An automatic reasoning mechanism for nfr goal models. In: Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, Xi’an, 2011. 52–59

    Google Scholar 

  16. Van Lamsweerde A, Darimont R, Letier E. Managing con icts in goal-driven requirements engineering. IEEE Trans Software Eng, 1998. 24: 908–926

    Article  Google Scholar 

  17. Wei B, Jin Z. Characterizing the implementation of software non-functional requirements from probabilistic perspective. In: Proceedings of the 35th IEEE Signature Conference on Computer Software and Applications, Munich, 2011. 608–609

    Google Scholar 

  18. Mei H, Liu X. Internetware: an emerging software paradigm for internet computing. J Comput Sci Technol, 2011, 26: 588–599

    Article  Google Scholar 

  19. Jureta I J, Faulkner S, Thiran P. Dynamic requirements specification for adaptable and open service-oriented systems. In: Proceedings of ICSOC, Berlin: Springer, 2007. 270–282

    Google Scholar 

  20. Jureta I J, Faulkner S, Schobbens P Y. A more expressive softgoal conceptualization for quality requirements analysis. In: Proceedings of the 25th International Conference on Conceptual Modeling, Springer: Berlin, 2006. 281–295

    Google Scholar 

  21. Elahi G, Yu E. A semi-automated decision support tool for requirements trade-off analysis. In: Proceedings of COMPSAC, 2011. 466–475

    Google Scholar 

  22. Elahi G, Yu E. Comparing alternatives for analyzing requirements trade-offs-in the absence of numerical data. Inform Software Tech, 2012, 54: 517–530

    Article  Google Scholar 

  23. Wei B, Jin Z, Liu L. A formalism for extending the NFR Framework to support the composition of the goal trees. In: Proceedings of the 17th Asia Pacific Software Engineering Conference, Sydney, 2010. 23–32

    Google Scholar 

  24. Reiter R. On Closed World Data Bases. Logic and Data Bases. US: Springer, 1978. 55–76

    Book  Google Scholar 

  25. Giorgini P, Mylopoulos J, Nicchiarelli E, et al. Formal Reasoning Techniques for Goal Models. Journal of Data Semantics, Berlin: Springer, 2003. 1–20

    Google Scholar 

  26. Heaven W, Letier E. Simulating and optimising design decisions in quantitative goal models. In: Proceedings of the 19th IEEE International Requirements Engineering Conference, Trento, 2011. 79–88

    Google Scholar 

  27. Supakkul S, Hill T, Chung L, et al. An NFR pattern approach to dealing with NFRs. In: Proceedings of the 18th IEEE International Requirements Engineering Conference, Sydney, 2010. 179–188

    Google Scholar 

  28. Wei B, Yin B, Jin Z, et al. rΣ: Automated reasoning tool for non-functional requirement goal models. In: Proceedings of the 19th IEEE International Requirements Engineering Conference, Trento, 2011. 337–338

    Google Scholar 

  29. Chung L, do Prado Leite J C S. On Non-Functional Requirements in Software Engineering. Conceptual Modeling: Foundations and Applications. Berlin: Springer, 2009. 363–379

    Book  Google Scholar 

  30. Giorgini P, Mylopoulos J, Nicchiarelli E, et al. Reasoning with Goal Models. Conceptual ModelingER 2002. Berlin: Springer, 2003. 167–181

    Book  Google Scholar 

  31. Oliveira A P A, Cysneiros L M, do Prado Leite J C S, et al. Integrating scenarios, i*, and aspects in the context of multi-agent systems. In: Proceedings of the Conference of the Center For Advanced Studies on Collaborative Research, CASCON, 2006. 204–218

    Google Scholar 

  32. Fuxman A, Liu L, Mylopoulos J, et al. Specifying and analyzing early requirements in tropos. Requir Eng, 2004, 9: 132–150

    Article  Google Scholar 

  33. Yu E, Mylopoulos J. Enterprise modeling for business redesign: the i* framework. SIGGROUP Bull, 1997, 18: 59–63

    Article  Google Scholar 

  34. Letier E, Van Lamsweerde A. Reasoning about partial goal satisfaction for requirements and design engineering. In: Proceedings of ACM SIGSOFT Software Engineering Notes, New York, 2004. 53–62

    Google Scholar 

  35. van Lamsweerde A. Reasoning About Alternative Requirements Options. Conceptual Modeling: Foundations and Applications. Berlin: Springer, 2009. 380–397

    Chapter  Google Scholar 

  36. van Lamsweerde A. Requirements Engineering: From System Goals to UML Models to Software Specifications. Hoboken: John Wiley & Sons, 2009

    Google Scholar 

  37. Verlaine B, Dubois Y, Jureta I J, et al. Towards conceptual foundations for service-oriented requirements engineering: bridging requirements and services ontologies. IET Softw, 2012, 6: 85–102

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing, 100190, China

    Bo Wei & Bin Yin

  2. Key Lab. of High Confidence Software Technologies, Ministry of Education, Peking University, Beijing, 100190, China

    Zhi Jin

  3. Faculty of Engineering and IT., University of Technology, Sydney, 2042, Australia

    Didar Zowghi

Authors
  1. Bo Wei
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Zhi Jin
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Didar Zowghi
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Bin Yin
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Zhi Jin.

Electronic supplementary material

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Wei, B., Jin, Z., Zowghi, D. et al. Implementation decision making for internetware driven by quality requirements. Sci. China Inf. Sci. 57, 1–19 (2014). https://doi.org/10.1007/s11432-014-5117-5

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11432-014-5117-5

Keywords

Search

Navigation