2024-03-28T21:33:22Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:000223572023-04-27T10:00:04Z01164:01384:01496:01499
対話支援型部品合成システムの試作A program synthesis system by the interactive developmentjpnhttp://id.nii.ac.jp/1001/00022357/Technical Reporthttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=22357&item_no=1&attribute_id=1&file_no=1Copyright (c) 1989 by the Information Processing Society of Japan株式会社東芝システム・ソフトウェア技術研究所株式会社東芝システム・ソフトウェア技術研究所株式会社東芝システム・ソフトウェア技術研究所岸, 美保子加地, 浩一松村, 一夫本システムは,設計・技法として状態遷移を用いたモデルに基づいて構築された部品合成システムである.部品組み込みに際しては,要求仕様を満足する部品を検索する「候補部品検索フェーズ」,部品の組み合わせの整合性を検証する「整合性チェックフェーズ」,部品間のデータの受渡しを整える「インタフェース調整フェーズ」の3つのフェーズを設けた.また,このシステムは,ユーザとの対話をベースとした協調支援型として構築しており,合成メカニズムでカバーできない部分については,ユーザに問い合わせを行う.本稿では,この部品合成メカニズムと対話支援方式について述べる.In this paper, we describe a prototype of program synthesis system. This system is based on a state-transition model, which can separate a program skeleton and parts. On this system, a program is constructed through three phases, backtracking repeatedly if necessary. First phase refers candidate parts and second phase checks among parts which are selected in the previous phase. Last phase connects data. The system also includes a graphical man-machine interface because it must interactively acquire knowledge or decision from its user.AN10112981情報処理学会研究報告ソフトウェア工学(SE) 198981(1989-SE-068)181989-09-262009-06-30