OSM-LA Formal Specification Language
Textual Language
- scales up
- allows more precision
- gets us closer to implementation
Model-Equivalent
- OSM and OSM-L constructs match one for one
- analysis work translates directly (seamless)
- a return to graphical notation is possible
- mixed OSM/OSM-L is possible and common