Feature #69

add Simulation tab(s)

Added by Axel Belinfante over 11 years ago. Updated over 11 years ago.

Status:ClosedStart date:12 May 2009
Priority:NormalDue date:
Assignee:-% Done:

100%

Category:-
Target version:1.0.0

Description

allow user to simulate, give choice:
  • kind
  • plain LTS
  • determinized LTS
  • suspension automaton (=determinized LTS + delta synthesis)
  • source
  • specification
  • guide
  • implementation
  • specification + guide

we may want to be able to have multiple simulation panes active at the same time, e.g. one for spec and one for impl.

if we have more advanced tabs/panes management, we can dynamically create and delete dedicated simulator panes, that are created via multiple Simulate buttons (a la View) that preset the config of created sim pane to correct settings.

once we have this simulators, we can use them to replay traces, e.g. traces reported by the iocoChecker.


Related issues

Related to JTorX - Feature #64: make tab layout in GUI user-configurable by drag/drop as ... New 24 Apr 2009
Related to JTorX - Bug #107: in Config Components pane, need to press to many Virew bu... New 11 Jun 2009
Related to JTorX - Bug #65: make Primer/Combinator view buttons obtain LTS when needed New 25 Apr 2009
Related to JTorX - Bug #66: Primer/Combinator View button may show outdated model? New 25 Apr 2009
Related to JTorX - Bug #67: do not construct new Model/Primer/Combinator for test ru... New 25 Apr 2009

History

#1 Updated by Axel Belinfante over 11 years ago

  • Status changed from New to Assigned
  • % Done changed from 0 to 50

simulation is possible via the 'components' configuration pane, where each component has a simulate button

#2 Updated by Axel Belinfante over 11 years ago

  • Status changed from Assigned to Closed

more or less ok in 1.0.0

#3 Updated by Axel Belinfante over 11 years ago

  • Target version set to 1.0.0
  • % Done changed from 50 to 100
missing:
  • more advanced panes management
  • configuration in Components that better tracks config in Configuration Items

Also available in: Atom PDF