扩展断言知验一致的需求建模方法.PDFVIP

第 员园卷第 员期摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 智摇 能摇 系摇 统摇 学摇 报摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 灾燥造援员园翼援员 圆园员缘年圆月摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 悦粤粤陨栽则葬灶泽葬糟贼蚤燥灶泽燥灶陨灶贼藻造造蚤早藻灶贼杂赠泽贼藻皂泽 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 云藻遭援圆园员缘 阅韵陨院阅韵陨院员园援猿怨远怨辕躁援蚤泽泽灶援员远苑猿鄄源苑愿缘援圆园员源园怨园员缘 网络出版地址院澡贼贼责院辕辕憎憎憎援糟灶噪蚤援灶藻贼辕噪糟皂泽辕凿燥蚤辕员园援猿怨远怨辕躁援蚤泽泽灶援员远苑猿鄄源苑愿缘援澡贼皂造 扩展断言知识检验一致的需求建模方法 员 圆 圆 圆 郭新峰 袁马世龙 袁吕江花 袁李睿 渊员援山西大学软件学院袁山西太原园猿园园员猿曰圆援 北京航空航天大学计算机学院袁北京 员园园员怨员冤 摘摇 要院保证需求完整一致是需求建模的关键袁文中提出一种基于知识库推理检验一致性的需求建模方法袁该方法 在建模中引入本体以增强表达能力袁并结合语义建立约束规则构建需求模型知识库袁基于描述逻辑描述需求和检验 需求一致性袁将需求建模过程作为断言知识库的扩展过程袁把需求完整性问题转化为需求一致性问题袁并归结其为 规则约束下的可满足问题遥 利用栽葬遭造藻葬怎算法等实现需求一致性的检验袁在整个建模活动中保证需求一致遥 应用实 践中使用自行编制的砸韵月半自动建模软件进行需求建模与分析袁验证了建模方法的需求一致性袁并通过案例说明了 扩展断言知识库检验一致的需求建模过程遥 关键词院需求模型曰一致性曰完整性曰多视点曰描述逻辑曰知识库曰可满足性曰栽葬遭造藻葬怎曰需求工程 中图分类号院栽孕猿员员摇 文献标志码院粤摇 文章编号院员远苑猿鄄源苑愿缘渊圆园员缘冤园员鄄园园愿员鄄员园 中文引用格式院郭新峰袁马世龙袁吕江花袁等援扩展断言知识检验一致的需求建模方法咱允暂援 智能系统学报袁圆园员缘袁员园渊员冤院愿员鄄愿怨援 英文引用格式院郧哉韵载蚤灶枣藻灶早袁酝粤杂澡蚤造燥灶早袁蕴再哉允蚤葬灶早澡怎葬袁藻贼葬造援砸藻择怎蚤则藻皂藻灶贼皂燥凿藻造蚤灶早皂藻贼澡燥凿枣燥则蚤灶泽责藻糟贼蚤灶早贼澡藻糟燥灶泽蚤泽贼藻灶糟赠燥枣 贼澡藻藻曾责葬灶凿藻凿葬泽泽藻则贼藻凿噪灶燥憎造藻凿早藻 咱允暂援悦粤粤陨栽则葬灶泽葬糟贼蚤燥灶泽燥灶陨灶贼藻造造蚤早藻灶贼杂赠泽贼藻皂泽袁圆园员缘袁员园渊员冤院愿员鄄愿怨援 耘曾贼藻灶泽蚤燥灶葬遭燥曾则藻择怎蚤则藻皂藻灶贼泽皂燥凿藻造蚤灶早皂藻贼澡燥凿 员 圆 圆 圆 郧哉韵载蚤灶枣藻灶早 袁酝粤杂澡蚤造燥灶早 袁蕴再哉允蚤葬灶早澡怎葬 袁蕴陨砸怎蚤 渊员援悦燥造造藻早藻燥枣杂燥枣贼憎葬则藻袁杂澡葬灶曾蚤哉灶蚤增藻则泽蚤贼赠袁栽葬蚤赠怎葬灶园猿园园员猿袁悦澡蚤灶葬曰圆援悦燥皂责怎贼藻则悦燥造造藻早藻袁月藻蚤澡葬灶早哉灶蚤增藻则泽蚤贼赠袁月藻蚤躁蚤灶早员园园员怨员袁悦澡蚤灶葬冤 粤遭泽贼则葬糟贼院粤泽泽怎则蚤灶早葬糟燥皂责造藻贼藻葬灶凿糟燥灶泽蚤泽贼藻灶贼则藻择怎蚤则藻皂藻灶贼蚤泽贼澡藻噪藻赠贼燥则藻择怎蚤则藻皂藻灶贼皂燥凿藻造蚤灶早援栽澡蚤泽责葬责藻则责则燥责燥泽藻泽 葬则藻择怎蚤则藻皂藻灶贼皂燥凿藻造蚤灶早皂藻贼澡燥凿枣燥则蚤灶泽责藻糟贼蚤灶早糟燥灶泽蚤泽贼藻灶糟赠燥灶贼澡藻遭葬泽蚤泽燥枣噪灶燥憎造藻凿早藻遭葬泽藻则藻葬泽燥灶蚤灶早援粤灶燥灶贼燥造燥早赠蚤泽 葬凿凿藻凿蚤灶贼燥贼澡藻皂燥凿藻造蚤灶早责则燥糟藻泽泽贼燥蚤皂责则燥增藻贼澡藻藻曾责则藻泽泽蚤燥灶葬遭蚤造蚤贼赠援陨灶葬凿凿蚤贼蚤燥灶袁贼澡藻泽藻皂葬灶贼蚤糟藻泽贼葬遭造蚤泽澡皂藻灶贼糟燥灶泽贼则葬蚤灶贼 则怎造藻蚤泽怎泽藻凿贼燥遭怎蚤造凿贼澡藻噪灶燥憎造藻凿早藻遭葬泽藻燥枣则藻择怎蚤则藻皂藻灶贼皂燥凿藻造蚤灶早援栽澡藻则藻择怎蚤则藻皂藻灶贼皂燥凿藻造蚤灶早责则燥糟藻泽泽蚤泽贼葬噪藻灶葬泽葬灶 藻曾责葬灶泽蚤燥灶责则燥糟藻泽泽燥枣贼澡藻葬泽泽藻则贼蚤燥灶噪灶燥憎造藻凿早藻遭葬泽藻遭葬泽藻凿燥灶贼澡藻糟燥灶泽