• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Formal description techniques IX : Theory, application and tools >Performance modelling with the formal specification language SDL
【24h】

Performance modelling with the formal specification language SDL

机译：使用正式规范语言SDL进行性能建模

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Predicting the performance of a communication protocol from a formal description was first proposed about a decade ago. Such performance prediction involves two issues: the semantics to give time and teh analysis method to solve the resultant model. In this paper we address the first issue: The semantics to give time and how to introduce it into the model. The approach we propose does not affect the syntax of the formal description technique and does not depend on the FDT used, but we illustrate our ideas using SDL and derive performance measures from a simulation or execution of the specification. In many cases we could equally well use Markov or queueing theory or other proposals in the literature. The problem of determining the values of the appropriate parameters in those cases remain however. We also describe a software tool which implements our proposals and an example to illustrate their application in practice.
机译：从正式描述中预测通信协议的性能是大约十年前提出的。这种性能预测涉及两个问题：给予时间的语义和解决结果模型的分析方法。在本文中，我们解决了第一个问题：给予时间的语义以及如何将其引入模型。我们提出的方法不会影响形式描述技术的语法，也不依赖于所使用的FDT，但是我们使用SDL来说明我们的想法，并从规范的模拟或执行中得出性能指标。在许多情况下，我们同样可以很好地使用马尔可夫或排队论或文献中的其他建议。然而，在那些情况下确定适当参数的值的问题仍然存在。我们还描述了实现建议的软件工具，并举例说明了它们在实践中的应用。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号