このアイテムへのリンクには次のURLをご利用ください: https://hdl.handle.net/11094/27426

閲覧可能ファイル 

ファイル	フォーマット	利用条件	サイズ	閲覧回数	利用開始日	説明
itr102_246_001	pdf	なし	600 KB	40	2014.04.11

論文情報

ファイル出力

タイトル	ペトリネットで記述された簡易ブラウザ型の組込みJavaプログラム動作仕様に対する実行方式の提案
	A deriving method for J2ME programs on personal appliances from application descriptions in Petri-nets and their executional environment
	ペトリネット　デ　キジュツ　サレタ　カンイ　ブラウザガタ　ノ　クミコミ　Java　プログラム　ドウサ　シヨウ　ニ　タイスル　ジッコウ　ホウシキ　ノ　テイアン
著者	著者名 坂上, 弘祐 ; サカウエ, コウスケ ; Sakaue, Kousuke
	NRID 1000070252632 1000070252632 著者名 岡野, 浩三 ; オカノ, コウゾウ ; Okano, Kozo
	NRID 1000000029513 1000000029513 著者名 谷口, 健一 ; タニグチ, ケンイチ ; Taniguchi, Kenichi
キーワード等	カラーペトリネット
	動作仕様記述
	J2ME
	プログラム導出
	coloured Petri-nets
	whole sysytem description
	code generation
抄録	簡易ブラウザ型のJ2MEプログラムの仕様に対する実行方式とプログラムの自動導出法を提案する.プログラムの動作仕様をペトリネットで記述することにより,並行・同期制御も容易に表現でき,形式的検証も行いやすい.本稿では,実行制御を表したペトリネット記述から,アプリケーションロジックとリソースを動的にロードし解釈実行するプログラムを導出する.提案方式では,解釈するロジックにペトリネットの接続行列を用い,オフライン実行を考慮した単純な機構を実現することで実行プログラムサイズを抑え,また,通信コストを軽減できる.
	This paper presents a method automatically deriving J2ME programs from application descriptions in Petri-nets, which can easily express parallel and concurrent actions, and can be analyzed by means of formal analysis methods. The derived program executes a partial sequence of whole transitions downloaded from a peer server. The sequence and related resources are downloaded in step-by-step manner according to matrix equations of the given Petri-net. The proposed method can reduce the size of a client-side program and also can reduce the cost of communication.
出版者	電子情報通信学会
	The Institute of Electronics, Information and Communication Engineers
	デンシ　ジョウホウ　ツウシン　ガッカイ
収録物名	電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス
巻(号)	102(246)
ページ	1-6
刊行年月	2002-07-19
言語	日本語
ハンドルURL	https://hdl.handle.net/11094/27426
PISSN	09135685
NCID	AN10013287
アクセス権	open access
権利情報	Copyright © 2002 IEICE
	本文データはCiNiiから複製したものである
出版タイプ	Version of Record
カテゴリ	学術雑誌論文 Journal Article

ホームへ戻る