抄録/ポイント：
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
システム運用の急速に変化する要求と環境は可能な限り短い停止時間によるシステムへの動的変化を必要とする。システムのアベイラビリティは,そのような動的変化に関連する特徴は,動的進化と呼ばれる。高度に利用可能な動的進化への最も有望な方法の一つは,動的アスペクト製織,アスペクト指向プログラミング技術の技術である。プログラムの一部を可能にするその実行を停止することなく動的に変化した。動的進化に関連するもう一つの特徴は進化の正しさの保証である。しかし,これは動的発展は容易ではなく,主に発達過程はかなり複雑であるためである。形式的モデル化と検証(具体的には,モデル検査)は,他の有望な技術である。多くの研究者は,動的進化をモデル化し,検証するために種々のアプローチを提案した。しかし,このようなプロセスが同時に動的アスペクトウィービングを含む進化システム機能と運用で制御する必要があるので高度に利用可能な動的進化プロセスは既存の技術と検証するにはあまりにも複雑になる傾向があった。動的アスペクトウィービングを含む洗練された制御を用いた多段階から成ることを動的発展過程の統一モデリング言語(UML)モデルを解析するCAMPerと呼ばれる形式的検証ツールを提案した。ツールである高いアベイラビリティを達成するために複雑であることをプロセスのための機能的要求を検証することができた。我々のアプローチは,反射を用いて動的進化と動的側面製織を体系的に表すMaude仕様記述言語使用する。も進化過程を検証するために,Maudeのモデル検査器を使用した。は,筆者らのアプローチの利点を実証し,その実現可能性を評価する例遠隔支援システム(TAS)を用いて実験を行った。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】
