Eclipse Community Forums: TMF (Xtext) » DSL Textual Model to Z Notation conversion?

Help

Home

Home » Modeling » TMF (Xtext) » DSL Textual Model to Z Notation conversion?

Show: Today's Messages :: Show Polls :: Message Navigator

DSL Textual Model to Z Notation conversion? [message #1744161]

Thu, 22 September 2016 23:17

Sam Patterson

Messages: 18
Registered: June 2016

Junior Member

Does anyone know if it's possible to covert a textual model to Z Notation?

What I hope to achieve is to write a specification using a DSL created in Xtext and then 'transform' that specification into a Z specification.

I read that it's possible to do using Eclipse Epsilon and specifically EGL, but I'm not sure where to start and was wondering if anyone had any experience doing something like this?

Thank you.

Report message to a moderator

Previous Topic:	Xtext compatibility with Eclipse
Next Topic:	Register EPackage probelm "Couldn't find an interface"

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Fri Apr 19 20:35:42 GMT 2024

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter