题目：基于Pi-calculus理论的BPMS系统研究

21世纪，在经济全球化和互联网技术的冲击下，企业发展面临着众多新的挑战。实现如BPR、六西格玛等的管理模式，或者建设一套全面的IT系统，已不能解决企业所有的问题。面对复杂多变的商业环境，企业要做的创新是如何将面向流程的企业管理和标准软件无缝结合起来，以最小的成本和风险满足客户及市场的动态需求。业务流程管理系统(Business Process Managernent System，BPMS)是建立在Pi-calculus理论上的、面向流程管理的全新信息系统体系结构，实现了企业业务建模和信息系统的无缝集成，构建新的动态、柔性、开放的信息系统。本文首先研究了Pi-calculus理论及其验证工具——Pi演算，并证明Pi-calculus理论具有强大的BPMS系统的形式化描述能力。然后介绍了BPMS系统的概念、主要内容、生命周期管理等，并用Pi演算对BPMS系统进行了形式化描述和验证。接下来设计了BPMS系统的体系架构，在该架构中，引入了企业建模理论和软件总线技术。在此基础上，实现了对BPMS系统体系架构的设计，从而有效地解决了企业需求变化对流程的冲击。在理论研究的基础上，本文对某铝业集团BPMS系统进行了实证研究。通过对该BPMS系统的设计，建模，实现，证明了本文提出的理论、方法，对我国的冶金企业的动态、开放、一体化的信息系统建造具有良好的指导作用。