modelverse/models/pm_live_CBD.mvc

Start start {}

Exec edit {
    name = "models/CBD/edit"
}

Exec toRuntime {
    name = "models/CBD/toRuntime"
}

Exec restartSim {
    name = "models/CBD/restartSim"
}

Exec simulate {
    name = "models/CBD/simulate"
}

Exec merge {
    name = "models/CBD/merge"
}

Fork fork1 {}
Fork fork2 {}

Data trace_Design2Partial {
    name = "trace_D2P"
    type = "formalisms/Tracability"
}

Data trace_Partial2Runtime {
    name = "trace_P2R"
    type = "formalisms/Tracability"
}

Data design_model {
    name = "design_model"
    type = "formalisms/CBD/Design_MM"
}

Data partial_runtime_model {
    name = "partial_runtime_model"
    type = "formalisms/CBD/PartialRuntime_MM"
}

Data full_runtime_model {
    name = "full_runtime_model"
    type = "formalisms/CBD/FullRuntime_MM"
}

Next (start, fork1) {}
Next (fork1, edit) {}
Next (fork1, simulate) {}
Next (edit, toRuntime) {}
Next (toRuntime, fork2) {}
Next (fork2, edit) {}
Next (fork2, restartSim) {}
Next (simulate, merge) {}
Next (merge, simulate) {}

Consumes (edit, design_model) {
    name = "Design"
}
Produces (edit, design_model) {
    name = "Design"
}

Consumes (toRuntime, design_model) {
    name = "Design"
}
Consumes (toRuntime, trace_Design2Partial) {
    name = "__traceability"
}
Produces (toRuntime, partial_runtime_model) {
    name = "PartialRuntime"
}
Produces (toRuntime, trace_Design2Partial) {
    name = "__traceability"
}

Consumes (merge, partial_runtime_model) {
    name = "PartialRuntime"
}
Consumes (merge, full_runtime_model) {
    name = "FullRuntime"
}
Consumes (merge, trace_Partial2Runtime) {
    name = "__traceability"
}
Produces (merge, full_runtime_model) {
    name = "PartialRuntime"
}
Produces (merge, trace_Partial2Runtime) {
    name = "__traceability"
}

Consumes (simulate, full_runtime_model) {
    name = "FullRuntime"
}
Produces (simulate, full_runtime_model) {
    name = "FullRuntime"
}