Project

General

Profile

Task #3983

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

Added by Alexander Kamkin over 7 years ago. Updated about 6 years ago.

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

100%

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

Description

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

History

#1

Updated by Alexander Kamkin over 7 years ago

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

#2

Updated by Sergey Smolov over 7 years ago

  • Status changed from New to Open
#3

Updated by Sergey Smolov over 7 years ago

  • % Done changed from 0 to 30

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

#4

Updated by Sergey Smolov over 6 years ago

  • Priority changed from Normal to High

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

#5

Updated by Alexander Kamkin over 6 years ago

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

Updated by Sergey Smolov about 6 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

#7

Updated by Alexander Kamkin about 6 years ago

  • Status changed from Resolved to Closed

Also available in: Atom PDF