Data Flow Architecture in Specware

spec LATTICE

sort L

op lt

op meet

axiom ...

End

spec GRAPH

sort Nodes

sort Edges= (Nodes, Nodes)

...

End

Spec DATAFLOW-Param

import GRAPH, LATTICE

sort Transfer-Functions = Edges -> (L -> L)

...

end

Spec DataFlow

op data-flow: (Nodes -> L, Transfer-Functions)

-> (Nodes -> L))

....

Previous slide

Next slide

Back to first slide

View graphic version