仕様/環境の変化に対応するソフトウェアのためのエージェント指向開発方法論の構築

构建面向主体的软件开发方法，以响应规范/环境的变化

• 批准号: 13224089
• 负责人: 本位田 真一
• 金额: --
• 依托单位: National Institute of Informatics
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research on Priority Areas (C)
• 财政年份: 2001
• 资助国家: 日本
• 起止时间: 2001 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-13224089/
• 关键词: エージェント; 開発方法論; セキュリティポリシ; 進化型アーキテクチャ; 情報システム; 競合解消; 義務論理; ペトリネット

平成13年度は,エージェント指向開発方法論の構築,検討用事例の策定,規範/ポリシのための記述言語,ポリシ競合解消方式とその選択手法の研究を行った.エージェント指向開発方法論は、従来のオブジェクト指向方法論を踏まえ,問題解決の中でのロールとインタラクションに着目した方法論である.本研究計画では別途,研究開発を進めている進化型エージェントアーキテクチャを対象としている.進化型エージェントアーキテクチャは,(a)対象システムを構成し,なおかつ自律的に「変化」を捉えて,それに必要な機能変化を実現する対象エージェント群と,(b)組織のポリシ(たとえばセキュリティポリシ)や規範に従い,その全体の整合性を取る監視/調整系エージェント群から構成される.これらの構築に必要な「変化」の認識や「組織のもつポリシや規範」の抽出,「ポリシ間の競合解消の方法」の決定は,従来の開発方法論にはない点である.検討用事例としては「セキュリティを強化したエージェント指向情報システム」と「無線通信によって通信しあう移動ロボットの協調作業における分権」を取り上げた.課題事例として移動ロボット協調作業の分限を取り上げることは,従来から取り上げられている企業内情報システムだけでなく,情報家電やFAのオープンネットワーク化なども踏まえて,新たな適用先を検討した結果である.次年度以降の研究活動に備え,ロボットの取り扱いに関して予備実験を行い理解を深めた.規範/ポリシ記述言語の研究としては,XMLベースの汎用ポリシ記述言語の構築を行った.この言語は,従来の多くの言語が,セキュリティ,ネットワーク管理,QoS等を個別に対象としているのに対し,対象を限定することのない汎用の記述を特徴とする.そのために,セキュリティドメインのオントロジ記述との組合せによって,ドメイン固有のポリシ記述を行う.ポリシ間の競合解消法の研究としては,義務論理(様相論理)の検証系を作成し,記述論理と統合する拡張を目指して,実験を重ねている.また,悪意のない情報漏洩の可能性解析に関してペトリネットの利用について調査研究を行った.これらの調査研究ならびに実験は平成14年度も継続し,ツール化する予定である.

In 2013, the research on the construction of development methodology, the determination of evaluation cases, the description of standardization/classification, the classification of competition and elimination methods and the selection of methods was carried out. The development methodology of problem solving is the key to the development of problem solving. This research project is a different way to study the evolution of development. Evolutionary type: (a) Object classification system composition, self-regulation, necessary function transformation,(b) Organization classification system composition, integration, monitoring/adjustment system composition. In this paper, we discuss the necessity of "transformation" in the construction, the extraction of "organization and classification", the determination of "classification and elimination methods", and the development methodology in the future. For example,"wireless communication" and "mobile communication" can be used to enhance communication. Case study: The division of coordination between mobile and home appliances is the result of a review of the application of new technologies. Next year, research activities will be carried out in preparation for the next year's study. A study on the specification/classification of speech. These words are characterized by the many words that have been used in the past, such as privacy, Internet access management,QoS, etc., which are individually targeted and limited. In addition to the above, the company also has the right to set up a joint venture with other companies to establish a joint venture. A study on the method of solving the problem of conflict between two kinds of logic is carried out. In order to analyze the possibility of information leakage, we conducted investigation and research on the utilization of information leakage. The survey was conducted in 2014.