process_specif

process_specif ::= "process" process_name 
      "in" context_name 
      [ "pre" connection_list ] 
      [ "new" object_elab { "," "new" object_elab } ] 
      [ "post" connection_list ] 
      [ "exec" ( param_name "." method_name 
      { "," param_name "." method_name } ) ] 

[rule list]
This rule is called by

-> m5_specification