書誌事項
- タイトル別名
-
- A Method to Develop Distributed Real-Time Applications Based on UML/OCL
- ジカン セイヤク ヲ ホショウ スル UML OCL ヲ モチイタ ブンサン ジツジカン アプリケーション カイハツ シュホウ
この論文をさがす
抄録
本論文では,UML/OCLを用いた分散環境実時間アプリケーション開発を支援する手法を提案する.提案手法により,UML/OCLを用いた開発アプリケーションの設計記述に対する,時間オートマトンを用いたtimeliness QoSの効率良い整合性検証,時間制御コード自動生成が可能となる.設計,検証作業は2段階に分けられ,これにより検証の効率化が図られる.本論文では,提案手法に基づいた検証系及び導出系の実装,更に例題に対する適用結果について述べる.
収録刊行物
-
- 電子情報通信学会論文誌D
-
電子情報通信学会論文誌D J89-D (4), 683-692, 2006-04-01
電子情報通信学会
- Tweet
詳細情報
-
- CRID
- 1050564287647604864
-
- NII論文ID
- 110007380432
-
- NII書誌ID
- AA12099634
-
- HANDLE
- 11094/27439
-
- NDL書誌ID
- 7916637
-
- ISSN
- 18804535
-
- 本文言語コード
- ja
-
- 資料種別
- journal article
-
- データソース種別
-
- IRDB
- NDL
- CiNii Articles