Syntax Adolfo S´anchez-Barbudo Herrera1 , Edward Willink2 , Richard F. Paige1 1 Department of Computer Science, University of York, UK. {asbh500, richard.paige} at york.ac.uk 2 Willink Transformations Ltd. ed at willink.me.uk The problem of converting human readable programming languages into executable machine representations is an old one. EBNF and Attribute grammars provide solutions, but unfortunately they have failed to contribute effectively to model-based Object Management Group (OMG) specifications. Consequently the OCL and QVT specifications provide examples of specifications with significant errors and omissions. We describe an OCL-based internal domain specific language (DSL) with which we can re-formulate the problematic parts of the specifications as complete, checkable, re-useable models.
Adolfo Sánchez-Barbudo Herrera, Edward D. W