0
Alloy - specification language - was created in 1997.
To detail a process
Common language specification
1