Implementation decision making for internetware driven by quality requirements  

作　　者：WEI Bo JIN Zhi ZOWGHI Didar YIN Bin 

机构地区：[1]Academy of Mathematics and Systems Science,Chinese Academy of Sciences [2]Key Lab.of High Confidence Software Technologies,Ministry of Education,Peking University [3]Faculty of Engineering and IT.,University of Technology

出　　处：《Science China(Information Sciences)》2014年第7期51-69,共19页中国科学（信息科学）（英文版）

基　　金：supported by National Natural Science Foundation of China (Grant Nos.61232015,91318301)

摘　　要：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.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.

关 键 词：design alternatives decision making implementation decision INTERNETWARE quality requirements 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]