解法が確立していない問題を解くためのソフトウェア開発では，プログラムの仕様の変更が頻繁に起こることがある．本論文は，頻繁な仕様変更に対応しながら正しくて効率的なプログラムを開発するためのフレームワークを提案する．本研究の特徴は，プログラムの部品を書き換えルールで表現し，仕様から正しい書き換えルールを生成・集積してプログラムを構成することである．このことによってプログラムの効率と正しさの両立が可能になる．フレームワークの適用例としてコンテナ・プリマーシャリング問題の最適解を高速列挙するプログラムの開発プロセスを扱う．
Frequent revision of program specifications can occur in software development to solve problems of which well-established solutions have yet to be found. This paper proposes a framework for software development to efficiently enumerate optimal solutions to combinatorial optimization problems; the framework copes with the frequent specification changes. A peculiarity of this study is that we represent each program component as a correct rewriting rule, which is generated from a specification and accumulates in a program. The peculiarity enables us to manage both efficiency and correctness of a program. This paper demonstrates a software development process to efficiently enumerate optimal solutions to a container pre-marshalling problem as an application example of the ramework.
内容記述
情報科学
Information Sciences
論文
雑誌名
札幌学院大学総合研究所紀要 = Proceedings of the Research institute of Sapporo Gakuin University
巻
8
ページ
67 - 78
発行年
2021-03-20
ISSN
2188-4897
その他のタイトル
Software Framework Design for Fast Enumeration of Optimal Solutions to Combinatorial Optimization Problems
出版者
札幌学院大学総合研究所 = Research Institute of Sapporo Gakuin University
組合せ最適化問題の最適解を高速列挙するためのソフトウェアフレームワーク設計
SK-8-067.pdf
(5.69MB)
