Requirements monitoring for Internetware:an interaction based approach  

作　　者：CHEN XiaoHong LIU Jing LIU Zhiming 

机构地区：[1]Shanghai Key Laboratory of Trustworthy Computing,East China Normal University [2]International Institute of Software Technology,United Nations University

出　　处：《Science China(Information Sciences)》2013年第8期85-99,共15页中国科学（信息科学）（英文版）

基　　金：supported by National Natural Science Foundation of China for Young Scholars (Grant No.61202104);Doctoral Fund of Ministry of Education of China (Grant No.20120076120016);National Basic Research Program of China (973 Program) (Grant No. 2009CB320702);National Natural Science Foundation of China(Grant Nos. 61170084,91118008);Creative Team of National Natural Science Foundation (Grant No. 61021004);Shanghai Knowledge Service Platform (Grant No. ZF1213);Opening Fund of Top Key Discipline of Computer Software and Theory in Zhejiang Provincial Colleges at Zhejiang Normal University;National High-tech R&D Program of China (863 Program) (Grant No. 2011AA010101)

摘　　要：The behavior of an Internetware system, which is running in a dymamic and open environment,is likely to deviate from its original requirements specification. In this paper, we propose an interaction based requirements monitoring approach for Internetware. Firstly the Internetware requirements are transformed into an environment based Internetware specification in terms of expected interactions between the Internetware system and its environment. Then we monitor the running Internetware system, collect the Internetware system behaviors in terms of actual interactions between the Internetware system and its environment, and compare the Internetware system behaviors with its specification. Finally a monitoring report is given. As environment change is more predictable than requirement change, our approach could handle environment changes and Internetware system evolution by updating its environment. A framework of the interaction based requirements monitoring is presented. Furthermore, a corresponding monitor is designed. At last, a case study is carried on to illustrate the feasibility of our approach.The behavior of an Internetware system, which is running in a dymamic and open environment,is likely to deviate from its original requirements specification. In this paper, we propose an interaction based requirements monitoring approach for Internetware. Firstly the Internetware requirements are transformed into an environment based Internetware specification in terms of expected interactions between the Internetware system and its environment. Then we monitor the running Internetware system, collect the Internetware system behaviors in terms of actual interactions between the Internetware system and its environment, and compare the Internetware system behaviors with its specification. Finally a monitoring report is given. As environment change is more predictable than requirement change, our approach could handle environment changes and Internetware system evolution by updating its environment. A framework of the interaction based requirements monitoring is presented. Furthermore, a corresponding monitor is designed. At last, a case study is carried on to illustrate the feasibility of our approach.

关 键 词：INTERNETWARE environment entity requirements monitoring environment based requirements de-scription INTERACTION 

分 类 号：TP393.09[自动化与计算机技术—计算机应用技术]