基于B方法验证技术的应用研究  

Application and Study of Test Technical Based on B Method

作　　者：邹盛荣[1] 滕腾[1] 阳雪平[1] 唐宇[1] 吴铭[1] 周彬[1] 

机构地区：[1]扬州大学信息工程学院,江苏扬州225009

出　　处：《现代电子技术》2007年第19期131-134,共4页Modern Electronics Technique

基　　金：江苏省自然科学基金项目(BK2004052)"面向软件服务协同的agent结构研究";扬州大学自然科学基金(KK0513109)"混沌系统的反控制与脉冲同步及其应用"的资助

摘　　要：形式化B方法建立在严格的数学基础上,通过严格的验证技术证明其正确性,尤其对大型复杂系统的描述是非常有用和正确的。用形式化B方法描述了免疫系统的两个因子网络模型,然后通过严格和精确的验证技术:类型检查和证明义务的给出,证明了抽象机的正确性。The formal B method is established on a strict mathematics foundation, by strict test technique to prove. It is useful and right to the description of the large and complicated system particularly. It describes two cytokine network models of the immune system with the formal B method,then it uses strictly test technique,The type check and certificate compulsory,to prove the abstract machine.

关 键 词：B方法 形式化方法 因子网络 验证 免疫系统 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]