登录 | 注册 | 充值 | 退出 | 公司首页 | 繁体中文 | 满意度调查
综合馆
面向软件行为的需求模型及特性检测
  • 摘要

    软件需求模型及其检测是软件需求工程中的重要工作.在分析现有需求建模方法和软件行为相关研究的基础上,对将软件行为概念引入需求模型进行了详细的阐述,提出一个面向软件行为的需求模型描述语言BDL(behavior description language),定义了它的语法、语义;讨论了CCS(calculus of communication system)与BDL的转换关系,构造了BDL到CCS的转换函数M[I-I];给出了需求模型的系统一致性、系统安全性、行为可信性及行为非终止性等4种系统特性的时序逻辑描述;最后用模型验证工具CWB(Concurrency WorkBench)对BDL描述的具体实例进行验证分析.

  • 作者

    吴怀广  毋国庆  陈曙  万黎  Wu Huaiguang  Wu Guoqing  Chen Shu  Wan Li 

  • 作者单位

    武汉大学计算机学院,武汉,430079

  • 刊期

    2011年5期 ISTIC EI PKU

  • 关键词

    软件行为  需求模型  系统特性  逻辑刻画  特性检测 

参考文献
查看更多︾
相似文献 查看更多>>
34.229.97.16