Return to Article Details Towards a Methodology for Semantics Specification of Domain-specific Models through Properties Download Download PDF