ペトリネットモデルを用いたソフトウェアプロセスの記述とその分散実行制御

山口, 弘純; 岡野, 浩三; 東野, 輝夫; 谷口, 健一

このアイテムのアクセス数:126件（2022-08-19 01:16 集計）

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

閲覧可能ファイル

ファイル	フォーマット	サイズ	閲覧回数	説明
itr094_334_025	pdf	876 KB	36

論文情報

タイトル	ペトリネットモデルを用いたソフトウェアプロセスの記述とその分散実行制御
別タイトル	Software Process Description in a Petri Net Model and its Distributed Execution
タイトル (ヨミ)	ペトリネット　モデル　ヲ　モチイタ　ソフトウェア　プロセス　ノ　キジュツ　ト　ソノ　ブンサン　ジッコウ　セイギョ
著者	山口, 弘純山口, 弘純
	岡野, 浩三岡野, 浩三
	東野, 輝夫東野, 輝夫
	谷口, 健一谷口, 健一
著者の別表記	Yamaguchi, Hirozumi
	Okano, Kozo
	Higashino, Teruo
	Taniguchi, Kenichi
著者 (ヨミ)	ヤマグチ, ヒロズミ
	オカノ, コウゾウ
	ヒガシノ, テルオ
	タニグチ, ケンイチ
キーワード等	ソフトウェアプロセス
	ペトリネット
	分散しシステム
	分散制御
	Software Process
	Petri Net
	Distributed System
	Distributed Control
抄録	ソフトウェアプロセス全体を実働化する際,プロセスでの各作業内容とそれらの実行順序に加え,技術者間のデータの交換作業や作業間の同期を考慮する必要がある.しかし,設計者がそれらを陽に誤りなく記述することは困難であり,繁雑でもある.そこで,本稿では,ソフトウェアプロセスの(Kellnerの)標準的例題の全体をそのソフトウェアプロセスで行われる作業内容とそれらの実行順序のみで記述した.そして,その全体記述と,ソフトウェア開発に必要なファイルや文書などの各技術者への分散配置情報から,各技術者のデータの送受信も含んだ動作記述を,我々がすでに提案した導出法に従って機械的に導出した.記述モデルとして,並列動作等が扱える,レジスタを持ちデータを処理できるように拡張したペトリネットのサグクラス(FCネット)を用いる.導出した各技術者の動作記述もペトリネットモデルで記述されるため,各技術者は,どの作業がどのような順番であるいは並列に行われているかを視覚的に把握することができる.本研究により,我々が提案したモデルでソフトウェアプロセスを記述でき,それを分散制御できるような動作記述を自動導出できることが示された.これにより本手法の有用性が確かめられた.
抄録	In order to enact a whole software process description,it is necessary to specify not only the contents of activities of the software process and their temporal ordering but also the communications among the engineers to synchronize or to exchange data values.However,it is very complicated for the designers to describe them correctly.In this paper,we have described only the whole description of the standard process modelling examaple problem(Kellner's example problem),where only the contents of activities of the software process and temporal ordering of the activities are specified,in an extended Petri net model with a finit number of registers which can treat data values.We have also derived each engineer's individual description including the communications among the engineers automatically from the whole description and a distributed allocation of the files and documents neceessary for the software development,using the derivation algorithm which we have already proposed.Since the derived individual descriptions are also described in the same model,each engineer can understand his, her own working flows(including parallel actions).In our research,it has shown that in our proposed model,the software processes can be described, and that we can derive the individual descriptions which can be carried out at a distributed control.The usefulness of our approach is also shown in this example.
公開者	電子情報通信学会
公開者の別表記	The Institute of Electronics, Information and Communication Engineers
公開者 (ヨミ)	デンシ　ジョウホウ　ツウシン　ガッカイ
掲載誌名	電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス
巻	94
号	334
開始ページ	25
終了ページ	32
刊行年月	1994-11-17
ISSN	09135685
NCID	AN10013287
URL	http://hdl.handle.net/11094/27420
権利情報	Copyright © 1994 IEICE
権利情報	本文データはCiNiiから複製したものである
言語	日本語
カテゴリ	学術雑誌論文 Journal Article

著者版フラグ	publisher
NII資源タイプ	学術雑誌論文
ローカル資源タイプ	学術雑誌論文
dcmi資源タイプ	text
DCTERMS.bibliographicCitation	電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス.94(334) P.25-P.32
DC.title	ペトリネットモデルを用いたソフトウェアプロセスの記述とその分散実行制御
DCTERMS.alternative	Software Process Description in a Petri Net Model and its Distributed Execution
DC.creator	山口, 弘純
	岡野, 浩三
	東野, 輝夫
	谷口, 健一
DC.creator	Yamaguchi, Hirozumi
	Okano, Kozo
	Higashino, Teruo
	Taniguchi, Kenichi
DC.publisher	電子情報通信学会
DC.language" scheme="DCTERMS.RFC1766	日本語
DCTERMS.issued" scheme="DCTERMS.W3CDTF	1994-11-17
DC.identifier" scheme="DCTERMS.URI	http://hdl.handle.net/11094/27420
DC.subject	ソフトウェアプロセス
	ペトリネット
	分散しシステム
	分散制御
	Software Process
	Petri Net
	Distributed System
	Distributed Control
DCTERMS.abstract	ソフトウェアプロセス全体を実働化する際,プロセスでの各作業内容とそれらの実行順序に加え,技術者間のデータの交換作業や作業間の同期を考慮する必要がある.しかし,設計者がそれらを陽に誤りなく記述することは困難であり,繁雑でもある.そこで,本稿では,ソフトウェアプロセスの(Kellnerの)標準的例題の全体をそのソフトウェアプロセスで行われる作業内容とそれらの実行順序のみで記述した.そして,その全体記述と,ソフトウェア開発に必要なファイルや文書などの各技術者への分散配置情報から,各技術者のデータの送受信も含んだ動作記述を,我々がすでに提案した導出法に従って機械的に導出した.記述モデルとして,並列動作等が扱える,レジスタを持ちデータを処理できるように拡張したペトリネットのサグクラス(FCネット)を用いる.導出した各技術者の動作記述もペトリネットモデルで記述されるため,各技術者は,どの作業がどのような順番であるいは並列に行われているかを視覚的に把握することができる.本研究により,我々が提案したモデルでソフトウェアプロセスを記述でき,それを分散制御できるような動作記述を自動導出できることが示された.これにより本手法の有用性が確かめられた.
DCTERMS.abstract	In order to enact a whole software process description,it is necessary to specify not only the contents of activities of the software process and their temporal ordering but also the communications among the engineers to synchronize or to exchange data values.However,it is very complicated for the designers to describe them correctly.In this paper,we have described only the whole description of the standard process modelling examaple problem(Kellner's example problem),where only the contents of activities of the software process and temporal ordering of the activities are specified,in an extended Petri net model with a finit number of registers which can treat data values.We have also derived each engineer's individual description including the communications among the engineers automatically from the whole description and a distributed allocation of the files and documents neceessary for the software development,using the derivation algorithm which we have already proposed.Since the derived individual descriptions are also described in the same model,each engineer can understand his, her own working flows(including parallel actions).In our research,it has shown that in our proposed model,the software processes can be described, and that we can derive the individual descriptions which can be carried out at a distributed control.The usefulness of our approach is also shown in this example.
DC.rights	Copyright © 1994 IEICE
DC.rights	本文データはCiNiiから複製したものである
citation_title	ペトリネットモデルを用いたソフトウェアプロセスの記述とその分散実行制御
citation_author	山口, 弘純
	岡野, 浩三
	東野, 輝夫
	谷口, 健一
citation_publisher	電子情報通信学会
citation_language	日本語
citation_date	1994-11-17
citation_journal_title	電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス
citation_volume	94
citation_issue	334
citation_firstpage	25
citation_lastpage	32
citation_issn	09135685
citation_public_url	http://hdl.handle.net/11094/27420
citation_keywords	ソフトウェアプロセス
	ペトリネット
	分散しシステム
	分散制御
	Software Process
	Petri Net
	Distributed System
	Distributed Control

閲覧可能ファイル

論文情報

論文詳細を表示