文献

J-GLOBAL ID：201702251382752447   整理番号：17A1592764

動作指向の文脈認識アプリケーションの仕様と実行時検証【JST・京大機械翻訳】

Specification and Runtime Verification for Activity-Oriented Context-Aware Applications

著者 (4件)： Li Xuansong (南京理工大学計算机科学与工程学院,江蘇南京210094;計算机軟件新技術国家重点実験室(南京大学),江蘇南京210023) ,  Tao Xianping (計算机軟件新技術国家重点実験室(南京大学),江蘇南京,210023) ,  Lv Jian (計算机軟件新技術国家重点実験室(南京大学),江蘇南京,210023) ,  Song Wei (南京理工大学計算机科学与工程学院,江蘇南京210094;計算机軟件新技術国家重点実験室(南京大学),江蘇南京210023)
資料名： Ruanjian Xuebao  (Ruanjian Xuebao)
巻： 28  号： 5  ページ： 1167-1182  発行年： 2017年 
JST資料番号： C2542A  ISSN： 1000-9825  CODEN： RUXUEW  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： 動作に関する文脈認識(activity-oriented context-aware,AOCA)は組織環境における資源を応用し、ユーザーの動作の順調なサポートを提供する。環境と動作に関する要求の開放性に対処するために、この種類の応用は軽量級、増分式の開発方法を用いて開発を行った。開発段階におけるグローバル情報の開発方法を記述するのに対して、AOCA応用の開発は異なる開発者が異なる時間で共同的に参与する可能性があり、これは多くの不一致などの問題を招き、開発段階で発見されにくい。AOCAアプリケーションの信頼性を改善するために,実行時の検証手段を用いて,AOCAアプリケーションの運転状態を形式的に記述し,システムレベルとアプリケーションレベルの特性を記述する方法を提案し,AOCAアプリケーション監視装置を設計し,実現した。最後に,事例研究と性能評価により,提案した方法の有効性を示した。Data from Wanfang. Translated by JST【JST・京大機械翻訳】

シソーラス用語： 事例研究 ,  信頼性 ,  性能評価 ,  *応用プログラム ,  監視装置
準シソーラス用語： 軽量 ,  開放性 , 【Automatic Indexing@JST】

著者キーワード (4件)： pervasive computing ,  context-awareness ,  formal specification ,  runtime verification

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

タイトルに関連する用語 (4件)： 文脈 ,  アプリケーション ,  仕様 ,  検証