This figure does not present all permitted interactions; every component inside the language may have composition, aggregation, and specialization relationships to components of precisely the same variety.To be a schema for modeling and routinely exploring sentences of the language with applications to automatic check synthesisEl metamodelo emplea