小型微型计算机系统
小型微型計算機繫統
소형미형계산궤계통
MINI-MICRO SYSTEMS
2014年
2期
266-272
,共7页
概率规划%隐含上下文状态%环境不确定性
概率規劃%隱含上下文狀態%環境不確定性
개솔규화%은함상하문상태%배경불학정성
probabilistic planning%hidden context state%environment uncertainty
从需求工程的角度解决软件自适应性问题更加符合软件外部环境因素显式化驱动软件演化的要求,本文针对自适应需求中不确定性的定量刻画和面向不确定性的需求分析问题,提出面向不确定性的自适应需求规划方法.首先,使用R2ML的类型原子表示的上下文作为需求概率规划状态节点,定义和获取隐含上下文状态以增加状态的完整性;然后,通过关联上下文状态与KAOS操作的条件元素、使用概率表示操作效果不确定性的方法扩展了KAOS操作以作为需求概率规划的动作节点;最后,提出一种基于概率规划图的需求规划算法,通过对不确定性的定量计算获得最优的自适应需求决策.
從需求工程的角度解決軟件自適應性問題更加符閤軟件外部環境因素顯式化驅動軟件縯化的要求,本文針對自適應需求中不確定性的定量刻畫和麵嚮不確定性的需求分析問題,提齣麵嚮不確定性的自適應需求規劃方法.首先,使用R2ML的類型原子錶示的上下文作為需求概率規劃狀態節點,定義和穫取隱含上下文狀態以增加狀態的完整性;然後,通過關聯上下文狀態與KAOS操作的條件元素、使用概率錶示操作效果不確定性的方法擴展瞭KAOS操作以作為需求概率規劃的動作節點;最後,提齣一種基于概率規劃圖的需求規劃算法,通過對不確定性的定量計算穫得最優的自適應需求決策.
종수구공정적각도해결연건자괄응성문제경가부합연건외부배경인소현식화구동연건연화적요구,본문침대자괄응수구중불학정성적정량각화화면향불학정성적수구분석문제,제출면향불학정성적자괄응수구규화방법.수선,사용R2ML적류형원자표시적상하문작위수구개솔규화상태절점,정의화획취은함상하문상태이증가상태적완정성;연후,통과관련상하문상태여KAOS조작적조건원소、사용개솔표시조작효과불학정성적방법확전료KAOS조작이작위수구개솔규화적동작절점;최후,제출일충기우개솔규화도적수구규화산법,통과대불학정성적정량계산획득최우적자괄응수구결책.