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

長井, 栄吾; 牧寺, 彩; 岡野, 浩三 他

電子情報通信学会論文誌D, 2006, J89-D(4), 683-692

アクセス数:168件（2025-05-09 23:59 集計）

固定URL: https://hdl.handle.net/11094/27439

閲覧可能ファイル 

ファイル フォーマット 利用条件 サイズ 閲覧回数 利用開始日 説明 information
IEICE_J89-D_4_683 pdf なし 353 KB 117 2014.04.11  

論文情報

ファイル出力 EndNote Basic出力 Mendeley出力

タイトル
時間制約を保証するUML/OCL を用いた分散実時間アプリケーション開発手法
A Method to Develop Distributed Real-Time Applications Based on UML/OCL
ジカン　セイヤク　ヲ　ホショウ　スル　UML　OCL　ヲ　モチイタ　ブンサン　ジツジカン　アプリケーション　カイハツ　シュホウ
著者
著者名
長井, 栄吾 ; ナガイ, エイゴ ; Nagai, Eigo
著者名
牧寺, 彩 ; マキデラ, アヤ ; Makidera, Aya
NRID
1000070252632 1000070252632
著者名
岡野, 浩三 ; オカノ, コウゾウ ; Okano, Kozo
NRID
1000000029513 1000000029513
著者名
谷口, 健一 ; タニグチ, ケンイチ ; Taniguchi, Kenichi
キーワード等
UML/OCL
実時間アプリケーション
Timeliness QoS
時間オートマトン
Java
抄録
本論文では，UML/OCLを用いた分散環境実時間アプリケーション開発を支援する手法を提案する．提案手法により，UML/OCLを用いた開発アプリケーションの設計記述に対する，時間オートマトンを用いたtimeliness QoSの効率良い整合性検証，時間制御コード自動生成が可能となる．設計，検証作業は2段階に分けられ，これにより検証の効率化が図られる．本論文では，提案手法に基づいた検証系及び導出系の実装，更に例題に対する適用結果について述べる．
出版者
電子情報通信学会
The Institute of Electronics, Information and Communication Engineers
デンシ　ジョウホウ　ツウシン　ガッカイ
収録物名
電子情報通信学会論文誌D
巻(号)
J89-D(4)
ページ
683-692
刊行年月
2006-04-01
言語
日本語
ハンドルURL
https://hdl.handle.net/11094/27439
PISSN
18804535
NCID
AA12099634
関連情報 (references)
URI
http://search.ieice.org/
アクセス権
open access
権利情報
© （社）電子情報通信学会 2006
出版タイプ
Version of Record
カテゴリ
学術雑誌論文 Journal Article