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

Hierarchical formal description of distributed system

作　　者：毛莉[1,2] 齐德昱[1] 

机构地区：[1]华南理工大学计算机系统研究所,广州510006 [2]广东警官学院计算机系,广州510440

出　　处：《计算机应用研究》2014年第8期2407-2410,共4页Application Research of Computers

基　　金：国家自然科学基金资助项目(61070015);广东省自然科学基金团队项目(10351806001000000)

摘　　要：为了在开发分布式系统的过程中帮助设计者优化和验证系统,提出一种基于层次结构图形化描述方法,利用精确的数学模型描述其分布与并发行为:嵌入离散事件(DE)模型的有限自动机模型(FSM)描述软件模块内各进程间的并发及状态转换,定义基于层次图的双外推(DPO)变换建模系统拓扑结构的迁移。格件系统的描述表明该分层描述方法有效地刻画了分布式系统的并发和分布特性,为分布式系统开发提供了新的设计框架和可视化模拟方法。In order to help designers to optimize and prove the distributed system in developing process,this paper proposed a new formal description method based on hierarchical graph. This method used precise mathematical models to describe the distribution and concurrent behaviors. It not only took advantage of embedded finite state machine to model concurrency and state transitions between processes,but also defined double push out transform to model transitions of hierarchical topology. The description of Gridjack system indicates that the hierarchical description method effectively portrays concurrent and distribution characteristics of distributed systems and provides a new design framework and simulation methods for the development of distributed systems.

关 键 词：分布式 有限自动机模型 离散事件 双外推 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]