Please use this identifier to cite or link to this item: http://bura.brunel.ac.uk/handle/2438/8682
Full metadata record
DC FieldValueLanguage
dc.contributor.authorGuerra, E-
dc.contributor.authorde Lara, J-
dc.contributor.authorMalizia, A-
dc.contributor.authorDíaz, P-
dc.date.accessioned2014-07-15T11:06:51Z-
dc.date.available2014-07-15T11:06:51Z-
dc.date.issued2009-
dc.identifier.citationInformation & Software Technology, 51(4), 769 - 784, 2009en_US
dc.identifier.issn0950-5849-
dc.identifier.urihttp://bura.brunel.ac.uk/handle/2438/8682-
dc.descriptionThis 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.en_US
dc.description.abstractThe 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.en_US
dc.description.sponsorshipSpanish Ministry of Education and Science and MODUWEB.en_US
dc.language.isoenen_US
dc.publisherElsevieren_US
dc.subjectDomain-specific visual languagesen_US
dc.subjectConsistencyen_US
dc.subjectBack-annotationen_US
dc.subjectFormal methodsen_US
dc.subjectModel transformationen_US
dc.subjectModelling environmentsen_US
dc.titleSupporting user-oriented analysis for multi-view domain-specific visual languagesen_US
dc.typeArticleen_US
dc.identifier.doihttp://dx.doi.org/10.1016/j.infsof.2008.09.005-
pubs.organisational-data/Brunel-
pubs.organisational-data/Brunel/Brunel Active Staff TxP-
pubs.organisational-data/Brunel/Brunel Active Staff TxP/College of Engineering, Design and Physical Sciences-
pubs.organisational-data/Brunel/Brunel Active Staff TxP/College of Engineering, Design and Physical Sciences/Dept of Computer Science-
pubs.organisational-data/Brunel/University Research Centres and Groups-
pubs.organisational-data/Brunel/University Research Centres and Groups/Brunel Business School - URCs and Groups-
pubs.organisational-data/Brunel/University Research Centres and Groups/Brunel Business School - URCs and Groups/Centre for Research into Entrepreneurship, International Business and Innovation in Emerging Markets-
pubs.organisational-data/Brunel/University Research Centres and Groups/School of Health Sciences and Social Care - URCs and Groups-
pubs.organisational-data/Brunel/University Research Centres and Groups/School of Health Sciences and Social Care - URCs and Groups/Brunel Institute for Ageing Studies-
pubs.organisational-data/Brunel/University Research Centres and Groups/School of Health Sciences and Social Care - URCs and Groups/Brunel Institute of Cancer Genetics and Pharmacogenomics-
pubs.organisational-data/Brunel/University Research Centres and Groups/School of Health Sciences and Social Care - URCs and Groups/Centre for Systems and Synthetic Biology-
pubs.organisational-data/Brunel/University Research Centres and Groups/School of Information Systems, Computing and Mathematics - URCs and Groups-
pubs.organisational-data/Brunel/University Research Centres and Groups/School of Information Systems, Computing and Mathematics - URCs and Groups/Multidisclipary Assessment of Technology Centre for Healthcare (MATCH)-
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.