有哪些信誉好的足球投注网站- 1、本文档共4页，其中可免费阅读2页，需付费100金币后方可阅读剩余内容。
- 2、本文档内容版权归属内容提供方，所产生的收益全部归内容提供方所有。如果您对本文有版权争议，可选择认领，认领后既往收益都归您。
- 3、本文档由用户上传，本站不保证质量和数量令人满意，可能有诸多瑕疵，付费之前，请仔细先通过免费阅读内容等途径辨别内容交易风险。如存在严重挂羊头卖狗肉之情形，可联系本站下载客服投诉处理。
- 4、文档侵权举报电话：400-050-0827(电话支持时间：9:00-18:30)。
查看更多
第卷第期计算机应用研究年月分布式系统的分层形式化描述方法毛莉齐德昱华南理工大学计算机系统研究所广州广东警官学院计算机系广州摘要为了在开发分布式系统的过程中帮助设计者优化和验证系统提出一种基于层次结构图形化描述方法利用精确的数学模型描述其分布与并发行为嵌入离散事件模型的有限自动机模型描述软件模块内各进程间的并发及状态转换定义基于层次图的双外推变换建模系统拓扑结构的迁移格件系统的描述表明该分层描述方法有效地刻画了分布式系统的并发和分布特性为分布式系统开发提供了新的设计框架和可视化模拟方法关键词分布式
第３１卷第８期 计 算 机 应 用 研 究 Ｖｏｌ．３１Ｎｏ．８
２０１４年８月 ＡｐｐｌｉｃａｔｉｏｎＲｅｓｅａｒｃｈｏｆＣｏｍｐｕｔｅｒｓ Ａｕｇ．２０１４
分布式系统的分层形式化描述方法
１，２ １
文档评论（0）