| 体系的番号 |
JPMJPR01P6 |
| DOI |
https://doi.org/10.52926/JPMJPR01P6 |
研究代表者 |
中島 震 日本電気株式会社, ネットワーキング研究所, 主管研究員
|
|---|
| 研究期間 (年度) |
2001 – 2004
|
| 概要 | Webサービスは新しいビジネスや業務の形態として期待されています。しかしながら、サービス利用方法の記述に不具合があれば処理は正常に終了せず、処理結果は無駄となり、大切な社会基盤であるネットワーク資源を浪費することになります。本研究では、自動検証技術を確立し、Webサービスの連携記述が正しいことを事前に確認できるようにすることにより、信頼性の高いWebサービスを提供することを目指します。
|
|---|
| 研究領域 | 機能と構成 |
|---|
