随着计算机网络的普遍应用，分布式和中间件技术的日益成熟，工作流技术逐渐成为计算机领域的研究热点之一。在工作流技术的几个研究方向中，工作流模型，工作流过程建模以及过程定义语言，既是工作流技术研究的基础，也是工作流领域的重点研究方向。 本文结合国家高技术产业化示范工程项目“青鸟电子政务支撑平台”和国家自然科学基金项目“基于Petri网的工作流系统构造技术和模型验证方法”，对工作流过程建模以及过程定义语言进行了较为深入的研究和实践。 本文简单描述了基于Petri网的层次化的工作流过程建模工具——过程网。过程网由过程逻辑层，语义层和执行层构成。核心内容在于强调了过程逻辑，语义和执行的分离，方便流程开发人员更为准确地定义良构的工作流模型。 其次，在过程网的基础上给出了青鸟过程定义语言JB-PNML1.0版(以后简称JB-PNML)，该语言可以方便不同过程模型之间进行信息交互和转换。PNML是基于XML的Petri网标记语言，在Petri网领域已被广泛承认并有不少工具支持。本文结合实际项目的需求，在过程网和PNML的基础上给出了青鸟过程定义语言JB-PNML。 最后，在青鸟工作流管理系统2.0中，设计并实现了过程部署工具JBDeployer。它以JB-PNML描述的过程定义为输入，动态编译过程定义文件，将结果部署到服务器指定的位置上，并通知引擎加载新的过程定义版本。 本文的主要贡献是定义了基于过程网的青鸟过程定义语言JB-PNML，并且基于过程网和JB_PNML开发了青鸟过程部署工具JBDeployer。它支持流程开发人员将过程定义文件部署到服务器上，使工作流引擎可以执行相应的过程。