OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

A transformation-driven approach to automate feedback verification results

Zalila, Faiez and Crégut, Xavier and Pantel, Marc A transformation-driven approach to automate feedback verification results. (2013) In: 3rd International Conference On Model and Data Engineering (MEDI 2013), 25 September 2013 - 27 September 2013 (Amantea, Calabria, Italy).

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: http://dx.doi.org/10.1007/978-3-642-41366-7_23


The integration of formal verification methods in modeling activities is a key issue to ensure the correctness of complex system design models. In this purpose, the most common approach consists in defining a translational semantics mapping the abstract syntax of the designer dedicated Domain-Specific Modeling Language (DSML) to a formal verification dedicated semantic domain in order to reuse the available powerful verification technologies. Formal verification is thus usually achieved using model transformations. However, the verification results are available in the formal domain which significantly impairs their use by the system designer which is usually not an expert of the formal technologies. In this paper, we introduce a novel approach based on Higher-Order transformations that analyze and instrument the transformation that expresses the semantics in order to produce traceability data to automatize the back propagation of verification results to the DSML end-user.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to Springer editor. This papers appears in Volume 8216 Lecture Notes in Computer Science ISSN : 0302-9743. ISBN: 978-3-642-41365-0 The original PDF is available at : http://link.springer.com/chapter/10.1007%2F978-3-642-41366-7_23
HAL Id:hal-01231772
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
Deposited On:28 Oct 2015 15:11

Repository Staff Only: item control page