Project

General

Profile

Task #5473

Непонятные места в описании Веронского метода

Added by Alexander Kamkin over 4 years ago. Updated over 1 year ago.

Status:
Resolved
Priority:
Normal
Assignee:
Category:
Engine (Generator)
Target version:
Start date:
12/10/2014
Due date:
% Done:

100%

Estimated time:
Detected in build:
master
Published in build:

Description

В Wiki присутствует следующая фраза:

строится ограничение в виде конъюнкции действия перехода t и условие срабатывания t и целевого перехода;

Непонятно, что она означает. Гипотеза:

строится конъюнкция условия срабатывания перехода t и слабейшего предусловия действия перехода t относительно условия срабатывания целевого перехода;

Предлагаю еще раз посмотреть описание алгоритма. Возможно, следует ввести обозначения для его более компактной и наглядной записи.

History

#1

Updated by Sergey Smolov over 4 years ago

  • Target version changed from 0.1 to 0.2
#2

Updated by Sergey Smolov about 4 years ago

  • Subject changed from [efsm][testgen][test] Непонятные места в описании Веронского метода to Непонятные места в описании Веронского метода
  • Category set to Engine (Generator)
#3

Updated by Sergey Smolov about 4 years ago

  • Target version changed from 0.2 to 0.1
#4

Updated by Sergey Smolov almost 4 years ago

  • Status changed from New to Feedback

Is this task still actual?

#5

Updated by Sergey Smolov about 3 years ago

  • Status changed from Feedback to Open
  • Target version changed from 0.1 to 0.2
#6

Updated by Sergey Smolov over 2 years ago

  • Detected in build changed from svn to master
#7

Updated by Sergey Smolov over 1 year ago

  • Status changed from Open to Resolved
  • Assignee changed from Igor Melnichenko to Sergey Smolov
  • % Done changed from 0 to 100

Метод подробно описан тут: http://forge.ispras.ru/projects/retrascope/wiki/EFSM_Building_(Related_Work)

и в статье на SYRCoSE 2015 года.

#8

Updated by Sergey Smolov over 1 year ago

  • Target version changed from 0.2 to 1.0

Also available in: Atom PDF