论文部分内容阅读
电子商务的迅速发展,对跨企业的应用集成以及企业内部应用的集成提出了需求。而Web服务的出现使企业内和企业之间应用的集成成为可能。Web服务结合了面向组件的方法和Web技术的优势,利用标准网络协议和XML数据格式进行通信,能实现不同平台上各种语言编写的服务之间的交互。然而单个Web服务通常只提供惟一的单一的功能,Web服务组合能够利用Internet上分布Web服务创建出功能更强大的服务,将松散耦合的相关Web服务有机组织成更为可用的系统。然而不同的组合方式,组合的系统的性能不一样。性能分析能帮助我们优化组合好的服务系统,帮助我们找出系统中不合理的地方。提高工作效率,所以对组合好的系统进行性能分析,成为十分有必要的事情。通常我们做系统的性能分析是采用随机Petri网,然而在运用这种随机Petri网进行性能分析时会遇到状态爆炸问题。本文通过连续Petri网来对系统进行性能分析,企图避开状态爆炸问题。以下是本论文的思路:首先我们模拟了一个服务组合的系统,并按照我们定义的转换规则将该系统转化为离散Petri网。我们引入了连续Petri网,将离散的Petri网模型连续化。连续Petri网的语义是用一组微分方程来描述,我们在连续Petri网的基础上为系统建立微分方程模型,通过此系统的微分方程模型的解来分析系统性能。每个微分方程描述了系统状态的变换,每个状态可用一个数值来度量,显示了到达此状态的程度。在此基础上,本文提出了三个性能指标,分别是系统效率、响应时间及吞吐量,并对这三个指标进行了分析,说明系统的性能。最后用一个实例进行了说明,并将其和随机Petri网的性能分析方法做了比较,突出了连续Petri网在性能分析方面的优势和我们所提出的性能指标的合理性。