基于分层部分 - 整体状态形式化建模的系统之系统
软件工程
2013-11-15 v1
摘要
本文提出了一种明确的状态建模范式，旨在对系统之系统（Systems of Systems）的行为进行建模。该方法允许在不使用模型检查技术的情况下，增量地指定和验证安全性与活性规则。此外，基于状态的方法允许直接使用系统行为作为接口，极大地提高了组装系统之系统时所需的递归组合的有效性。此类系统同时既是部分又是整体，从而为 Holon 概念提供了形式化表征。
引用
@article{arxiv.1311.3628,
title = {Systems of Systems Modeled by a Hierarchical Part-Whole State-Based Formalism},
author = {Luca Pazzi},
journal= {arXiv preprint arXiv:1311.3628},
year = {2013}
}
备注
In Proceedings AiSoS 2013, arXiv:1311.3195