Sciweavers

MODELS
2015
Springer

An OCL-based Bridge from Concrete to Abstract Syntax

8 years 6 months ago
An OCL-based Bridge from Concrete to Abstract Syntax
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
Added 15 Apr 2016
Updated 15 Apr 2016
Type Journal
Year 2015
Where MODELS
Authors Adolfo Sánchez-Barbudo Herrera, Edward D. Willink, Richard F. Paige
Comments (0)