面向COSMA设计环境的宏生成与自动机库
软件工程
2017-10-25 v1
摘要
在华沙理工大学（WUT）的ICS，正在开发COSMA设计环境。COSMA基于系统规范的并发状态机（CSM）形式化方法。它包含用于系统设计的图形化工具、用于分析的各种工具（包括一个时序模型检测器）、模拟器以及代码生成器。在许多项目中，会出现一些公共子系统。这既涉及复杂模块，也涉及简单计数器。本报告中，提出了一种用于构建自动机库的宏生成技术概念。该技术将支持项目的紧凑性与模块的可重用性。
引用
@article{arxiv.1710.08849,
title = {Macrogeneration and Automata Libraries For COSMA design environment},
author = {Wiktor B. Daszczuk},
journal= {arXiv preprint arXiv:1710.08849},
year = {2017}
}
备注
26 pages, 14 figures