| newbie: seeking advice in toolchain selection [message #1766757] |
Mon, 26 June 2017 18:23  |
Eclipse User |
|
|
|
Hi everyone,
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!
Regards,
David
|
|
|
|
|
| Re: newbie: seeking advice in toolchain selection [message #1767054 is a reply to message #1767045] |
Fri, 30 June 2017 01:51  |
| Eclipse User |
|
|
|
Hi
[The forums are very unsatisfactory. Now that the newsgroup has been discontinued we look forward to something better than FUDforum. Most committers use the newsgroups so that messages appeared in a mail client such as Thunderbird. I now use the RSS feed. However that too is unsatisfactory. Sometimes notifications are delayed for days, as appears to have happened to your first message which appeared at almost the same time as your second.]
'Semantics' is a huge area and I am not aware of any tool that really supports what I call semantic modeling so I cannot understand your comments. Not sure what you mean by K2 and I'm really dubious about a JVM model; it seems that you want to bypass rather than exploit Java tooling. I suggest that you follow an Xtext tutorial and use it for a few simple purposes so that you can rethink your ideas in a more conventional and compatible fashion.
Regards
Ed Willink
|
|
|
Powered by
FUDForum. Page generated in 0.06209 seconds
Home