A general-purpose modeling language used to model systems and software in various application domains.