- 追加された行はこの色です。
- 削除された行はこの色です。
*サービス検証・テスト [#aeeba95e]
サービスが正しく動作するか?ユーザや環境にとって安全か?複数のサービスを同時に動かしても大丈夫か?
多くのサービスが溢れる将来に向け,サービスを厳密に検証する技術を研究しています.
** 研究課題 [#qdde66a7]
-Design by Contractを用いたサービス安全性検証
-[[SOAを用いた異種ビル管理システムの連携とサービス競合問題>./BASModeling]]
-[[ホームネットワークにおけるサービス競合問題>./ホームネットワークにおけるサービス競合問題]]
-[[ホームネットワークシステムにおけるサービス競合解消方式>../HNS/ホームネットワークシステムにおけるサービス競合解消方式]]
-[[ホームネットワークシステムにおけるサービス競合解消方式>../Validation/ホームネットワークシステムにおけるサービス競合解消方式]]
-[[サービス競合を考慮したHNS連携サービスの開発>../Validation/サービス競合を考慮したHNS連携サービスの開発]]
-ホームネットワークサービスのモデル検査