CoSMoS : Complex Systems Modelling and Simulation infrastructure
CoSMoS : Complex Systems Modelling and Simulation infrastructure
复制标题
CoSMoS：复杂系统建模和仿真基础设施
DOI：
--
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
J. Bown
中科院分区：
文献类型：
--
作者：
Martin P. Bates;Raweewan Andrews;J. Bown
项目的目标是为复杂系统建立通用建模工具和仿真技术的能力，以支持复杂系统的建模，分析和预测，并帮助设计和验证复杂的系统。在计算机系统工程的许多方面，我们将开发Cosmos，这是一个专门设计的建模和仿真过程和基础架构统一的框架将完成：基于阶级，状态，行为和通信等计算概念的建模和分析过程，以及复杂的系统新兴属性，部分表示为丰富的论证，建模，分析和重构模式语言基于CSP和系统建模技术，包括广泛的过程粒度，针对复杂的特定特性系统：在（通常是污名化的）环境中，（相对）的（相对）的（相对）的简单代理会并行交流。详细的项目的目的是：•设计模式语言：抽象计算表示适用于复杂系统的集体和新兴属性； -π，Handel-C和JCSP，针对多个处理器•要将它们组合在一起，以指导探测复杂系统的任务，以构建合适的抽象模型（建模）模式语言），将模型映射到仿真框架（重构模式语言），实例化框架以产生模拟，争论模拟对原始系统（论证模式语言）的有效性，并以预测的方式使用模拟（分析模式语言）•用于模拟和模拟一系列复杂的系统案例研究，包括推动初始开发和执行整个宇宙过程的事件验证（建模，映射，实例化，验证，验证，预测）
Project Aims Our project will build capacity in generic modelling tools and simulation techniques for complex systems, to support the modelling, analysis and prediction of complex systems, and to help design and validate complex systems. Drawing on our state-of-the-art expertise in many aspects of computer systems engineering, we will develop CoSMoS, a modelling and simulation process and infrastructure specifically designed to allow complex systems to be explored, analysed, and designed within a uniform framework. CoSMoS will comprise: a modelling and analysis process, based on computational concepts such as class, state, behaviour, and communication, and on complex system emergent properties, expressed in part as rich argumentation, modelling, analysis, and refactoring Pattern Languages; a massively parallel and distributed simulation environment, based on CSP and system modelling technologies that encompass a wide range of process granularities, targeted to the specific properties of complex systems: vast numbers of (relatively) simple agents interacting and communicating in parallel, in an (often stigmergic) environment. The development of CoSMoS will be case study driven, to ensure that it contains the necessary generic components, and so that several iterations of the method and toolset, of increasing functionality and applicability, can be produced and validated. The detailed project aims are: • to design pattern languages for: abstract computational representations suitable for modelling complex systems; analyses of their collective and emergent properties; refactorings, both of composed models, and for targetting simulations; argument structures, to reason about validity • to build a simulation framework for massively parallel systems, as instantiatable code frameworks in occam-π, Handel-C, and JCSP, targeting multiple processors • to bring these together in an integrated process, that guides the tasks of probing a complex system in order to build suitable abstract models (modelling pattern language), mapping a model to the simulation framework (refactoring pattern language), instantiating the framework to produce a simulation, arguing the validity of the simulation against the original system (argumentation pattern language), and using the simulation in a predictive manner (analysis pattern language) • to model and simulate a range of complex system case studies, both for driving the initial development and for performing the eventual validation of the entire CoSMoS process (modelling, mapping, instantiating, validating, predicting)