General Administration of Quality Supervision, Inspection and Quarantine of the People‘s Republic of China
Latest
GB/T 28174.3-2011
Scope
This part of GB/T 28174 specifies a unified modeling language for visualization, specification, construction and documentation of various software systems. The language can also be used to model other domains. This section is a formal language suitable for describing expressions on UML models. In a normative way, these expressions stipulate how to describe the invariant conditions that the system should hold during the modeling process and the queries to the objects in the model.