List of commands using in a SChorA script

This page lists a set of commands using in a SChorA script. The commands are put in the command part which is started by COMMANDS keyword.

A command is one of following:

showTime
  • Signification: Show current time of the system. It is useful to calculate the time execution of one or several commands, i.e., put showTime before and just after the block of commands to be calculated then take their offset.
  • Parameter: none
showSTG
  • Signification: show graphically STGs
  • Parameters: List of component names separating by space
  • Example: showSTG spec shipper will display graphics of two STGs corresponding spec and shipper specifications.
showStat
  • Signification: Display statistic (number of states, transitions and messages) of STGs corresponding the specifications in parameters
  • Parameters: List of names separating by space
  • Example: showStat spec will display the number of states, transitions and messages of STG corresponding spec specification.
showReachableSTG
  • Signification: Display reachable STGs corresponding the specifications in parameters
  • Parameters: List of names separating by space
  • Example: showReachableSTG spec will displays the reachable STG corresponding to spec specification.
showRealizableSTG
  • Signification: Display realizable STGs corresponding the specifications in parameters
  • Parameters:
    • List of global component names separating by space
    • Communication mode which is one of following: %SYNC'', ''%ASYNC_SENDER, %ASYNC_RECEIVER'' or ''%ASYNC_DISJOINT
  • Example: showRealizableSTG spec SYNC displays the realizable STG corresponding to spec component under synchronous communication mode.
projection
  • Signification: Generate local STGs of global component specifications
  • Parameters: same as the one of showRealizableSTG command.
conformance
  • Signification: Verify SBBC relation between two specifications
  • Parameters:
    • name of choreography component
    • name of implementation component
  • Example: conformance spec impl will check whether impl component conform to spec component