This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 429 - Uppaal spec. file extension and integration with OS shell
Summary: Uppaal spec. file extension and integration with OS shell
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: 4.0.6
Hardware: All All
: P2 minor
Assignee: Alexandre David
Depends on:
Reported: 2007-10-15 16:50 CEST by Marius Mikučionis
Modified: 2008-06-11 16:47 CEST (History)
0 users

See Also:


Note You need to log in before you can comment on or make changes to this bug.
Description Marius Mikučionis 2007-10-15 16:50:36 CEST
We use xml as a file extention for Uppaal models. This does not contribute any information about what is inside the file other than it is xml (it can be almost anything).
This has a consequence that the files cannot be associated with applications in OS shell (Windows Explorer, Nautilus, ...), and the user has to visit two locations (start Uppaal and then point it to the Uppaal model) instead of just shell taking care of it. This is especially true for the GUI-driven work conditions.
So I suggest to change the file name extension to something more meaningful.

I suggest UTA (Uppaal Timed Automata) or USM (Uppaal System Model).
It can also be just uppaal, I am open to suggestions :-)