Supporting user-oriented analysis for multi-view domain-specific visual languages

Abstract

Esta es la versión de autor del artículo publicado en: This is an author produced version of a paper published in: 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 consists on transforming 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 the verification life cycle: acquisition of additional input data, transformation of the system models into semantic domains, verification, and flexible annotation of analysis results.The approach has been empirically validated by its implementation in the AToM 3 meta-modelling tool, and tested with several DSVLs. In this paper we present a case study for the analysis of a notation in the area of Digital Libraries, where the analysis is performed by transformations into Petri nets and a process algebra.

Intracohort cannibalism and methods for its mitigation in cultured freshwater fish

“…A similar effect of sorting has been reported for turbot (Scophthalmus maximus) (Sunde et al 1998), African catfish (Biu et al 2015), and yellow perch (Wallat et al 2005). However, for the European perch, sorting has a negative impact on cannibalism prevalence and weight gains (Mélard et al 1996). Arctic charr reared in size-sorted groups also suffer from a growth disadvantage when compared with groups containing fish of a wider range of sizes (Baardvik and Jobling 1990).…”

“…Because of size-dependence of type II cannibalism, substantial research has been done on morphometric assessments of the prevalence of cannibalism depending on the ratio of the mouth-dimensions of cannibals and the body dimensions of victims (Folkvord and Otterå 1993;Mélard et al 1996;Hseu et al 2003b;Fessehaye et al 2005;Mandiki et al 2007;Ribeiro and Qin 2013). Due to species-dependent morphological differences, the variability of dimensions during ontogeny and behaviour typical of a given species, diverse mathematical models are applied.…”

A Generic Tool for Tracing Executions Back to a DSML’s Operational Semantics

“…Most of the proposed methods are either dedicated to only one pair metamodel/verification tool ( [7], [10]) or they compute an "explanation" of the execution in a more abstract way. In [8], the authors propose a general method based on a traceability mechanism of model transformations.…”

Back-annotation of Simulation Traces with Change-Driven Model Transformations

“…Back-annotation: Many approaches exist [2], [30]- [34] that define model transformations from a source language to target language for V&V purposes with back-annotation support dedicated to the transformation problem.…”

“…The most advanced back-annotation techniques is reported in [34], where triple graph patterns to overcome the 1-to-1 restriction on back-annotation. However, this backannotation approach still mostly provides a structural (and not trace) mapping, thus hierarchical trace models with micro and macro steps are not supported.…”