Skip to main content

Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Modeling » TMF (Xtext) » DSL Textual Model to Z Notation conversion?
DSL Textual Model to Z Notation conversion? [message #1744161] Thu, 22 September 2016 23:17
Sam Patterson is currently offline Sam PattersonFriend
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.
Previous Topic:Xtext compatibility with Eclipse
Next Topic:Register EPackage probelm "Couldn't find an interface"
Goto Forum:

Current Time: Tue May 30 08:39:52 GMT 2023

Powered by FUDForum. Page generated in 0.01321 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software

Back to the top