Actions
Task #5609
closedmake process-local variables be efsm-model-global
Start date:
02/11/2015
Due date:
% Done:
0%
Estimated time:
Detected in build:
svn
Published in build:
Description
While EFSM models being extracted from CFG processes, they should have global variables only (in terms of EfsmModel).It means, that when different CFG processes have different local variables, these variables should be transformed into global variables of the final EfsmModel.
Updated by Sergey Smolov over 9 years ago
- Subject changed from [efsm][extraction] make process-local variables be efsm-model-global to make process-local variables be efsm-model-global
- Category set to Engine (Transformer)
Updated by Sergey Smolov about 9 years ago
- Status changed from New to Rejected
This task is inactual due to new EFSM model hierarchical representation.
Actions