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

山口, 弘純; 岡野, 浩三; 東野, 輝夫 他

電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス, 1994, 94(334), 25-32

アクセス数:833件（2025-07-11 13:06 集計）

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

閲覧可能ファイル 

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

論文情報

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

タイトル
ペトリネットモデルを用いたソフトウェアプロセスの記述とその分散実行制御
Software Process Description in a Petri Net Model and its Distributed Execution
ペトリネット　モデル　ヲ　モチイタ　ソフトウェア　プロセス　ノ　キジュツ　ト　ソノ　ブンサン　ジッコウ　セイギョ
著者
NRID
1000080314409 1000080314409
ORCID
0000-0003-2273-4876 0000-0003-2273-4876
researchmap permalink
hirozumi.yamaguchi hirozumi.yamaguchi
Scopus Author ID
7404274201 7404274201
著者名
山口, 弘純 ; ヤマグチ, ヒロズミ ; Yamaguchi, Hirozumi
NRID
1000070252632 1000070252632
著者名
岡野, 浩三 ; オカノ, コウゾウ ; Okano, Kozo
NRID
1000080173144 1000080173144
researchmap permalink
teruo.higashino teruo.higashino
Scopus Author ID
7005648670 7005648670
著者名
東野, 輝夫 ; ヒガシノ, テルオ ; Higashino, Teruo
NRID
1000000029513 1000000029513
著者名
谷口, 健一 ; タニグチ, ケンイチ ; 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
言語
日本語
ハンドルURL
https://hdl.handle.net/11094/27420
PISSN
09135685
NCID
AN10013287
アクセス権
open access
権利情報
Copyright © 1994 IEICE
本文データはCiNiiから複製したものである
出版タイプ
Version of Record
カテゴリ
学術雑誌論文 Journal Article