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

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

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

Number of Access:879（2025-08-01 19:38 Counts）

Identifier to cite or link to this item: https://hdl.handle.net/11094/27420

Link to primary information 

File Format Terms of use Size Views Date.Available Description information
itr094_334_025 pdf None 876 KB 71 2014.04.11  

Item Information

Output File Export EndNote Basic Export Mendeley

Title
ペトリネットモデルを用いたソフトウェアプロセスの記述とその分散実行制御
Software Process Description in a Petri Net Model and its Distributed Execution
ペトリネット　モデル　ヲ　モチイタ　ソフトウェア　プロセス　ノ　キジュツ　ト　ソノ　ブンサン　ジッコウ　セイギョ
Creator
NRID
1000080314409 1000080314409
ORCID
0000-0003-2273-4876 0000-0003-2273-4876
researchmap permalink
hirozumi.yamaguchi hirozumi.yamaguchi
Scopus Author ID
7404274201 7404274201
CreatorName
山口, 弘純 ; ヤマグチ, ヒロズミ ; Yamaguchi, Hirozumi
NRID
1000070252632 1000070252632
CreatorName
岡野, 浩三 ; オカノ, コウゾウ ; Okano, Kozo
NRID
1000080173144 1000080173144
researchmap permalink
teruo.higashino teruo.higashino
Scopus Author ID
7005648670 7005648670
CreatorName
東野, 輝夫 ; ヒガシノ, テルオ ; Higashino, Teruo
NRID
1000000029513 1000000029513
CreatorName
谷口, 健一 ; タニグチ, ケンイチ ; Taniguchi, Kenichi
Subject
ソフトウェアプロセス
ペトリネット
分散しシステム
分散制御
Software Process
Petri Net
Distributed System
Distributed Control
Abstract
ソフトウェアプロセス全体を実働化する際,プロセスでの各作業内容とそれらの実行順序に加え,技術者間のデータの交換作業や作業間の同期を考慮する必要がある.しかし,設計者がそれらを陽に誤りなく記述することは困難であり,繁雑でもある.そこで,本稿では,ソフトウェアプロセスの(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.
Publisher
電子情報通信学会
The Institute of Electronics, Information and Communication Engineers
デンシ　ジョウホウ　ツウシン　ガッカイ
Source Title
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス
Volume (Issue)
94(334)
Page
25-32
Date of Issued
1994-11-17
Language
Japanese
Handle URL
https://hdl.handle.net/11094/27420
PISSN
09135685
NCID
AN10013287
Access Rights
open access
CopyRight
Copyright © 1994 IEICE
本文データはCiNiiから複製したものである
oaire:version
Version of Record
Category
学術雑誌論文 Journal Article