New version of CTTool available

This version of CTTool is based on the software TTool+. It is is a prototype tool for the specification of distributed component systems. To see more about this program (and its licence), follow this link.

  • Main page of TTool

    A CTTool specification contains the architecture of the system (a hierarchy of components (with attributes) connected through interfaces and ports), the specification of the interfaces (methods and their signatures, as well as the contingency of the interface), and the dynamic behaviour of components (state machines).

    With CTTool you can:

  • Make components (primitives or composites) and subcomponents.
  • Specify component's attributes.
  • Specify the component's behavior in a State Machine Diagram.     
  • Decision, junction, action, start, stop, send, get, etc...
  • Use submachines in State Machine Diagrams.
  • Save a component with its behavior as a library, and then load it.
  • Put ports (IN or OUT ports) in a component for communications with another component.
  • Make interfaces with methods. Specify the contingency of the interface: OPTIONAL or MANDATORY.
  • Link the interface to a port. Then, hide or show the interface (sometimes there are too many interfaces so it's better to hide them).
  • Create connectors (normal or delegate, according to the hierarchy level of the components involved in the binding) for two-way asynchronous communication.
    Save/Load the design to/from a XML file.
  • Check Syntax of the design.
  • Generate LOTOS and RT-LOTOS code. (formal)
  • Generate the automata.


    SCREENSHOT

    Documentation

    See official documentation in web page of TTool here

    Software

    People involved in the development of this version:

  • Solange Ahumada, Antonio Cansado, Eric Madelaine, Emil Salageanu
  • LabSoC laboratory from Telecom Paris