课题基金 / 基金详情

宣言的プログラミングにおけるソフトウェア発展の研究

宣言的プログラミングにおけるソフトウェア発展の研究
声明式编程中的软件开发研究
批准号：
16016284
负责人：
佐藤 健
金额：
$6.34万
依托单位：
National Institute of Informatics
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research on Priority Areas
财政年份：
2004
资助国家：
日本
项目状态：
已结题
起止时间：
2004 至 2005
来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-16016284/
关键词：
ソフトウェア発展宣言的プログラミングUML論理プログラミング記述論理

项目摘要

项目成果

佐藤 健的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
現在のように、ソフトウェアのバージョンアップが頻繁に生じる状況では、ソフトウェア変更管理(ソフトウェア発展)の技術は大変重要なものである。本研究では、宣言的プログラミングにおけるソフトウェア発展を考える。これは、論理型プログラミングや関数型プログラミングなどの宣言的なプログラミングが数学的な体系に基づいているため、ソフトウェア発展技術の構築のための理論が構築しやすいと考えたためである。本年度は、前年度行ったUML(Unified Modelling Language)クラス図の矛盾検出および自動修正の検討を発展させ、論理プログラミングによる実装を行った。クラス図の各コンポーネントを論理プログラミングのルールに変換し、そのルール上での矛盾の導出がクラス図での矛盾検出と同値になるような手法の開発を行った。さらに論理プログラミングにおけるメタルールを用いることでルール集合のどの部分が矛盾であるかを検出できるようになった。このルール集合の矛盾部分に対して極小被覆集合アルゴリズムを用いて極小にUMLの部分を消去することで矛盾除去ができる手法を開発した。この手法を検証するためにプロトタイプシステムを作成し、高速処理への見通しを得た。また、UMLクラス図の部分クラスにおいて矛盾検証そのものが不要になるものを発見し、さらに部分クラスを分類して各表現能力に応じて矛盾検証アルゴリズムがどの程度計算量的に複雑になるかについても見当した。
期刊论文(22)
专著(0)
科研奖励(0)
会议论文
Enumerating Minimally Revised Specifications Using Dualization
DOI： 10.1007/11780496_21
发表时间： 2006-03
期刊：
影响因子： --
作者： [K. Satoh;T. Uno]
通讯作者： K. Satoh;T. Uno
Ontological Knowledge Base Reasoning with Sort-Hierarchy and Rigidity
DOI： --
发表时间： 2004-06
期刊：
影响因子： --
作者： [K. Kaneiwa;R. Mizoguchi]
通讯作者： K. Kaneiwa;R. Mizoguchi
Consistency Check and Minimal Update for a UML Class Diagram Using Logic Programming
使用逻辑编程对 UML 类图进行一致性检查和最小更新
DOI： --
发表时间： 2005
期刊： Workshop on New Approaches to Software Construction 2005
影响因子： --
作者： [Ken Satoh, Ken Kaneiwa, Takeaki Uno]
通讯作者： Takeaki Uno
Enumerating Minimal Revised Specification using Dualization
使用对偶化枚举最小修订规范
DOI： --
发表时间： 2004
期刊： Proc. of Workshop on New Approaches to Software Construction
影响因子： --
作者： [Masashi Kiyomi, Takeaki Uno, Tomomi Matsui, 兼岩 憲, Ken Kaneiwa, Ken Satoh]
通讯作者： Ken Satoh
共 11 条
    風水害を中心とした包括的学校安全の実態解明と評価手法の構築
    • 批准号：
      23K21023
    • 项目类别：
      Grant-in-Aid for Scientific Research (B)
    • 资助金额：
      $2.08万
    • 财政年份：
      2024
    • 负责人：
      佐藤 健
    • 依托单位：
      Tohoku University
    誘電プローブ法を用いた高分子ブレンドにおける相分離ダイナミクスの開拓
    • 批准号：
      24K17023
    • 项目类别：
      Grant-in-Aid for Early-Career Scientists
    • 资助金额：
      $3.08万
    • 财政年份：
      2024
    • 负责人：
      佐藤 健
    • 依托单位：
      Kyoto University
    対話を創発する学習環境デザインの構築、実践、評価
    核内移行する小胞輸送因子の機能解明
    • 批准号：
      23K05692
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $3.0万
    • 财政年份：
      2023
    • 负责人：
      佐藤 健
    • 依托单位：
      The University of Tokyo
    海外基金