Project

General

Profile

Actions
Copy link

Task #3983

closed

[efsm][docs] Описание алгоритма построения автоматов

Added by Alexander Kamkin about 11 years ago. Updated over 9 years ago.

Status:
Closed
Priority:
High
Assignee:
Sergey Smolov
Category:
-
Target version:
0.1
Start date:
03/01/2013
Due date:
% Done:

100%

Estimated time:
Detected in build:
svn
Published in build:

Description

Имея более-менее формализованное описание я смогу дать более-менее конкретные рекомендации/замечания.

Actions
Copy link
 #1

Updated by Alexander Kamkin about 11 years ago

Есть предложение выложить описание алгоритма в wiki на суд общественности.

Actions
Copy link
 #2

Updated by Sergey Smolov about 11 years ago

  • Status changed from New to Open
Actions
Copy link
 #3

Updated by Sergey Smolov about 11 years ago

  • % Done changed from 0 to 30

Описание реализованной части алгоритма выложено в Wiki.

Actions
Copy link
 #4

Updated by Sergey Smolov about 10 years ago

  • Priority changed from Normal to High

Добавить пример b04 - граф потока, извлеченные clocked guarded actions, переменные состояния, EFSM-модель.

Actions
Copy link
 #5

Updated by Alexander Kamkin almost 10 years ago

  • Subject changed from Описание алгоритма построения автоматов to [efsm][docs] Описание алгоритма построения автоматов
  • Target version set to 0.1
Actions
Copy link
 #6

Updated by Sergey Smolov over 9 years ago

  • Status changed from Open to Resolved
  • % Done changed from 30 to 100

Алгоритм построения автоматов описан в svn-репозитории hvs(к имеющемуся добавил алгоритм построения GADD-диаграмм):

articles/2014/2014-efsm-extraction/2014-efsm-extraction.doc

Actions
Copy link
 #7

Updated by Alexander Kamkin over 9 years ago

  • Status changed from Resolved to Closed
Actions
Copy link

Also available in: Atom PDF