随着电子商务、办公自动化等技术的不断发展，工作流技术已经广泛的应用到各种大型商业软件中，工作流技术以及工作流管理系统已经成为大型软件中的支柱。鉴于工作流技术所起到的重要作用以及工作流已经具有了非常广泛的应用领域，各种有关工作流技术的问题已经引起研究人员的广泛关注。本文从不同角度，采用了进程代数、运筹学方法等方法对目前工作流模型验证，死锁处理方式，资源配置，执行路径选择等若干热点问题进行了详细地描述，并针对不同的问题，提出了解决方案。本文的研究成果突破了使用Petri网对工作流进行建模的传统方法，首先描述了工作流的基本概念，之后详细描述和分析了工作流中若干问题产生的原因，并使用进程代数、运筹学方法对工作流中常见的问题进行了准确的描述，然后以进程代数以及运筹学方法等理论知识为基础，加以拓展和变通，用创新的思路建立了工作流相关问题的模型，提出了较为完备的解决方案。最后本文对整个研究工作进行了总结，提出了改进措施以及今后工作的发展方向，为研究的后续工作打下了坚实的基础。