作者：何坚; 覃征软件构架线性时序逻辑模型检测
摘要：针对软件构架描述语言在分析、验证软件构架动态行为中的不足,用抽象代数对构件、连接器和体系结构配置进行抽象,提出了软件构架层次模型,并采用Pr/T网对软件构架动态行为建模.提出基于线性时序逻辑的软件构架动态行为模型检测方法,给出了该方法的算法描述.最后,详细描述了电子商务系统中并发控制机制的建模过程和检测结果.提出的软件构架动态行为建模与检测方法结合了Pr/T网和线性时序逻辑的优点,为开展软件构架动态行为的分析、验证提供了理论基础.
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
