This is the TTool+ documentation page

TTool+ is a prototype tool for the specification of distributed component systems. A TTool+ specification contains both the architecture of the system (a hierarchy of components connected through interfaces), the specification of the interfaces (methods and their signatures), and the dynamic behaviour of components (state machines).


Click to get more details

Documentation

Work report [PDF]
The TTool+ User Manual is in chapter 5 of this report.
Few clues for the user interface

Software