Tools for specification and description of protocols and service oriented systems.

SDLT
SDL Tool. Generates SDL-GR from SDL-PR

MSCT
MSC Tool. Generates Message Sequence Charts from text description