|newbie: seeking advice in toolchain selection [message #1766757]
||Mon, 26 June 2017 22:23
Registered: June 2017
this is my first time here, so greetings to every forum member.
I am looking for advice in selectin the right toolchain for the job. I must confess that, after 2 days browsing throughout papers and documentation on several Eclipse Modelling tools and frameworks, I am afraid I've come across more dilemmas than conclusions. That's why I seek your guidance.
My basic bussiness case is this:
r1) Get (or write) a context-free grammar for my general purpose language, say "L"
r2) Generate a parser for L, together with some basic tooling around him (editor with syntax highlight, static checking, etc)
r3) Generate a bytecode compiler for it, with the JVM as debugger;
Now, the constraints:
c1)In the future, I want to apply some formal verification.
c2)At the moment, I strongly need a framework for rapid prototyping. My demonstration stage will be soon and I need an iterative approach that will show working (somehow) results as soon as possible, not needing to be state-of-the-art stuff.
Here is my brainstorming results so far:
-As for c1, I imagine the following scenario: I will have something like a meta-model language, say "MM". I will use that meta-model to describe both the language L and the JVM bytecode in it. Then I will implement the following transformation:
L ---[parsing, semantics]---> MM ---[semantics,code generation] ---> JVM bytecode
And I could apply formal verification methods to both the [parsing, semantics] and the [semantics,code gen] steps.
-As for c2), I have been examining several toolchains and frameworks (XText, Melange, Kermeta, etc) but most of them seem to be only a partial solution and I don't know what will be the best selection of tools so that they will integrate with minimum effort.
So far, I have chosen XText to write my context-free grammar and generate the parsing tools. But still i don't know how to implement the rest of the transformation chain.
Any advice about toolchain options and strategies will be much appreciated!
Powered by FUDForum
. Page generated in 0.02451 seconds