Project

General

Profile

Actions

Task #5609

closed

make process-local variables be efsm-model-global

Added by Sergey Smolov about 9 years ago. Updated over 8 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 1 (0 open1 closed)

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

Actions
Actions #1

Updated by Sergey Smolov about 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)
Actions #2

Updated by Sergey Smolov over 8 years ago

  • Status changed from New to Rejected

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

Actions

Also available in: Atom PDF