.png){kind=icon}
返回
Supporting user-oriented analysis for multi-view domain-specific visual languages
.png){kind=icon}
OA
AI
DOI：10.1016/j.infsof.2008.09.005.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
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. (C) 2008 Elsevier B.V. All rights reserved.
Keyword:
Domain-specific visual languages
Consistency
Back-annotation
Formal methods
Model transformation
Modelling environments
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
4.3
论文数:
3.8K
被引数:
7.7K
机构
引用论文
An exploration of the organisational stressors encountered by international disability footballersOAAI
OAAI分享收藏Complete hematologic remissions in chronic-phase, philadelphia-chromosome-positive, chronic myelogenous leukemia after 2-chlorodeoxyadenosine2-氯脱氧腺苷治疗后慢性期费城染色体阳性慢性粒细胞白血病的完全血液学缓解.png)
CancerOAAI
CancerIF0
OAAI分享收藏Development and validation of an open-source CFD model for the efficiency assessment of data centers
OAAI
OAAI分享收藏 没有更多内容
没有更多内容