【24h】

Towards formal semantics for QoS support

机译:迈向QoS支持的形式语义

获取原文

摘要

The introduction of the concept of QoS has led to an extension of the traditional concepts of service and service specification. However, the design of QoS support is usually done without a systematic approach, leading to concepts of QoS support ranging from basic QoS monitoring capabilities to hard real-time guarantees. In more advanced QoS support, intermediate layers should be designed in a way that enables the masking or controlled handling of sporadic QoS violations. To implement this degradation path support across multiple layers, a negotiation of preferred and supportable failure semantics is a requirement. To realize these advanced QoS support features, not only new QoS control mechanisms within the layers have to be developed but the semantics of QoS negotiation protocols between layers must be better understood and subsequently extended. A framework formally based on set theory and relations is presented that allows the specification of QoS hierarchies including a well-defined failure type model. The framework supports the development of QoS negotiation protocols and can be used as a formal base for a structured system analysis.
机译:QoS概念的引入导致了传统的服务和服务规范概念的扩展。但是,QoS支持的设计通常是在没有系统方法的情况下完成的,从而导致QoS支持的概念从基本的QoS监视功能到硬实时保证不等。在更高级的QoS支持中,中间层的设计方式应能够屏蔽或控制对偶发QoS违规行为的处理。为了跨多个层实现此降级路径支持,需要对首选的和可支持的故障语义进行协商。为了实现这些高级QoS支持功能,不仅必须开发各层内的新QoS控制机制,而且还必须更好地理解并随后扩展各层之间QoS协商协议的语义。提出了一种正式基于集合论和关系的框架,该框架允许对QoS层次结构进行规范,包括定义良好的故障类型模型。该框架支持QoS协商协议的开发,可以用作结构化系统分析的正式基础。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号