文献

J-GLOBAL ID：200902209614033060   整理番号：09A0706112

属性とシナリオからの部分挙動モデルの合成

Synthesis of Partial Behavior Models from Properties and Scenarios

著者 (4件)： UCHITEL Sebastian (Univ. Buenos Aires, ARG) ,  UCHITEL Sebastian (Imperial Coll. London, GBR) ,  BRUNET Greg (Oracle Corp., CA) ,  CHECHIK Marsha (Univ. Toronto, ON, CAN)
資料名： IEEE Transactions on Software Engineering  (IEEE Transactions on Software Engineering)
巻： 35  号： 3  ページ： 384-406  発行年： 2009年05月 
JST資料番号： D0480D  ISSN： 0098-5589  CODEN： IESEDJ  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： シナリオベース記述や要求仕様などからの挙動モデルの合成は,モデル構築作業を軽減する。しかし,既存の合成アプローチでは,シナリオや要件による制約を十分に表現できない。ここでは,安全特性やシナリオに基づいて,様相遷移システム(MTS)形式の挙動モデルを合成する手法を示した。MTSは,要求挙動,可能挙動および禁止挙動を識別し,その合成に用いられた特性やシナリオを維持すると共に新しい要件の導出を支援する。

シソーラス用語： 様相論理 ,  時間論理 ,  仕様記述 ,  要求仕様 ,  シナリオ ,  *遷移システム ,  合成 ,  モデル ,  挙動 ,  ソフトウェア開発 ,  形式的仕様記述言語 ,  *形式的手法【計算機】 ,  制約条件
準シソーラス用語： 時相論理 ,  形式的仕様記述 ,  挙動モデル

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

タイトルに関連する用語 (3件)： 属性 ,  シナリオ ,  挙動モデル