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 , with an already existing language for the specification of data structures, precisely the algebraic specification language Casl.
CASL-CHART: A Combination of Statecharts and of the Algebraic Specification Language CASL
REGGIO, GIANNA;
2000-01-01
Abstract
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 , with an already existing language for the specification of data structures, precisely the algebraic specification language Casl.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
