coalgebr 相关硕士博士期刊学术论文

为拓展服务计算的形式化研究视野、手段和方法,建立并实现了一种针对Web服务的服务计算形式化模型。鉴于开放环境下的服务实体主要......