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

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

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

基本信息

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

项目摘要

本研究では,簡単化のため第2階様相述語論理に基づいた発展可能ソフトウェアの新しい要求記述法と,その状態遷移システムによる形式仕様の自動生成に関する基礎理論を発展しつつあり,現在そのための支援システムを開発中である.具体的には,システム要求記述を機能の局所的な性質を記述した理論式として定式化する.また,システム要求の意味は健全でかつ完全な遷移システム(標準モデル)であるという意味論を提案し,その妥当性を理論的かつ実際的側面から議論した.この標準モデルがシステムの形式仕様であり,システム要求の実現である.この意味論は,論理ペトリネットを用いても特性化できることを示した.これは,研究項目(2)と密接に関連する.さらに,複雑な大規模システムの要求記述と仕様化に対処するため,制約によるモジュール化技法,論理ベースの抽象化と階層的詳細化などを研究し,状態爆発と複雑さの問題を部分的に解決した.以上の基礎研究を踏まえ,システム要求記述言語を設計し,システム要求の意味でありかつそれ自身がシステムの形式仕様である「状態遷移システム」を効率よく生成するための理論と実際の導出法を与えた.命題理論に基づいた記述法については既に研究成果を得ていたが,実用性と適用制の範囲を考慮すると,命題論理は余りにも記述能力が低い,しかし,単純に第2階の様相理論に拡張したのでは,計算可能性や高率の点で問題が生じる.そこで,本研究では,一挙に第2階様相述語論理までレベルアップしたことによる問題の他,発展可能なソフトウェアの要求記述,仕様化に柔軟に対処するため,以下の点を考慮した要求記述法並びに記述言語の設計とその意味論に基づいた状態遷移システムベースの形式仕様に変換する手法を与え,ワークステーション上にSICtus Prologを用いて仕様合成システムを開発している.

In this paper, we propose a simplified description method for the second order statement logic, a new description method for the state transition system, a new description method for the state transition system, and a new description method for the state transition system. Specific requirements for the description of functions and the nature of the bureau are described in theoretical formulas and formulaic formulas. The meaning of the requirement is sound, complete migration, standard, meaning, proposal, appropriateness, theoretical, practical, bottom, discussion. The standard model of the system requires the implementation of the system. The meaning of this theory is that the logic of life is not the same as that of nature. The research item (2) is closely related. In this paper, the requirements of large-scale complex system description, specification, processing, constraint, abstraction, hierarchical detail, state explosion and complex system problems are studied and partially solved. The above basic research requires description of language design, system requirements and implications, and the theory and practical derivation method of state transition system. Propositional theory is based on the description of the method, and the research results are obtained, practical and applicable to the scope of the system. The description ability of propositional logic is low, but it is pure. The second order phase theory is expanded, and the calculation possibility is high. Therefore, this research aims to address other issues such as the logic of second-order predicates, develop a description that may be easier to implement, and be more flexible and appropriate for the official. The following points are considered to require a description method and to discuss the meaning of the design of the description language, the basic theory of state transfer, and the method of changing the form of the system event. SICtus Prolog is used to synthesize the system.