Skip to main content


Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Archived » M2M (model-to-model transformation) » [ATL] New ATL Use Case: "Compiling a new formal verification language to LOTOS (ISO 8807)"
[ATL] New ATL Use Case: "Compiling a new formal verification language to LOTOS (ISO 8807)" [message #63375] Tue, 02 October 2007 14:56
Frédéric Jouault is currently offline Frédéric JouaultFriend
Messages: 572
Registered: July 2009
Senior Member
Dear all,

A new ATL Use Case entitled "Compiling a new formal verification
language to LOTOS (ISO 8807)" has been published.

This work presents a compiler from FIACRE (french acronym of
Intermediate Format for the Architectures of Embedded Distributed
Components) to LOTOS (Language Of Temporal Ordering Specification, ISO
8807) using Model Engineering techniques. The output of this compiler
can then be verified using the CADP toolbox.

This work is the result of the cooperation of two INRIA teams: ATLAS
(Nantes), and VASY (Grenoble), in the context of the OpenEmbeDD project.


Note that both the source and target languages have been defined in KM3
(abstract syntax) and TCS (concrete syntax). Both TCS models are part of
the new TCS Zoo available at:
http://wiki.eclipse.org/TCS/Zoo


The use case is available at:
http://www.eclipse.org/m2m/atl/usecases/FIACRE2LOTOS/


Best regards,

Frédéric Jouault
Previous Topic:[ATL] graphical plugin to plan and executing ATL transformations
Next Topic:[ATL] New web service to try ATL without installing Eclipse
Goto Forum:
  


Current Time: Wed Apr 14 18:06:01 GMT 2021

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

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

Back to the top