文献

J-GLOBAL ID：201802210245756673   整理番号：18A0535915

Event-B洗練化における述語のトレーサビリティの抽出【Powered by NICT】

Extracting Traceability between Predicates in Event-B Refinement

著者 (4件)： Saruwatari Shinnosuke ,  Ishikawa Fuyuki ,  Kobayashi Tsutomu ,  Honiden Shinichi
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： APSEC  ページ： 61-70  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： Event-Bは,コンクリートを構築する証明義務を満足し,抽象モデルからのすべての述語を継承する技術者を必要とする。技術者は典型的にモデルを徐々にの変換による抽象モデルから述語を導出した。これら種類の精密化のための意図である他の技術者にとって必須の精密化を理解した。しかし,これらは陰的とモデルにおける直接指定されなかった。,コンクリートモデルにおける各述語抽象モデルにおける述語から得られるかを理解することは困難である。本論文では,これらの関係を抽出する効果的な方法を提案した。提案アプローチでは,述語間の包括的マッチングを回避するために発見的方法を用いた。元素追跡による述語の集合を見出すことを意図するもので,述語,共通変数を用いた述語を除くが,異なる変数と定数である。著者らの方法は,精密化の意図の理解を容易にし,精密化を介して述語との関係を明らかにすることにより,リバースエンジニアリングを支援するのに用いることができる。Copyright 2018 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： マッチング ,  発見的方法 ,  技術者 ,  コンクリート ,  精密化 ,  *リバースエンジニアリング ,  トレーサビリティ ,  モデル
準シソーラス用語： *述語 , 【Automatic Indexing@JST】

分類 (1件)： 計算機システム開発  (JD02010R)

タイトルに関連する用語 (3件)： Event-B ,  述語 ,  トレーサビリティ