作者：吴怀广 毋国庆 陈曙 万黎软件行为需求模型系统特性逻辑刻画特性检测
摘要：软件需求模型及其检测是软件需求工程中的重要工作.在分析现有需求建模方法和软件行为相关研究的基础上,对将软件行为概念引入需求模型进行了详细的阐述,提出一个面向软件行为的需求模型描述语言BDL（behavior description language）,定义了它的语法、语义;讨论了CCS（calculus of communication system）与BDL的转换关系,构造了BDL到CCS的转换函数M〖-〗;给出了需求模型的系统一致性、系统安全性、行为可信性及行为非终止性等4种系统特性的时序逻辑描述;最后用模型验证工具CWB（Concurrency Work Bench）对BDL描述的具体实例进行验证分析.
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
