演題番号 | 2H2-1 |
---|---|
題目 | セマンティック・ウェブサービスの合成問題 |
著者 | 小出 誠二(総研大複合科学研究科情報学専攻) 武田 英明(国立情報学研究所) |
時間 | 06月18日(Thu) 10:40〜11:00 |
概要 | ウェブサービスの合成分解問題には,タスク計画的要素と自動プログラミング的要素がある.タスク計画の視点からの定式化についてはすでに報告した.本論文では,自動プログラミングの視点からウェブサービス合成問題について.型付きラムダ計算を対象としてHoare論理に基づいた形式的意味論を議論し,項書換えによる探索と合成されたプログラムの充足性に着目したプログラム合成のアルゴリズムを定式化する. |
論文 | PDFファイル |