高機能高品質ソフトウェア構成におけるヒューマンプロセスの知的支援に関する研究
| Project/Area Number |
04219204
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research on Priority Areas
|
| Allocation Type | Single-year Grants |
|---|
| Research Institution | Kyoto University |
|---|
Principal Investigator |
松本 吉弘 京都大学, 工学部, 教授 (50219523)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
大森 匡 京都大学, 工学部, 助手 (30233274)
鰺坂 恒夫 京都大学, 工学部, 助教授 (30175864)
|
|---|
| Project Period (FY) |
1992
|
| Project Status |
Completed (Fiscal Year 1992)
|
| Budget Amount *help |
¥2,000,000 (Direct Cost: ¥2,000,000)
Fiscal Year 1992: ¥2,000,000 (Direct Cost: ¥2,000,000)
|
|---|
| Keywords | ソフトウェアプロセス / ソフトウェア設計 / 代数的仕様記述 / オブジェクト指向モデル / レフレクション / 抽象機械 |
|---|
| Research Abstract |
本研究は、ソフトウェアシステムの中でも、その要求の論理が多元的であり、その意味領域が複雑であるものを対象としている。この場合、要求分析過程で観点の異なる複数のモデルが形成されることになり、これを統合してソフトウェアシステムへ変換する必要が生じる。
これに対して本研究では、今年度つぎのように研究をすすめた。
1.多元的要求を満たす意味モデルの記述法を研究し、さらに、多元的要求を統合した結果として形成されるべき統合モデル(メンタルモデル)にふさわしい検証可能モデルの記述方法や適合性について研究を行った。その結果,(1)並行エージェントモデル,(2)時次元を含むメンタルモデルを高レベル・ペトリネットで表し、その仕様を代数的に記述,検証する方法,(3)メンタルモデルを状態機械として表し、その振る舞いを含む代数的仕様の記述法,などを得た。
2.上記のメンタルモデルを代数的仕様で表したものに関して,パラメタライゼーション,輸入,輸出による仕様代数間の関連づけを行い、関連を関手によって表現し、関手を橋L(言語)によって記述した。関手と仕様代数から構成される網をPCTE(ECMA標準に準じたソフトウェア開発支援環境)のスキーマとして定義することによって,相互のナビゲーションを可能とした。これらの研究はさらに、PCTE上で関手の実行を可能とし、代数的仕様におけるプロトタイピングをPCTEの実行制御機構の上で実現する研究に今後展開される。
3.前年度から行っている,ソフトウェアエンジニアリング・デーテベースKyotoDBの研究,開発を続行し、自己反映的なヒューマンプロセス(ソフトウェア生産物表現に対する値付け操作に対するメタ)の実働,生産物表現が束縛されている値との間に存在する制約関係の維持管理,PCTEとの結合,などの研究をすすめた。
|
Report
(1 results)
Research Products
(5 results)
