CASL-CHART: A Combination of Statecharts and of the Algebraic Specification Language CASL

CASL-CHART: A Combination of Statecharts and of the Algebraic Specification Language CASL
复制标题

CASL-CHART：状态图和代数规范语言 CASL 的组合

DOI：
10.1007/3-540-45499-3_19
复制
发表时间：
2000
期刊：
J. Log. Comput.
影响因子：
--
通讯作者：
L. Repetto
L. Repetto
中科院分区：
--
文献类型：
--
作者：
G. Reggio;L. Repetto

文献摘要

被引文献

相似文献

在本文中，我们提出了Casl-Chart反应系统的形式化可视化规范语言，通过结合一个已经存在的反应系统语言，确切地说，Statemate（[6，7]）支持的状态图，与一个已经存在的数据结构规范语言，确切地说，代数规范语言Casl（[12，17]）。
In this paper we present Casl-Chart a formal visual specification language for reactive systems obtained by combining an already existing language for reactive systems, precisely the statecharts as supported by Statemate ([6,7]), with an already existing language for the specification of data structures, precisely the algebraic specification language Casl ([12,17]).