中文摘要：

人工社会（artificial societies）、计算实验（computational experiments）与平行执行（parallel execution）简称为ACP方法，是用于帮助突发事件应急管理等复杂社会问题研究的一个经典社会计算方法，人工社会建模是该方法的基础.人工社会作为现实社会系统在计算机世界中的映射，具有多样性、层次性、社会性、演化性等诸多复杂性特点.因此，如何有效地支持人工社会建模成为了一个研究重点.综合考虑了人工社会特点以及突发事件应急管理和ACP方法对人工社会建模的需求，提出了人工社会建模语言（artificial society modeling language, ASML），详细介绍了ASML的元模型、多视点模型以及图形化建模语言.ASML借鉴了已有多Agent系统技术研究成果并借助于社会组织学思想，便于以抽象、自然且易于理解的方式对人工社会进行分析与建模，其严格语义基础使得模型检查与模型转换成为可能.此外，开发的支撑工具集ASMLTools可用于支持基于ASML的建模、模型检查和模型转换等.通过案例分析使ASML的有效性与可用性得以验证.

英文摘要：

ACP（artificial societies, computational experiments, and parallel execution） is a classic social computing approach to research on complex social issues like emergency management, and artificial society modeling is the foundation of this approach.Artificial societies are the mappings of real social systems in the computer world, with the characteristics of complexity, multiplicity, multilevel, sociality, and so forth.Hence, how to support artificial societies modeling becomes an important research topic.Synthetically considering the characteristics of artificial societies and the artificial society modeling requirements of emergency management and ACP approach, an artificial society modeling language （ASML） is proposed, and its meta-model, multiple-viewpoint models and graphic modeling language are also detailed.ASML is based on the technology of multi-agent systems and inspired from the social organization theory, which facilitates analyzing and modeling artificial society in a high-level abstraction, natural and easy-to-understand way.The rigorous semantics foundation of ASML makes model checking and model transforming possible.In addition, the developed supporting software toolkits ASMLTools support artificial society modeling with ASML, ASML model checking and model transforming, etc.Through a case study its effectiveness and usability are demonstrated.