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

発展可能ソフトウェアの開発法に関する基礎と支援環境の構築

为可扩展软件的开发方法构建基础和支持环境

基本信息

批准号：
10139216
负责人：
富樫敦
金额：
$ 1.28万
依托单位：
Shizuoka University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research on Priority Areas (A)
财政年份：
1998
资助国家：
日本
起止时间：
1998 至无数据
项目状态：
已结题

项目摘要

(1) 発展可能ソフトウエアの要求記述法と形式仕様の自動生成法に関する継続研究平成9年度では,命題論理に基づいた新しい要求記述法と,その状態遷移システムによる形式仕様の自動生成に関する基礎理論を展開し,その処理系を開発した.しかし,実用性や適用範囲の広さを考慮すると,命題論理では余りにも記述能力が低い.しかしながら,単純に第一階述語論理や高階(様相)論理に拡張したのでは,計算可能性や効率の点で問題が生じる.そこで,本年度は,平成9年度の研究成果である要求記述法や処理系を拡張し,制限された第二階様相論理に基づいた要求記述法と記述言語の設計ならびにその処理系をjavaを用いて分散環境上に実現した.研究開発に当たり考慮した点は以下の通りである.(a) 機能の記述は述語論理の範囲で行なった,制約の記述を第二階様相論理で行なった.ただし,命題論理の場合と同じような意味論が第二階様相述語論理に拡張しても展開でき,要求記述のモデルである形式仕様への変換が効率的に行なえること.その際問題になる効率や状態の爆発を,述語によるラベル機能を用いて克服した.(b) 大域的制約,局所的制約を用いたモジュール化技法.抽象化と階層的詳細化の導入.(c) 要求の変化に柔軟に対処可能なやわらかい要求記述法と仕様化技術の達成.(d) 状態遷移と状態の機能に対する外延的性質による新しい等価性の理論の確立.(2) 発展可能ソフトウェアシステム要求診断・検証システムの基本設計曖昧で不完全な要求記述を対象とし,その意味である状態遷移システムのユーザの解釈に基づき,正しくない状態遷移,抜けている状態遷移,矛盾した意味を持つ状態などの診断項目により,要求記述を診断するシステムの基本設計を行なった.また,要求記述の時間に関する動的かつ大域的な性質を検証するための時制論理による検証システムの基本設計を行なった.両システムの実装は,平成11年度に行なう.

(1)In 2009, the basic theory of propositional logic was developed, and the processing system was developed. In addition, propositional logic has low descriptive ability considering the applicability and applicability of propositional logic. The problem of calculating probability and efficiency arises from pure first-order predicate logic and higher-order (phase) logic. This year, the research results of Heisei 9 are as follows: the requirement description method and the processing system are expanded, and the limitation method and the requirement description method of the second-order phase logic are implemented in the distributed environment. Research development should be considered. (a)Function description is the second order phase logic, and constraint description is the second order phase logic. In the case of propositional logic, it is necessary to describe the form of logic and the change of efficiency in the theory of meaning. The problem of time and space is solved by the function of time and space. (b)Large-domain constraints, local constraints are used in the integration technique. Abstraction and hierarchical elaboration are introduced. (c)Requirements for flexible solutions may be met by requirements description and specification techniques. (d)Establishment of a new theory of equivalence between state transition and state function. (2)The development of a software system may require diagnosis and verification. The basic design of the system is ambiguous and incomplete, requiring a description. This means that the basic design of the system for state transition is based on the basic solution of the system's user interface, positive state transition, negative state transition, and contradictory meaning. In the diagnostic project of holding a stable state, the basic design of the system that requires a description of the diagnosis is implemented. The basic design of the system requires the description of the time related dynamic properties of the large domain, the verification of the timing logic, and the verification of the system. In the 11th year of Heisei, the company was founded in 2001.

项目成果

期刊论文数量（12）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

石井基樹, 山田将弘, 金指文明, 陸暁松, 富樫敦: "リアクティブシステム開発のための統合型支援環境" ソフトウェア工学の基礎IV,レクチャーノート/ソフトウェア工学20,日本ソフトウェア科学会FOSE'98,近代科学社. 50-55 (1998)

Motoki Ishii、Masahiro Yamada、Fumiaki Kanasashi、Xiaosong Riku、Atsushi Togashi：“反应式系统开发的集成支持环境”软件工程基础 IV、讲义/软件工程 20、日本软件科学学会 FOSE98、现代 Kagakusha 50。 -55 (1998)