From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <dmentre@linux-france.org>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sympa.inria.fr (Postfix) with ESMTPS id 318587EF57
	for <caml-list@sympa.inria.fr>; Fri,  3 Jul 2015 14:15:34 +0200 (CEST)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  dmentre@linux-france.org) identity=pra;
  client-ip=94.23.39.64;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="dmentre@linux-france.org";
  x-sender="dmentre@linux-france.org";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  dmentre@linux-france.org) identity=mailfrom;
  client-ip=94.23.39.64;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="dmentre@linux-france.org";
  x-sender="dmentre@linux-france.org";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@tempura.bentobako.org) identity=helo;
  client-ip=94.23.39.64;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="dmentre@linux-france.org";
  x-sender="postmaster@tempura.bentobako.org";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: A0DKCgCue5ZV/0AnF15bgxKEUr87glQCgTRMAQEBAQEBgQtBBYNeAQEEIw8BBTsFESUCBRYLAgIJAwIBAgENOBMIAQGIL7dslikBCyCBIY83FoJSgUMBBJQVCJQZkBgmg3yDOAEBAQ
X-IPAS-Result: A0DKCgCue5ZV/0AnF15bgxKEUr87glQCgTRMAQEBAQEBgQtBBYNeAQEEIw8BBTsFESUCBRYLAgIJAwIBAgENOBMIAQGIL7dslikBCyCBIY83FoJSgUMBBJQVCJQZkBgmg3yDOAEBAQ
X-IronPort-AV: E=Sophos;i="5.15,399,1432591200"; 
   d="scan'208";a="138861048"
Received: from tempura.bentobako.org ([94.23.39.64])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 03 Jul 2015 14:15:33 +0200
Received: from [10.226.206.69] (129-202.252-81.static-ip.oleane.fr [81.252.202.129])
	by tempura.bentobako.org (Postfix) with ESMTPSA id 235712F0C
	for <caml-list@inria.fr>; Fri,  3 Jul 2015 14:15:31 +0200 (CEST)
To: caml-list@inria.fr
References: <55967BC2.50409@linux-france.org>
From: David MENTRE <dmentre@linux-france.org>
Message-ID: <55967CE2.7010700@linux-france.org>
Date: Fri, 3 Jul 2015 14:15:30 +0200
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:38.0) Gecko/20100101
 Thunderbird/38.0.1
MIME-Version: 1.0
In-Reply-To: <55967BC2.50409@linux-france.org>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Subject: [Caml-list] Model-based engineering and OCaml

Hello,

Le 03/07/2015 14:10, David MENTRE a écrit :
> most of the time the tool developed at MERCE around formal methods are
> made in OCaml. :-)

By the way, the only tools we are not developing in OCaml are tools 
around Model Based Engineering/Design/... developed using Eclipse's 
technologies (Acceleo, Java, EMF, Sirius, ...).

Is there any effort, library or framework to develop Model 
transformation tools (model to text, model to model) in OCaml? Any OCaml 
tool that can be combined with Eclipse technologies like EMF or Sirius?

Sincerely yours,
david