基于OTPN的电子商务系统并发性问题研究

【摘要】： 电子商务系统具有离散、多因素、动态和并发性等特点，尤其是并发性问题始终影响着系统的稳定性和安全性，尽而也深刻影响着电子商务的广泛应用。本文提出了一种基于面向对象时间Petri网(Object-Oriented Time Petri Net:OTPN)的建模方法，该法将面向对象技术与时间Petri网理论相结合，既可以利用Petri网图形表达直观和严谨数学分析证明的优势，又在Petri网中引入时间参数以有效评价系统的动态性能，这不仅有效解决了用Petri网建立复杂系统模型所遇到的状态爆炸问题，也使得建模系统具有可重用性和易维护性。本文在建立电子商务系统的完整OTPN模型基础上，还通过仿真实验，证明所提出的OTPN方法的实现机制和处理方法是可行和有效的，从而为电子商务系统的并发性问题研究提供一个更为有效的工具，同时也为电子商务系统的建设和技术提供准确的决策依据。