高级检索
检索提示：高级检索多个条件检索时是按照顺序运算的：如 A或B与C 即:(A或B)与C
[期刊论文]
软件构架动态行为建模与检测
作者：
收录：
摘要：
针对软件构架描述语言在分析、验证软件构架动态行为中的不足,用抽象代数对构件、连接器和体系结构配置进行抽象,提出了软件构架层次模型,并采用Pr/T网对软件构架动态行为建模.提出基于线性时序逻辑的软件构架动态行为模型检测方法,给出了该方法的算法描述.最后,详细描述了电子商务系统中并发控制机制的建模过程和检测结果.提出的软件构架动态行为建模与检测方法结合了Pr/T网和线性时序逻辑的优点,为开展软件构架动态行为的分析、验证提供了理论基础.
关键词：
作者机构：
通讯作者信息：
电子邮件地址：
相关关键词：
相关文章：
2005，计算机学报
2016，计算机应用与软件
2017，计算机应用研究
2008，应用光学
来源 ：
计算机研究与发展
ISSN： 1000-1239
年份： 2005
期： 11
卷： 42
页码： 2018-2024
被引次数：
WoS核心集被引频次： 0
SCOPUS被引频次：
ESI高被引论文在榜： 0 展开所有
万方被引频次： 4
中文被引频次：
近30日浏览量： 1
归属院系：
全文获取
外部链接：
