Project

General

Profile

Task #5609

make process-local variables be efsm-model-global

Added by Sergey Smolov over 4 years ago. Updated almost 4 years ago.

Status:
Rejected
Priority:
Normal
Assignee:
Category:
Engine (Transformer)
Target version:
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.


Related issues

Related to Retrascope - Task #5569: support process variable declarationsClosed01/22/2015

Actions

History

#1

Updated by Sergey Smolov over 4 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)
#2

Updated by Sergey Smolov almost 4 years ago

  • Status changed from New to Rejected

This task is inactual due to new EFSM model hierarchical representation.

Also available in: Atom PDF