2024-03-29T05:51:45Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:001131632022-10-21T05:24:51Z00581:07706:07708
安定状態と優先イベント規定によるコントローラ生成Controller Synthesis by Stable States and Event Priorities Rulesjpn[特集:ソフトウェア工学] コントローラ生成,状態マシン,プロブレムフレーム,要求分析http://id.nii.ac.jp/1001/00113138/Journal Articlehttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=113163&item_no=1&attribute_id=1&file_no=1Copyright (c) 2015 by the Information Processing Society of Japan東京電機大学情報環境学部紫合, 治環境の規定に基づき,その環境を適切に制御するコントローラを生成する方式として,Uchitelらは,シナリオとFLTL(Fluent Linear Temporal Logic)による環境規定からコントローラ生成する手法を提案している.しかし,一般のソフトウェア技術者にとっては,FLTLの適切な規定は難しく,Uchitelらの例題でも,何度かの試行錯誤を経て解に行きついている.ここではより簡単で分かりやすい手法として,プロブレムフレームの枠組みでコントローラ生成をとらえ,ドメイン規定のLTS(Labeled Transition System)と,安定状態と優先度による要求規定からコントローラのLTSを生成する手法について提案する.To synthesize the controller adequately managing the environment from the constraint description of the environments, Uchitel et al., proposed an automated method based on the scenario and FLTL (Fluent Linear Temporal Logic) descriptions. However, FLTL seems to be too difficult for normal software engineers to completely describe the environment constraints. The authors of the method also needed to repeatedly describe and modify the FLTL descriptions to obtain the final result. This paper proposes more understandable and simpler method of the controller synthesis based on the problem frames model. The environment constraints are described in LTSs (Labeled Transition Systems) as domain properties, stable states and event priorities as the problem requirement.AN00116647情報処理学会論文誌5625555682015-02-151882-77642015-02-10