This project is a demonstrator of pattern instanciation on system engineering model (pseim), made by the MOISE project. It contains the metamodel of the pseim, graphical and textual editors, formal verification models (event-B) and examples.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

11 lines
387 B

pattern nverG (nb_in, nb_out, nb_comp, nb_vin) {
component top (in i[nb_in], out o[nb_out]) {
component split[nb_in](in i[1], out o[nb_comp])
component comp[nb_comp](in i[nb_in], out o[nb_out])
component vote[1](in i[nb_vin], out o[nb_out])
i -{Transpose}-> split.i
split.o -{Transpose}-> comp.i
comp.o -{FlattenC}-> vote.i
vote.o -{Identity}-> o
}
}