论文源于作者参与开发了的一个软件系统“采研院办公自动化”，通过对该软件系统的关键技术——工作流技术进行了深入的研究，把问题上升到一般的角度，对工作流的模型作了分析比较，得出工作流业务流程的核心特征。并在此基础上，创造性地将当前应用于信息化产品版本控制的数学工具—多色图及多色集合理论引入到工作流模型的形式化描述中，并针对两个具有代表性的工作流模型进行了多色集合描述，以具体阐述用该数学工具对工作流形式化的方法。对办公自动化系统和该系统所基于的平台Lotus/Domino作了概括性的阐述，并剖析了Lotus/Domino办公自动化平台的优势。最后，结合了“采研院办公自动化系统”这一课题，基于对OA开发技术的分析，提出B/S系统架构的办公自动化模型，同时联系实际，阐述了在LotusDomino平台上的办公自动化系统开发的技术特点和架构优势。