用于复杂可生存系统建模的高效非匿名组合算子
分布式、并行与集群计算
2017-01-13 v2
摘要
提出了一种新的模型组合器，用于在可执行性和可生存性评估的背景下自动生成非匿名的模型副本。这是一种状态共享组合器，它扩展了标准的匿名复制组合器，以便在一组特定的其他副本之间或在该副本与另一个外部模型之间共享一个副本的状态。这种新的组合算子旨在提高相对于标准匿名复制器（即 Möbius 建模框架所采用的复制器）的表达能力和性能。
引用
@article{arxiv.1608.05874,
title = {Efficient non-anonymous composition operator for modeling complex dependable systems},
author = {Silvano Chiaradonna and Felicita Di Giandomenico and Giulio Masetti},
journal= {arXiv preprint arXiv:1608.05874},
year = {2017}
}
备注
Editor: Gilles Tredan. 12th European Dependable Computing Conference (EDCC 2016), September 5-9, 2016, Gothenburg, Sweden. Fast Abstracts Proceedings- EDCC 2016