Multistage, multifaceted analysis of telecommunications network architectures

IEEE INFOCOM '89, Proceedings of the Eighth Annual Joint Conference of the IEEE Computer and Communications Societies Pub Date : 1989-04-23 DOI:10.1109/INFCOM.1989.101438

E. E. McCoy, P. Zave

引用次数: 1

Abstract

It is shown that a multilanguage approach can provide more useful feedback than the use of any single specification language by itself. The point is illustrated by an architectural model written in two executable specification languages, PAISLey and CSP. The model can be subjected to formal type checking, protocol analysis and timing analysis. In all three cases, a notion of consistency between developmental stages of the model is enforced.<>

查看原文本刊更多论文

电信网络架构的多阶段、多面分析

结果表明，与单独使用任何单一规范语言相比，多语言方法可以提供更有用的反馈。用两种可执行规范语言(PAISLey和CSP)编写的体系结构模型说明了这一点。该模型可以进行形式类型检查、协议分析和时序分析。在所有三种情况下，模型的发展阶段之间的一致性概念被强制执行。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

IEEE INFOCOM '89, Proceedings of the Eighth Annual Joint Conference of the IEEE Computer and Communications Societies

自引率

0.00%

发文量