Please use this identifier to cite or link to this item: http://buratest.brunel.ac.uk/handle/2438/8682
Title: Supporting user-oriented analysis for multi-view domain-specific visual languages
Authors: Guerra, E
de Lara, J
Malizia, A
Díaz, P
Keywords: Domain-specific visual languages;Consistency;Back-annotation;Formal methods;Model transformation;Modelling environments
Issue Date: 2009
Publisher: Elsevier
Citation: Information & Software Technology, 51(4), 769 - 784, 2009
Abstract: The integration of usable and flexible analysis support in modelling environments is a key success factor in Model-Driven Development. In this paradigm, models are the core asset from which code is automatically generated, and thus ensuring model correctness is a fundamental quality control activity. For this purpose, a common approach is to transform the system models into formal semantic domains for verification. However, if the analysis results are not shown in a proper way to the end-user (e.g. in terms of the original language) they may become useless. In this paper we present a novel DSVL called BaVeL that facilitates the flexible annotation of verification results obtained in semantic domains to different formats, including the context of the original language. BaVeL is used in combination with a consistency framework, providing support for all steps in a verification process: acquisition of additional input data, transformation of the system models into semantic domains, verification, and flexible annotation of analysis results. The approach has been validated analytically by the cognitive dimensions framework, and empirically by its implementation and application to several DSVLs. Here we present a case study of a notation in the area of Digital Libraries, where the analysis is performed by transformations into Petri nets and a process algebra.
Description: This is the post-print version of the final paper published in Information and Software Technology. The published article is available from the link below. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. Copyright @ 2008 Elsevier B.V.
URI: http://bura.brunel.ac.uk/handle/2438/8682
DOI: http://dx.doi.org/10.1016/j.infsof.2008.09.005
ISSN: 0950-5849
Appears in Collections:Computer Science
Dept of Computer Science Research Papers

Files in This Item:
File Description SizeFormat 
Fulltext.pdf1.11 MBAdobe PDFView/Open


Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.