权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

ソフトウェア構成プロセスの記述とその実働化の研究

软件配置流程描述及其实现研究

基本信息

批准号：
03235109
负责人：
鳥居宏次
金额：
$ 6.72万
依托单位：
Osaka University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research on Priority Areas
财政年份：
1990
资助国家：
日本
起止时间：
1990 至 1991
项目状态：
已结题

项目摘要

本研究ではソフトウェアの構成プロセスをいくつかの代表例に焦点をしぼっていろいろな方法で解明すると共に、それを記述するための言語体系の満たすべき条件の整理、それらの実働化実験としてプロセス実行支援系のプロトタイプの試作などを目的としている。鳥居らは、ソフトウェアプロセスの種々の記述の比較を行なうための共通問題としてMarc Kellnerが提案したソフトウェアプロセスモデリングのための例題をまず、タイミングチャ-トを用いて記述した。しかし、これでは記述できないいくつかの問題があるため、それらを正確に記述するためにペトリネットを用いて記述を行なった。この記述を、プロセス記述言語PDLに変換、実行し、動作を確認した。谷口らは、共通問題の全体記述を分散システムの仕様記述言語LOTOSで記述し、この記述から、開発に参加する技術者各人のプロセス記述を自動的に導出し、導出の際の問題点や得られた個人プロセスの有効性などについて調べた。菊野らは、計測環境GINGERを用いたプロジェクト制御の支援をした。計測環境GIGNERはプロジェクト制御のための3つの作業,(1)プロジェクトの現状把握,(2)計画と現状の差の評価,(3)開発者と管理者への評価結果のフィ-ドバック,を自動的に行うものである。GINGERシステムのフィ-ドバック情報によって,開発者は自分の開発プロセスの理解・制御が可能となる.大学における適用実験の結果,GIGNERシステムを用いた開発者自身による自己管理(制御)の有効性が確認された。落水らは、ソフトウェアプロセスの再利用技術を開発するという目標のもとに、ソフトウェアプロセス知識の獲得法、および整理法に関する研究をすすめており、その現状と問題点を整理した。獲得法に関しては事例推論、整理法に関しては帰納推論の手法を利用しているが、現在、以下の問題点をかかえている。(1)ソフトウェア開発活動の基本単位の定義法(事例の表記法)がつかめない(2)事例を一般化して得られる知識の評価法がつかめない、全体としては、「解決不可能な問題」にチャレンジしているのではという疑問も頭をもたげる。仕様から算譜(program)を導出するプロセスにおいて、暗黙に仮定された解の「存在」を前提とした場合にいわゆるgenerate and test方式の算譜が出てしまうことが多い。筧らは、導出の支援システムが「背理法」を認めない程度にするのが、「訓練用」システムとしては良い結果をもたらすのではないか、という問題提起を行なった。

The composition of this study is a representative example of the composition of this study. How to click the をしぼっていろいろな method and explain it all, and explain it and explain it.めのlanguage systemの満たすべきconditionsのorganization、それらの実働化実験としてプロセス実行support system のプロトタイプの trial work などをpurpose としている. Marc Kellner's Proposalのための Examples をまず、タイミングチャ-トを Use いて to describe した.しかし、これではDescribe the problem of できないいくつかのがあるため、それらを Correct に description するためにペトリネットを Use いて to describe を行なった.このnarrativeを、プロセス说语 PDLに変change、実行し、actionをconfirmationした. Taniguchi らは, common problem の overall description をシステムの scribe description language LOTOS で narration し, この narration から, 开発に Participation する TECHNIQUE The artist's description of the automatic derivation and the derivation of the problems of the individual derivation of the effectiveness of the individual derivation of the derivation of the derivation of the derivation of the derivation of the problem. Kikuno Kazuo, measurement environment GINGER を use いたプロジェクトcontrol のsupport をした. Measurement environment GIGNER control system operation, (1) control of the current situation of the system, (2) planning Draw the current situation of the difference of the evaluation, (3) the developer and the manager of the evaluation of the results of the results, the automatic line of the line. UniversityにおけるApply the result of 実験の, GIGNER システムを Use いた to open the 発 itself, and the effectiveness of its own management (control) is confirmed された. Falling water らは、ソフトウェアプロセスのRecycling technologyを开発するというtarget のもとに、ソフトウェアプロセス Knowledge acquisition method, および arrangement method に关する research をすすめており, そのcurrent situation とproblem points を sorting out した. Obtain the case inference of the law and the method of the case inference of the law and organize the method and use of the method and now, the following problem points. (1) How to define the basic unit of the activity of opening the fire (the notation method of the case) and how to do it (2) How to generalize the case and get the knowledgeの comment価法がつかめない, 全としては, "Solution to Impossible Problems" 》にチャレンジしているのではというquestionも头をもたげる.译　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　 Generation The test method is as follows:笕らは, export support システムが「Ignorance method」をcognition めないdegree にするのが, 「for training」 The result of システムとしては好いをもたらすのではないか, という question was raised by を行なった.