中文摘要：

建模是系统开发过程中十分重要的一步，传统的图形化建模工具，不能对系统设计的可行性作出定量的分析。提出一种新的软件建模思路，应用工作流网技术完成了对电子商务平台的建模，解决了电子商务平台业务流程与网上银行业务流程的协作问题。运用关联矩阵和状态方程，精确分析了模型的重要性质，应用Petri网模拟分析工具PN—applet，对系统模型进行了模拟运行，并评价了系统设计的可行性，对系统开发有积极的指导意义。

英文摘要：

Modelling is an important step to develop a system, but traditional graphical modelling tools are hard to analyse quantitatively the feasibility of system design. In the paper the author introduce a new idea of software modelling, which adopts the workflow net to accomplish the modelling of eCommerce platform, and solves the cooperation problem in business processes between the eCommerce platform and the online banking. Correlation matrix method and state equation are used to precisely analyse the essential characters of the model. The system model was run in simulation with Petri net simulation analysis tool PN-applet, the system design feasibility was evaluated, and these are of directive significance for the development of a system.