关于可靠系统动态重配置的形式化方法
软件工程
2014-05-09 v2
摘要
我们评估了三种不同形式化方法——VDM、Maude 和基本 CCSdp——在建模和验证动态软件重配置方面的适用性，并以一个简单的订单处理办公工作流的动态重配置作为案例研究。该研究正在进行中，并报告了初步结果。
引用
@article{arxiv.1405.0319,
title = {On Formalisms for Dynamic Reconfiguration of Dependable Systems},
author = {Anirban Bhattacharyya and Andrey Mokhov and Ken Pierce and Manuel Mazzara},
journal= {arXiv preprint arXiv:1405.0319},
year = {2014}
}
备注
EDCC-2014, Fast-Abstracts