文献

J-GLOBAL ID：201702267268230166   整理番号：17A1422118

エージェント設計の適合性を保証する自動のためのフレームワーク【Powered by NICT】

A framework for automatically ensuring the conformance of agent designs

著者 (4件)： Abushark Yoosef (RMIT University, Melbourne, Australia) ,  Thangarajah John (RMIT University, Melbourne, Australia) ,  Harland James (RMIT University, Melbourne, Australia) ,  Miller Tim (The University of Melbourne, Melbourne, Australia)
資料名： Journal of Systems and Software  (Journal of Systems and Software)
巻： 131  ページ： 266-310  発行年： 2017年 
JST資料番号： C0845B  ISSN： 0164-1212  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： マルチエージェントシステムは,自律性,能動性,柔軟性,ロバスト性および社会性のような特徴に起因する複雑な応用にますます使われている。これらの非常に特徴もマルチエージェントシステムの検証を難しくしている。本論文では,要求モデルと相互作用プロトコルに対する信念-願望-意図エージェントの設計の計画構造を比較することにより初期欠陥検出のための,自動化ツールサポートを含む機構を提案した。我々のアプローチの基本的直感は,エージェントの挙動モデルからの可能な挙動の集合を抽出し,これらの実験をシステムにBeの仕様に従うかどうかを検証することである。この手法は,設計時に適用可能である,ソースコードを必要としない,ソフトウェア開発ライフサイクルの初期段階でのいくつかの欠陥の検出と除去を可能にした。提案した検証フレームワークを評価するための実験的アプローチに従った。著者らの評価は,比較的熟練開発者によって開発された簡単なもシステムの仕様が欠陥に傾向があるが,本手法は,大部分のこれらの欠陥を明らかにするに成功したことを示した。添加では,アプローチのスケーラビリティ解析を行い,結果は設計はサイズが成長した場合,提案アプローチでは,スケールできることを示した。Copyright 2017 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【Powered by NICT】

シソーラス用語： マルチエージェントシステム ,  自動化 ,  相互作用 ,  *エージェント ,  柔軟性 ,  ソフトウェア開発 ,  プロトコル ,  *適応性 ,  ロバスト性 ,  ライフサイクル ,  故障検出
準シソーラス用語： ソースコード ,  挙動モデル ,  社会性 ,  自律性 , 【Automatic Indexing@JST】

著者キーワード (3件)： エージェント指向ソフトウェア工学 ,  マルチエージェントシステム ,  検証

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

タイトルに関連する用語 (5件)： エージェント ,  設計 ,  適合性 ,  保証 ,  フレームワーク