...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>電子情報通信学会論文誌 >時間制約を保証するUML/OCLを用いた分散実時間アプリケーション開発手法
【24h】

時間制約を保証するUML/OCLを用いた分散実時間アプリケーション開発手法

机译：使用UML / OCL的分布式实时应用程序开发方法可确保时间限制

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

摘要

本論文では，UML/OCLを用いた分散環境実時間アプリケーション開発を支援する手法を提案する．提案手法により，UML/OCLを用いた開発アプリケーションの設計記述に対する，時間オートマトンを用いたtimeliness QoSの効率良い整合性検証，時間制御コード自動生成が可能となる．設計，検証作業は2段階に分けられ，これにより検証の効率化が図られる．本論文では，提案手法に基づいた検証系及び導出系の実装，更に例題に対する適用結果について述べる．
机译：在本文中，我们提出了一种使用UML / OCL支持分布式环境的实时应用程序开发的方法。所提出的方法使得能够使用定时自动机对及时性QoS进行高效一致性验证，并使用UML / OCL对开发应用程序的设计描述进行自动生成定时控制代码。设计和验证工作分为两个阶段，从而提高了验证效率。在本文中，我们描述了基于所提出的方法的验证系统和派生系统的实现，以及实例的应用结果。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号