本文以集成供应链中采购管理软件的开发为应用背景,探讨了基于工作流的软件模型、本体描述方法、协同方法等系统设计问题,建立了一个高效的采购管理软件框架,并利用Petri网等方法对其的进行模型优化。首先,阐述工作流建模方法及其应用。分别针对工作流参考模型、元过程模型及BPEL描述进行详细的描述,并利用本体建模的关键技术给出元过程的本体模型,在此基础上,提基于合同网的过程协同框架,并综合合同网及协商方法,给出合同网协商模型。其次,Petri网的模型优化方法。在详细阐述一般Petri网表示及petri网与工作流的映射关系的基础上,给出采购管理中招标采购过程的Petri网模型,并采用关联矩阵等方法对其进行模型优化方法的研究。接着,对采购管理软件模型进行领域分析与设计。分析阶段中,通过对需求的抽象描述,建立采购管理软件的用例模型和活动模型;设计阶段,先进行对象结构模型和对象行为模型的设计,后给出采购管理软件的数据库设计及界面设计。文章最后对采购管理软件的开发环境和配置进行描述,并运用ACME语言对软件模型进行可实现性描述,在此基础上,给出典型应用的程序实现。本文提出一个全新的采购管理软件的模型,综合使用了多种方法去优化该模型,并从多个角度使用多种工具对其进行表述。文章中所分析与讨论的模型和结论均以被用于集成供应链采购管理软件的研究与实现过程中,进行过实际的检验,被证明具有一般理论意义和实用工程价值。