单子技术相关论文
鉴于开放环境下的服务实体主要来源于不同的第三方提供者，将服务系统的基本计算单元--构件，抽象成余代数单子(称为构件单子)，从而以一......
为拓展服务计算的形式化研究视野、手段和方法,建立并实现了一种针对Web服务的服务计算形式化模型。鉴于开放环境下的服务实体主要......
鉴于开放网络环境下的Web服务实体主要来源于不同的第三方提供者,并且其形成与运行过程常处于一种演化状态中,故难以采取传统的测......
