sslug-teknik team mailing list archive

[Tobias Tobiasen <Tobiasen@xxxxxxxxx>]

Hardy Henneberg wrote:

> Hej,
> Har nogen af jer kendskab til et værktøj man kan tegne tilstands
> diagrammer med. Jeg har forsøgt mig med GSM suite, som jeg fandt hos
> Tucows - men kunne ikke oversætte det.
> Jeg kan naturligvis bruge StarOffice -draw, men det synes jeg er lige
> simpelt nok.

Hvis du skal lave UML tilstandsdiagrammer så er dia nok det bedste - men
hvis du vil lave tilstandmaskiner så tag et kig på
http://www.docs.uu.se/docs/rtmv/uppaal/ . Det er et javaprogram hvor man
kan lave 'timed automatas' og bevise alt programmer aldrig går i
deadlock. Det er ret sejt til at lave tilstandsmaskinerne.

T2