Glages is a formal-model production technology for creating explicit, machine-checkable Glages Models from generalized domain knowledge. The Glages Model Factory provides the production system for creating, verifying, composing, specializing, packaging, releasing, and maintaining them systematically.
At the model-paradigm level, Glages Models can be described as a new