等価変換フレームワークを用いた動的対話型システムの成分様式のモデリングと合成

POWELL Courtney; AKAMA Kiyoshi; NAKAMURA Keisuke

文献

J-GLOBAL ID：201302270630295345 整理番号：13A1854423

等価変換フレームワークを用いた動的対話型システムの成分様式のモデリングと合成

COMPONENTWISE MODELLING AND SYNTHESIS OF DYNAMIC INTERACTIVE SYSTEMS USING THE EQUIVALENT TRANSFORMATION FRAMEWORK

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで {{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=13A1854423&from=J-GLOBAL&jstjournalNo=F1199A") }}

著者 (3件)： , ,
資料名：
巻： 7 号： 7(A) ページ： 4067-4081 発行年： 2011年07月
JST資料番号： F1199A ISSN： 1349-4198 資料種別：逐次刊行物 (A)
記事区分：原著論文発行国：日本 (JPN) 言語：英語 (EN)

並行システム,反応システムおよび動的システムの開発と保守は,:1)予見されない方法で相互作用するための同時実行プロセスの傾向;2)反応システムのそれらの環境との連続相互作用を容易にするための必要性,そして;3)動的システムの一定して変化する内部状態,のような要因に帰する挑戦を持つ積荷を残した。3タイプのシステム全ては,殆どの挑戦を説明する,共通の部分集合から成る,ことが解った。著者らは,この共通の部分集合の中へ落ち込むシステムを,動的対話型システム(DISs),と名付けた。著者らは,等価変換(ET)を用いて,DIS開発に対し,逐次,成分様式の,構築と訂正方式を提案した。これは,DISのグローバル解析を各成分およびその実行可能相互作用の局所解析に分解することにより理解できるDISsの構築を容易にした。この目的に対し,著者らは,包括的にDIS成分を指定するための2つの小さい,均一な,ET規則型のセット,およびそれらの相互作用パターンを導入した。著者らはまた,モデルの特性を実際の実装符号に高信頼に変換する,著者らの合成技術の概略を述べた。最後に,著者らは,完全機能性Webベースの対話型応用をモデルリングしそして合成することにより著者らの方式の効率を実証した。(翻訳著者抄録)

, , , , , , , ,
,

情報収集・整理

引用文献 (39件)：

R. Cleaveland, S. Smolka et al., Strategic directions in concurrency research, ACM 50th Anniversary Computing Surveys, vol.28, no.4, 1996.
D. Harel and A. Pnueli, On the development of reactive systems, in Logics and Models of Concurrent Systems, K. R. Apt. (ed.), New York, Springer-Verlag, 1985.
M. Gotesman, Modeling and Analysis of Hybrid Dynamic Systems, Ph.D. Thesis, Texas Technology University, Lubbock TX USA, 1996.
J. Mogul, Emergent (Mis) behavior vs. complex software systems, ACM SIGOPS Operating Systems Review, vol.40, no.4, 2006.
J. Sifakis, Deadlocks and livelocks in transition systems, LNCS, vol.88, pp.587-600, 1980.

, , , ,

前のページに戻る