复杂信息系统模型及并发运行检验理论与应用研究

目前的信息系统软件正日益趋向于高度的复杂化，这种复杂性主要源于人们对信息系统分布式处理、并发处理、高可扩展性等能力要求的日益增强，为保证复杂信息系统在现实应用中的综合质量，需要对其进行多阶段的全面验证。本课题以社会保障信息系统为复杂信息系统研究特例，结合社会保障审计方法与过程，以基于系统模型的静态验证和基于系统行为的动态验证相结合，深入全面的研究复杂信系统验证技术体系，其主要包括：（1）复杂信息系统顶层需求与技术层面需求一致性验证研究；（2）复杂信息系统技术层面需求验证理论及技术研究；（3）复杂信息系统行为验证研究；（4）基于审计的社会保障信息系统数据验证技术研究。通过以上四方面的技术理论研究丰富和发展复杂信息系统模型与并发运行检验理论，为今后复杂信息系统设计开发和验证提供理论指导与技术参考。