分布式系统的分层形式化描述方法

• 作者: 毛莉 齐德昱
• 来源期刊: 计算机应用研究
• 关键词: 分布式 有限自动机模型 离散事件 双外推
• 年，卷（期）: 2014,（8）
• 所属期刊栏目: 系统应用开发
• 页码范围: 2407-2410
• 页数: 4页
• 分类号: TP311.5
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2014.08.040

摘要

为了在开发分布式系统的过程中帮助设计者优化和验证系统,提出一种基于层次结构图形化描述方法,利用精确的数学模型描述其分布与并发行为:嵌入离散事件(DE)模型的有限自动机模型(FSM)描述软件模块内各进程间的并发及状态转换,定义基于层次图的双外推(DPO)变换建模系统拓扑结构的迁移.格件系统的描述表明该分层描述方法有效地刻画了分布式系统的并发和分布特性,为分布式系统开发提供了新的设计框架和可视化模拟方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	毛莉	华南理工大学计算机系统研究所	18	97	6.0	9.0
3	齐德昱	华南理工大学计算机系统研究所	142	1102	15.0	27.0