用新型离散事件系统控制模型表示 SDL 的扩展有限状态机
形式语言与自动机理论
2018-07-24 v1 计算复杂性
系统与控制
摘要
本文讨论 SDL 的扩展有限状态机 (EFSM)，并将其转化为一种新型离散事件系统控制模型。我们首先提出一种离散事件系统控制模型，其中事件集由若干冲突对组成，控制通过选择每对中的一个事件来实现。然后，我们将 SDL 的 EFSM 转化为该控制模型，以阐明 SDL 流图中起作用的控制机制。这项工作从监督控制理论的视角审视 SDL 的 EFSM，为软件控制论这一探索软件与控制之间理论上有据可依的交互作用的领域做出了贡献。
引用
@article{arxiv.1606.07585,
title = {Representing Extended Finite State Machines for SDL by A Novel Control Model of Discrete Event Systems},
author = {Peng Wang and Kai-Yuan Cai},
journal= {arXiv preprint arXiv:1606.07585},
year = {2018}
}
备注
Sixth International Conference on Quality Software