Use Case Maps (Timethreads), TMDL and Design

Use Case Maps (UCM)

Note: Timethreads are now called Use Case Maps.

For a very short introduction to Use Case Maps, you can read the paper Formal support for design techniques: a Timethreads-LOTOS approach, or you can browse the different papers available on:

• My "Thesis and Reports" page.
• Real-Time and Distributed Systems Group, Carleton University.

• FTP site, Carleton University.

• Design of Object-Oriented and Real-time Systems (DOORS) Project, Carleton University.

TMDL

Have you ever wanted to validate Use Case Maps? Do you dream about automatically generate LOTOS specifications from those tiny snakes? If so, then you must take a look at the TMDL page where you will find information on:
• The language TMDL (Timethread Map Description Language)
• The TMDL-to-LOTOS compiler (available right there!)
• Several examples
• Other documentation