形式化技术集成相关硕士博士期刊学术论文

通过集成Pi演算和Z语言两种形式化技术及其在Web服务组合中应用，对Web服务进行描述，Pi演算在描述Web服务具有相当的优势，但其在数据定......