Une approche formelle de l'interopérabilité pour une famille de dsl [French]

By Abou Dib Ali

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.

• Format: Paperback
• Language: French
• ISBN: 6131570213
• ISBN13: 9786131570216
• Release Date: October 2011
• Publisher: Omniscriptum
• Length: 172 Pages
• Weight: 0.57 lbs.
• Dimensions: 0.4" x 6.0" x 9.0"