Abstract:
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.