常建生
- 作品数：5 被引量：1H指数：1
- 供职机构：北京工业大学计算机学院更多>>
- 发文基金：北京市自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 软件构件间交互可信性验证模型
- 为验证基于构件的软件系统中构件间交互的可信性,将UML与Pi演算理论相结合,提出了一个软件构件间交互的可信性验证模型.在构件行为分析的基础上,利用抽取规则抽取Pi演算语义,以形式化的方式描述构件的行为.进一步利用Pi演算...
- 常建生王丹赵文兵
- 关键词：交互行为PI演算
- 文献传递
- 使用Pi演算的构件交互可信性验证模型被引量：1
- 2012年
- 为验证基于构件的软件系统中构件间交互的可信性,将统一建模语言(unified modeling language,UML)与Pi演算理论相结合,提出了一个软件构件间交互的可信性验证模型。在构件行为分析的基础上,利用抽取规则抽取Pi演算语义来描述构件的行为。进一步利用Pi演算的操作语义推演构件间的实际交互行为。将得到的实际交互行为与预期交互行为比对,可判断构件交互的可信性。最后,通过实例对该模型的具体应用进行了阐述。该模型能够对基于构件的软件系统中任意两个相互交互的构件之间交互的可信性进行验证,为判断该类系统中构件间交互的可信性提供了有效方法。
- 王丹常建生赵文兵
- 关键词：PI演算
- 软件组件系统协作行为的可信性问题研究
- 随着可信计算领域的不断发展,可信软件的研究已经逐渐成为当前的研究热点。如何构造可信软件问题,已经成为当前软件技术所面临的一个挑战,该领域的相关研究具有重要的理论意义和应用价值。可信软件通常是指在特定环境下,其运行行为及结...
- 常建生
- 关键词：组件系统
- 软件实体中预期协作路径的获取方法
- 2012年
- 为解决软件实体间的预期协作路径获取问题,提出一种软件实体中预期协作路径的获取方法。结合UML与Pi演算理论,在对软件实体行为分析的基础上,对实体行为进行Pi演算语义抽取,利用Pi演算的操作语义推演实体协作,生成实体预期协作路径集,并以可扩展标记语言方式对其进行存储。应用结果表明,该方法能支持软件实体预期协作路径的获取,为可信软件研究中软件预期行为获取方法提供有益补充。
- 常建生王丹赵文兵
- 关键词：PI演算可扩展标记语言
- 一个实时系统的组件模型及其可信性验证
- 针对组件系统的可信验证问题,提出了一种基于B抽象机精化机制的组件间连接的形式化验证方法.以基于组件的实时响应系统——锅炉控制系统为实例进行了分析,设计了该系统的组件模型,给出了在模型中引入了相关可信行为约束的方法.通过B...
- 王丹常建生赵晶
- 关键词：B方法实时系统组件模型
- 文献传递
