论文研究基于SIFT的NSCTSVD域水印算法.pdf

大规模服务自动组合问题是WebService技术的主要瓶颈。传统的服务组合技术灵活性差并且适用的服务规模有限。在用有限状态自动描述机服务的输入、输出、操作等活动的基础上，提出用有界模型检测技术对大规模服务进行建模，将用户请求翻译为线性时态逻辑公式，采用适定性问题求解技术快速求解限定长度的服务组合解。实验结果表明有界模型检测技术应用在自动服务组合中是可行的。