基于环境的多形态时间需求建模方法-计算机学报.PDF

第卷第期 计 算 机 学 报 ３６ １ 　 　　　　　　　　 Ｖｏｌ．３６Ｎｏ．１ 年月 ２０１３１ ＣＨＩＮＥＳＥＪＯＵＲＮＡＬＯＦＣＯＭＰＵＴＥＲＳ Ｊａｎ．２０１３ 　 基于环境的多形态时间需求建模方法 ），），） ） １２３ １ 陈小红 刘静 　　　 ） １（华东师范大学上海市高可信计算重点实验室上海 ） ２０００６２ 　 　 ） ２（北京大学高可信软件技术教育部重点实验室北京 ） １００８７１ 　 　 ） ３（浙江师范大学计算机软件与理论省级重中之重学科浙江金华 ） ３２１００４ 　 　 ， 摘要时间需求作为嵌入式系统的关键要素其重要性越来越突出但是目前的时间需求存在着多样的环境时 ． 　　 ， 间描述与单一的软件时间描述融合问题文中在基于环境的功能性需求的基础上提出基于环境的多形态时间需 ． 求建模方法，试图在需求层次上为该问题提供解决方案文中构建了支持这个方法的多形态时间需求模型，在环境 ． ， ， 因素的基础上增加了多形态时间描述并提出该需求模型制导的需求建模过程帮助需求分析员在功能性需求的 ， 基础上建模时间需求文中还给出了从多样的环境时间描述得到软件时间需求规约的步骤指导需求分析人员抽 ． 取时间需求规约． 关键词 ； ； ； 时间需求多形态时间基于环境建模嵌入式系统 　 中图法分类号 号 ／ ＴＰ３１１ 犇犗犐 １０．３７２４ＳＰ．Ｊ．１０１６．２０１３．０００８８ 　　　 　 ： 犕狅犱犲犾犻狀犛狅犳狋狑犪狉犲犜犻犿犻狀犚犲狌犻狉犲犿犲狀狋狊犃狀犈狀狏犻狉狅狀犿犲狀狋犅犪狊犲