面向安全性需求的构件组装

摘要：

构件组装技术无法充分考虑安全苛求软件的安全性需求,可能引发软件的失效.该文在保证安全苛求软件的基本构件满足功能性需求的同时,提出采用加入时间字约束的方法来确保构件组装后的结果达到安全性需求,使系统按照严格的时序进行状态的变迁,有效避免了故障的发生.

关键词：构件组装、安全性需求、时间约束

所属期刊栏目：34

分类号：TP309(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目60674004

在线出版日期：2009-02-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：153-155