ペトリネットで記述された簡易ブラウザ型の組込みJavaプログラム動作仕様に対する実行方式の提案

坂上, 弘祐; 岡野, 浩三; 谷口, 健一

ペトリネットで記述された簡易ブラウザ型の組込みJavaプログラム動作仕様に対する実行方式の提案

坂上, 弘祐; 岡野, 浩三; 谷口, 健一

電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス, 2002, 102(246), 1-6

アクセス数:205件（2025-05-12 01:29 集計）

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

閲覧可能ファイル

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

論文情報

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

タイトル	ペトリネットで記述された簡易ブラウザ型の組込み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

資源タイプ	学術雑誌論文
ローカル資源タイプ	学術雑誌論文
DCMI資源タイプ	text
DCTERMS.bibliographicCitation	電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス. 2002, 102(246), p. 1-6
DC.title	ペトリネットで記述された簡易ブラウザ型の組込みJavaプログラム動作仕様に対する実行方式の提案
	A deriving method for J2ME programs on personal appliances from application descriptions in Petri-nets and their executional environment
	ペトリネット　デ　キジュツ　サレタ　カンイ　ブラウザガタ　ノ　クミコミ　Java　プログラム　ドウサ　シヨウ　ニ　タイスル　ジッコウ　ホウシキ　ノ　テイアン
DC.creator	坂上, 弘祐
	サカウエ, コウスケ
	Sakaue, Kousuke
	岡野, 浩三
	オカノ, コウゾウ
	Okano, Kozo
	谷口, 健一
	タニグチ, ケンイチ
	Taniguchi, Kenichi
DC.publisher	電子情報通信学会
	The Institute of Electronics, Information and Communication Engineers
	デンシ　ジョウホウ　ツウシン　ガッカイ
DC.language' scheme='DCTERMS.RFC1766	日本語
DC.type' scheme='DCTERMS.DCMIType	text
DCTERMS.issued' scheme='DCTERMS.W3CDTF	2002-07-19
DC.subject	カラーペトリネット
	動作仕様記述
	J2ME
	プログラム導出
	coloured Petri-nets
	whole sysytem description
	code generation
DCTERMS.abstract	簡易ブラウザ型のJ2MEプログラムの仕様に対する実行方式とプログラムの自動導出法を提案する.プログラムの動作仕様をペトリネットで記述することにより,並行・同期制御も容易に表現でき,形式的検証も行いやすい.本稿では,実行制御を表したペトリネット記述から,アプリケーションロジックとリソースを動的にロードし解釈実行するプログラムを導出する.提案方式では,解釈するロジックにペトリネットの接続行列を用い,オフライン実行を考慮した単純な機構を実現することで実行プログラムサイズを抑え,また,通信コストを軽減できる.
DCTERMS.abstract	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.
DC.rights	Copyright © 2002 IEICE
DC.rights	本文データはCiNiiから複製したものである
DC.format	27426
citation_title	ペトリネットで記述された簡易ブラウザ型の組込みJavaプログラム動作仕様に対する実行方式の提案
citation_author	坂上, 弘祐
	岡野, 浩三
	谷口, 健一
citation_publisher	電子情報通信学会
citation_language	日本語
citation_date	2002-07-19
citation_journal_title	電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス
citation_volume	102
citation_issue	246
citation_firstpage	1
citation_lastpage	6
citation_public_url	https://hdl.handle.net/11094/27426

ペトリネットで記述された簡易ブラウザ型の組込みJavaプログラム動作仕様に対する実行方式の提案

閲覧可能ファイル

論文情報

論文詳細を表示