Research/Validation の変更点

追加された行はこの色です。
削除された行はこの色です。
Research/Validation へ行く。
Research/Validation の差分を削除

*サービス検証・テスト [#aeeba95e]

サービスが正しく動作するか？ユーザや環境にとって安全か？複数のサービスを同時に動かしても大丈夫か？

多くのサービスが溢れる将来に向け，サービスを厳密に検証する技術を研究しています．

** 研究課題 [#qdde66a7]
** 研究テーマ [#qdde66a7]
-Design by Contractを用いたサービス安全性検証 
-[[SOAを用いた異種ビル管理システムの連携とサービス競合問題>./BASModeling]] 
-[[ホームネットワークにおけるサービス競合問題>./ホームネットワークにおけるサービス競合問題]] 
-[[ホームネットワークシステムにおけるサービス競合解消方式>../Validation/ホームネットワークシステムにおけるサービス競合解消方式]] 
-[[サービス競合を考慮したHNS連携サービスの開発>../Validation/サービス競合を考慮したHNS連携サービスの開発]]
-ホームネットワークサービスのモデル検査