イベントに着目したカラーペトリネットによるコンテキスト指向ソフトウェアの分析

• Item type: SIG Technical Reports(1)
• 公開日: 2017-06-23
• タイトル: イベントに着目したカラーペトリネットによるコンテキスト指向ソフトウェアの分析
• タイトル / 言語: en
• タイトル: Event based Analysis on Coloured Petri Nets for Context-Oriented Software
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 東海大学
• 著者所属(英): en
• 著者所属(英): Tokai University
• 著者名: 渡辺, 晴美
• 著者名(英): Harumi, Watanabe
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本稿では，コンテキスト指向ソフトウェア (COS) の振る舞いを確認するために，カラーペトリネット (CPN) に基づいた分析方法のアイデアについて紹介する．COS は，レイヤによりシステム全体を書き換えることが可能であるため，環境の変化に応じてサービスを提供することに適している．一方，レイヤにより衝突や競合等の問題を引き起こす可能性がある．CPN は，並行システムの衝突や競合を分析することに適したモデリング言語であり，レイヤ間の問題分析にも期待できる．また，COS の特徴であるレイヤの活性 ・ 不活性をトークンとトークンゲームにより表現することができる．一方，CPN を用いても，実際の環境は複合的で複雑であるため，振る舞いの誤りの原因を分析することは容易ではない．すなわち，COS の振る舞いモデルにおいて，変化するレイヤのどのイベントが失敗したのかを発見し再現することは容易ではない．この課題を解決するために，イベントに着目した CPN による分析方法のアイデアについて紹介する．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: The article introduces an analysis based on Coloured Petri Nets (CPN) for conforming behaviour Context-Oriented Software (COS). The token of CPN and the token game are suitable for representing the layer of COS and its (de-) activation. Especially, we expect CPN can detect mutual exclusion faults related to the layer interactions. Even though, if CPN finds a fault on COS, we cannot easily find where is the cause of the fault in the software since actual environments are compounded. Thus, in a behavior model of COS, we cannot find easily which event fails in changing layers. In this paper, we focus on two issues that are called compound environments, and context events. To overcome these issues, firstly, we clarify the advantages of CPN to state machines. Secondly, the paper introduces an analysis based on these advantages. In this testing environment, the state space graph of CPN contributes to finding a cause why fault occurred.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA12149313
• 書誌情報: 研究報告組込みシステム（EMB）; 巻 2017-EMB-45, 号 3, p. 1-7, 発行日 2017-06-23
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 2188-868X
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会