|
@@ -156,7 +156,6 @@ ProcessModel analyse_requirements {
|
|
|
Else (found, finish) {}
|
|
|
|
|
|
Consumes (revise_req, req) {
|
|
|
- name = "requirements"
|
|
|
}
|
|
|
Produces (revise_req, req) {
|
|
|
}
|
|
@@ -175,35 +174,25 @@ ProcessModel analyse_requirements {
|
|
|
}
|
|
|
|
|
|
Consumes (revise_plant, req) {
|
|
|
- name = "requirements"
|
|
|
}
|
|
|
Consumes (revise_environment, req) {
|
|
|
- name = "requirements"
|
|
|
}
|
|
|
Consumes (revise_control, req) {
|
|
|
- name = "requirements"
|
|
|
}
|
|
|
Consumes (revise_query, req) {
|
|
|
- name = "requirements"
|
|
|
}
|
|
|
Consumes (revise_architecture, req) {
|
|
|
- name = "requirements"
|
|
|
}
|
|
|
|
|
|
Consumes (revise_plant, plant_model) {
|
|
|
- name = "plant"
|
|
|
}
|
|
|
Consumes (revise_environment, environment_model) {
|
|
|
- name = "environment"
|
|
|
}
|
|
|
Consumes (revise_control, control_model) {
|
|
|
- name = "control"
|
|
|
}
|
|
|
Consumes (revise_query, query) {
|
|
|
- name = "query"
|
|
|
}
|
|
|
Consumes (revise_architecture, architecture) {
|
|
|
- name = "architecture"
|
|
|
}
|
|
|
Produces (revise_plant, plant_model) {
|
|
|
}
|
|
@@ -217,66 +206,51 @@ ProcessModel analyse_requirements {
|
|
|
}
|
|
|
|
|
|
Consumes (plant_to_EPN, plant_model) {
|
|
|
- name = "plant_model"
|
|
|
}
|
|
|
Produces (plant_to_EPN, plant_EPN) {
|
|
|
}
|
|
|
Consumes (environment_to_EPN, environment_model) {
|
|
|
- name = "environment_model"
|
|
|
}
|
|
|
Produces (environment_to_EPN, environment_EPN) {
|
|
|
}
|
|
|
Consumes (control_to_EPN, control_model) {
|
|
|
- name = "control_model"
|
|
|
}
|
|
|
Produces (control_to_EPN, control_EPN) {
|
|
|
}
|
|
|
|
|
|
Consumes (combine_EPN, plant_EPN) {
|
|
|
- name = "epn_1"
|
|
|
}
|
|
|
Consumes (combine_EPN, environment_EPN) {
|
|
|
- name = "epn_2"
|
|
|
}
|
|
|
Consumes (combine_EPN, control_EPN) {
|
|
|
- name = "epn_3"
|
|
|
}
|
|
|
Consumes (combine_EPN, architecture) {
|
|
|
- name = "architecture"
|
|
|
}
|
|
|
Produces (combine_EPN, pn) {
|
|
|
}
|
|
|
|
|
|
Consumes (analyse, pn) {
|
|
|
- name = "pn"
|
|
|
}
|
|
|
Produces (analyse, reachability_graph) {
|
|
|
}
|
|
|
|
|
|
Consumes (match, reachability_graph) {
|
|
|
- name = "reachability_graph"
|
|
|
}
|
|
|
Consumes (match, query) {
|
|
|
- name = "query"
|
|
|
}
|
|
|
Produces (match, reachability_graph) {
|
|
|
}
|
|
|
|
|
|
Consumes (bfs, reachability_graph) {
|
|
|
- name = "reachability_graph"
|
|
|
}
|
|
|
|
|
|
Consumes (print_pn, pn) {
|
|
|
- name = "pn"
|
|
|
}
|
|
|
|
|
|
Consumes (print_plant_EPN, plant_EPN){
|
|
|
- name = "epn"
|
|
|
}
|
|
|
Consumes (print_control_EPN, control_EPN){
|
|
|
- name = "epn"
|
|
|
}
|
|
|
Consumes (print_env_EPN, environment_EPN){
|
|
|
- name = "epn"
|
|
|
}
|
|
|
}
|