基于π演算的软件体系结构一致性分析研究

• 作者: 任洪敏 刘晋
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 软件体系结构 体系结构分析 形式化方法 π演算
• 年，卷（期）: 2011,（4）
• 所属期刊栏目: 软件工程
• 页码范围: 196-198,208
• 分类号: TP311
• 字数: 4904字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2011.04.042

摘要

体系结构是系统的高层抽象和集成蓝图,基于形式化方法描述和分析体系结构能在系统开发早期发现体系结构层面的错误并提升体系结构的质量.基于体系结构的πADL形式化规约,结合体系结构领域的需求和特点,运用π演算基本理论形式化定义了系列概念和多种进程关系,并以此作为理论基础.提出了πADL规约的8种一致性分析方法,用以提高体系结构规约和系统组装的质量.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	任洪敏	上海海事大学计算机系	32	122	7.0	8.0
2	刘晋	上海海事大学计算机系	5	10	2.0	3.0