Semantics of Domain-Specific Modeling Languages