Task #4661
closed
[cgaa][transformer][efsm] Изменить алгоритм извлечения состояний
Added by Alexander Kamkin almost 11 years ago.
Updated about 10 years ago.
Description
При построении попарно несовместных ограничений (какждое из которых соответствует состоянию) следует учитывать не только охранные условия - предусловия, но и постусловия (результаты символического выполнения действий для охранных условий).
- Subject changed from Изменить алгоритм извлечения состояний to [efsm][extractor] Изменить алгоритм извлечения состояний
- Target version set to 0.1
- Subject changed from [efsm][extractor] Изменить алгоритм извлечения состояний to [cgaa][transformer][efsm] Изменить алгоритм извлечения состояний
- Status changed from New to Open
Приступил к реализации подхода к построению состояний, описанного в 2014-efsm-extraction.
- % Done changed from 0 to 50
Реализовано расщепление switch-узлов, содержащих булевские операции (как минимум одну - на верхнем уровне) и зависящих от переменных состояния.
- % Done changed from 50 to 70
Протестировано расщепление условных операторов (с помощью GraphML-принтера), реализовано извлечение первичного набора ограничений на переменные состояния.
- Status changed from Open to Resolved
- % Done changed from 70 to 100
- Published in build set to r1144
Реализован алгоритм извлечения состояний согласно документу 2014-efsm-extraction
- Status changed from Resolved to Closed
Also available in: Atom
PDF