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

書誌事項

タイトル別名
  • A Method to Develop Distributed Real-Time Applications Based on UML/OCL
  • ジカン セイヤク ヲ ホショウ スル UML OCL ヲ モチイタ ブンサン ジツジカン アプリケーション カイハツ シュホウ

この論文をさがす

抄録

本論文では,UML/OCLを用いた分散環境実時間アプリケーション開発を支援する手法を提案する.提案手法により,UML/OCLを用いた開発アプリケーションの設計記述に対する,時間オートマトンを用いたtimeliness QoSの効率良い整合性検証,時間制御コード自動生成が可能となる.設計,検証作業は2段階に分けられ,これにより検証の効率化が図られる.本論文では,提案手法に基づいた検証系及び導出系の実装,更に例題に対する適用結果について述べる.

収録刊行物

被引用文献 (4)*注記

もっと見る

参考文献 (16)*注記

もっと見る

詳細情報

問題の指摘

ページトップへ