test

// Workflow_Set is the set of all platform’s workflows
For each operation Opr received in real time.
do
var workflow_ID = Opr.get_workflowID ( );
var model_ID = Opr.get_modelID ( );
var workflow_map = workflow_set.locate_workflow ( );
var model = workflow_map.locate_model ( model_ID );
while ( true )  do next concurrently.