Une approche formelle de l'interop?abilit?pour une famille de dsl

Dans ce Livre, nous proposons une m?thode rigoureuse, formellement fond?e pour traiter de l'interop?rabilit? d'une famille de langages d?di?s (DSL) issus d'un m?me domaine m?tier. A partir de la s?mantique de chacun des DSL, notre d?marche construit, par un calcul de co-limite sur des sp?cifications alg?briques, un langage qui unifie les concepts de la famille. L'approche se caract?rise notamment par la capacit? ? traduire automatiquement le code d'un DSL vers le langage unificateur. Un autre b?n?fice r?side dans la preuve qu'une propri?t? sur un langage de la famille se d?cline, par construction, vers l'environnement unifi?. La mise en oeuvre de la d?marche a ?t? outill?e; elle s'appuie principalement sur le logiciel Specware de Kestrel et l'assistant de preuve Isabelle.

Author: Ali-A

Publisher: Omniscriptum

Publication Date: Feb 28, 2018

Number of Pages: 172 pages

Binding: Paperback or Softback

ISBN-10: 6131570213

ISBN-13: 9786131570216