随着计算机技术、网络技术和通信技术的发展和应用,企业信息化已成为持续化发展和提高市场竞争力的重要前提。指导推进信息化建设,才能深化电子政务应用。针对当前我国信息化系统实施过程中缺乏客观、有效、全面的分析评测手段和工具的现状,为推动我国信息化系统建设的合理有效性,有必要对信息化系统相关业务逻辑进行建模分析,以便准确依据业务特性,进行业务逻辑仿真,研究信息化系统的动力机制,从而建立一套具有理论依据、可操作性强的业务逻辑建模仿真体系,其研究结果可为我国信息化建设开展和实施提供科学、量化、具备良好可操作性的分析和诊断工具。本课题研究基于进程代数的业务逻辑建模,它是通过基于过程代数的建模分析,构建业务运行模型,以帮助用户观察在不同的输入下流程是如何执行的,即业务的仿真运行。业务逻辑建模模型是对业务逻辑建模的抽象表示,也就是对经营过程的抽象表示。国内外对业务逻辑仿真的研究主要集中于工作流仿真性能研究、对工作流仿真机制及体系结构的研究。业务逻辑模型建立后,需要对仿真运行后的结果进行评估,课题研究采用容量管理的IT服务管理方法进行评估。课题研究从软件方面的信息化建模出发,研究信息化的本质和特点,研究信息化建模的逻辑基础和建模手段,给出如何建立企业业务建模,如何通过对企业业务建模的模型进行仿真,并根据仿真结果得出硬件方面的信息、基础设施的规划设计。