当前,公共危机和突发事件已成为各级政府和社会组织需要面对的经常性任务,应急方案的有效性和可行性是必须解决的关键问题。计算机仿真推演与验证,能够动态地展现任务参与者使用各种资源实施任务行为,并为统计分析准备仿真数据,目前已成为研究分析复杂任务行动的有力工具。对于应急方案研究,计算机仿真推演与验证也渐渐成为主要手段。本文以设计实现应急方案仿真推演验证系统为目标,界定了系统设计需求,确定了系统设计实现的技术路线,并解决了具体实现中的问题。首先,基于非战争军事行动的视角界定了应急方案仿真推演验证需求。从应急任务的性质、任务实施的过程和影响任务的因素看,应急任务和非战争军事行动具有很大的相似性,甚至有很大的重叠。本文从非战争军事行动的视角来审视应急任务,以非战争军事行动理论来指导应急方案推演验证系统需求的分析,给出了基于非战争军事行动的视角界定应急方案仿真推演验证需求。其次,基于多Agent系统理论建立了应急方案推演验证的多层仿真模型。从构建面向复杂系统仿真的通用多Agent分布仿真应用的目标出发,分析了当前复杂适应系统和MAS中多Agent建模方法的优劣;结合离散事件仿真的特点,提出多Agent仿真的形式化基础模型;在分析多个Agent组织理论模型和可计算框架的基础上,针对组织概念的结构含义和约束含义,结合仿真模型的时效性和可操作性要求,提出基于组织结构含义和约束含义的仿真扩展模型。再次,给出了基于SOA综合集成多种技术、多个平台构建仿真推演系统的方法。面向服务的计算(Service-Oriented Computing,SOC)是一种将服务作为基本的计算单元来支持异构环境下分布式应用快速、低廉和柔性组合开发的新型分布式计算范式。面向服务的体系结构(Service-Oriented Architecture,SOA)为SOC的实现提供方法论指导,是一种高层的分布式系统和应用的开发方法。本文定义了基于SOA仿真,给出了基于SOA的本体驱动仿真框架和基于SOA的仿真体系结构。最后,对应急方案推演验证系统进行了设计与实现。讨论了仿真推演验证系统的Agent组成与模型设计,给出了基于角色的Agent组织及其在仿真中的实例化框架。在系统设计中,充分利用了面向对象的设计思想和设计模式,提供有效的、无冗余、清晰的类层次结构,保证用户可以使用简单、灵活的方式来对各个领域中具体的应急任务进行分布仿真。