RGPS相关论文
随着互联网软件数量快速增长,大量相似功能的Web服务随之产生,由于越来越多缺少专业知识的新用户加入,使得服务发现工作变得越发困......
服务发现机制面临两个现实问题:一是服务数量剧增、服务类型多样,二是用户需求多变、业务流程日益复杂,这些都导致服务发现日趋困......
在动态、异构和自治的互联网服务环境中,对WEB服务组合的形式化分析与验证是保证按需服务应用的有效途径,寻找有效的形式化分析方......
