文献

J-GLOBAL ID：201902292048828012   整理番号：19A1194782

通信システムと1選択モード遷移システムのプロダクトライン計算の比較表現性【JST・京大機械翻訳】

Comparative Expressiveness of Product Line Calculus of Communicating Systems and 1-Selecting Modal Transition Systems

著者 (2件)： Varshosaz Mahsa (Centre for Research on Embedded Systems, Halmstad University, Halmstad, Sweden) ,  Mousavi Mohammad Reza (Department of Informatics, University of Leicester, Leicester, UK)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 11376  ページ： 490-503  発行年： 2019年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 通信システム(PL-CCS)の製品ライン計算は,ソフトウェア製品ラインの挙動をモデル化するために提案されたプロセス計算である。モード遷移システム(MTS)も,行動モデルの変動性をモデル化するために使用される。MTSSはPL-CCSよりも厳密に表現性が低いことが知られている。本論文では,1選択モード遷移システム(1MTS)と呼ばれる,FecherとSchmidtによるハイパー遷移によるMTSの拡張が,この表現性ギャップを閉じることを示した。この目的のために,ソフトウェア製品ラインに対する可変性を特定化するためにより適切になり,その様々な本質的性質を証明するために,1MTSに対する精密化の新しい概念を提案した。Copyright 2019 Springer Nature Switzerland AG Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： モデリング ,  精密化 ,  *通信方式 ,  ソフトウェア商品 ,  *遷移システム
準シソーラス用語： 行動モデル ,  *モード遷移 ,  *表現力 ,  *製品ライン , 【Automatic Indexing@JST】

著者キーワード (4件)： 通信システム(PL-CCS)のプロダクトライン計算 ,  モード遷移システム(MTSS) ,  1選択モード遷移システム(1MTS) ,  比較表現力

分類 (2件)： 人工知能  (JE08000Z) ,  計算機システム開発  (JD02010R)

タイトルに関連する用語 (5件)： 通信システム ,  モード遷移 ,  プロダクトライン ,  計算 ,  表現性