A lightweight diagramming language based on formal methods for software modeling. Part of Forge.