软件构架动态行为建模与检测

来源 :计算机研究与发展 | 被引量 : 0次 | 上传用户：weicengh

【摘要】

：

针对软件构架描述语言在分析、验证软件构架动态行为中的不足,用抽象代数对构件、连接器和体系结构配置进行抽象,提出了软件构架层次模型,并采用Pr/T网对软件构架动态行为建

【作者】

：

何坚覃征

【机构】

：

北京工业大学软件学院,西安交通大学电子与信息工程学院电子商务研究所

【出处】

：

计算机研究与发展

【发表日期】

：

2005年11期

【关键词】

：

软件构架 Pr/T网线性时序逻辑模型检测 software architecture Pr/T net linear temporal logic mode

【基金项目】

：

国家高技术研究发展计划(863计划)，陕西省科技发展基金

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

针对软件构架描述语言在分析、验证软件构架动态行为中的不足,用抽象代数对构件、连接器和体系结构配置进行抽象,提出了软件构架层次模型,并采用Pr/T网对软件构架动态行为建模.提出基于线性时序逻辑的软件构架动态行为模型检测方法,给出了该方法的算法描述.最后,详细描述了电子商务系统中并发控制机制的建模过程和检测结果.提出的软件构架动态行为建模与检测方法结合了Pr/T网和线性时序逻辑的优点,为开展软件构架动态行为的分析、验证提供了理论基础.

其他文献

关于进一步加强动物产品质量安全监管工作探讨

据2011年全国动物卫生监督工作座谈会数据显示：截至2011年11月底，全国共产地检疫动物70．6亿头（只、羽），屠宰检疫动物41．3亿头（只、羽），生猪定点屠宰环节“瘦肉精”部级专项监督抽检近30

期刊

动物产品质量安全监管工作卫生监督工作生猪定点屠宰兽药生产企业“瘦肉精”数据显示产地检疫

多元单圈T函数的构造以及在密码学中的应用

T函数是n位字到n位字的一个映射,并且第i(0≤i≤n-1)位的输出仅与输入的0,1,…,i位值相关.所有的布尔运算以及现代微处理器的算术运算几乎都可看成是T函数,它们的组合也可认

期刊

T函数单圈T函数多元单圈T函数流密码状态更新函数

基于虚拟组织和小世界模型的高效网格服务定位机制

在网格环境中分布着大量不同类型的动态服务,为了更有效地定位不同属性的服务,提出了一种网格服务定位机制.它以小世界(the Small-World)模型作为理论依据,根据虚拟组织VO(vi

期刊