首页> 外文会议>Software Engineering for Real Time Systems, 1991., Third International Conference on >Deriving protocol specifications from service specifications with heterogeneous timing requirements
【24h】

Deriving protocol specifications from service specifications with heterogeneous timing requirements

机译:从具有不同时序要求的服务规范中导出协议规范

获取原文

摘要

In a real-time distributed application, the crucial problem is the coordination between the cooperating application processes. The available resources sometimes do not suffice for installation of an underlying distributed operating system, and the inter-process coordination must be embedded directly into the application processes. An enhancement of the protocol derivation algorithm of M. Kapus-Kolar (1991) is proposed, to cover the most typical timing requirements of service specifications, in particular the relative real-time scheduling of service interactions. The proposed solution is sound if the distributed system is not too time-critical. In the opposite case, the temporal inter-dependence of all actions in the system might be so strong that they can not be satisfactorily scheduled without some additional communication between the participating protocol entities.
机译:在实时分布式应用程序中,关键问题是协作应用程序进程之间的协调。可用资源有时不足以安装底层分布式操作系统,并且进程间协调必须直接嵌入到应用程序进程中。提出了M.Kapus-Kolar(1991)的协议推导算法的增强,以覆盖服务规范的最典型的时序要求,尤其是服务交互的相对实时调度。如果分布式系统的时间要求不是太严格,那么提出的解决方案是合理的。在相反的情况下,系统中所有动作的时间相互依存性可能非常强,以至于在没有参与协议实体之间进行一些其他通信的情况下,无法令人满意地调度它们。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号