文献

J-GLOBAL ID：201902220668059006   整理番号：19A2828226

可変性制約を持つモード遷移システムの表現性について【JST・京大機械翻訳】

Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints

著者 (5件)： Beek Maurice H. (ISTI-CNR, Pisa, Italy) ,  Damiani Ferruccio (University of Turin, Turin, Italy) ,  Gnesi Stefania (ISTI-CNR, Pisa, Italy) ,  Mazzanti Franco (ISTI-CNR, Pisa, Italy) ,  Paolini Luca (University of Turin, Turin, Italy)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 11918  ページ： 542-546  発行年： 2019年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： モード遷移システム(MTS)と特徴的遷移システム(FTSs)はソフトウェア製品ラインのための基本的行動モデルとして広く認識されている。この短い論文は,[3]で発表された寄与を要約する。可変性制約(MTS[数式:原文を参照]s)を持つMTSSは,FTSsと同等に表現される。これは,前者に対して後者の音と完全な変換を与え,後者に対して前者の変換を与えることによって証明される。この結果の利点は2倍である。最初に,それは文献で研究されたそのような基本モデルの表現性階層に貢献する。第二に,それは,オリジナル(コンパクト)分岐構造を保存するMTSからMTS[数式:原文を参照]への自動アルゴリズムを提供して,このように,可変性モデルチェッカーVMCによってFTSsをチェックするモデルのために道を開いた。Copyright 2019 Springer Nature Switzerland AG Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 形式的仕様 ,  アルゴリズム ,  音響 ,  ソフトウェア商品 ,  *遷移システム
準シソーラス用語： 行動モデル ,  *表現力 ,  *モード遷移 , 【Automatic Indexing@JST】

著者キーワード (6件)： SPL ,  変動性 ,  行動モデル ,  形式的仕様 ,  特徴的な遷移システム ,  モード遷移システム

分類 (1件)： 人工知能  (JE08000Z)

タイトルに関連する用語 (4件)： 可変性 ,  制約 ,  遷移システム ,  表現性