Eclipse Community Forums: M2M (model-to-model transformation) » [ATL] New ATL Use Case: "Compiling a new formal verification language to LOTOS (ISO 8807)"

Home » Archived » M2M (model-to-model transformation) » [ATL] New ATL Use Case: "Compiling a new formal verification language to LOTOS (ISO 8807)"

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

[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

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

Report message to a moderator

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:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Fri Apr 19 19:50:17 GMT 2024

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter