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

• 作者: 何坚 覃征
• 来源期刊: 计算机研究与发展
• 学科: 工学
• 关键词: 软件构架 Pr/T网 线性时序逻辑 模型检测
• 年，卷（期）: 2005,（11）
• 所属期刊栏目: 软件技术
• 页码范围: 2018-2024
• 页数: 7页
• 分类号: TP311.5
• 字数: 6042字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	覃征	西安交通大学电子与信息工程学院电子商务研究所	158	2651	25.0	46.0
2	何坚	北京工业大学软件学院	12	128	7.0	11.0