论文部分内容阅读
摘要:Web服务组合是若干子服务按照一定的业务流程构成的复合服务。为了保证这个复合服务能够达到客户的预期目标,在将其正式投入运行之前,需要对其进行结构验证和性能分析。基于数学的形式化方法是对Web服务组合进行性能分析的一种有效途径。本文介绍了几种常用的形式化方法。
关键词:Web服务;性能分析;形式化方法
中图分类号:G642.0
关键词:Web服务;性能分析;形式化方法
中图分类号:G642.0