将 Web 服务组合建模为多智能体系统，采用时态知识逻辑模型检测工具 MCTK刻画贷款协议 Web 服务实例，并验证相关的时态知识规范。在同一实验环境下，采用另一种时态知识逻辑模型检测工具 MCMAS 进行建模，并验证该实例。实验结果表明，基于 MCTK的Web 服务模型检测方法比基于MCMAS的方法更有效。
MCTK的指导书
MODIS Conversion Toolkit（MCTK）是适用于所有已知MODIS数据产品的HDF文件转换和投影实用程序。该插件可在可以运行IDL和ENVI的所有操作系统上运行。 MCTK允许您采用自助餐厅式的方法来处理MODIS数据。通过直观的用户界面，您可以仅提取和投影所需的数据。
