PDF:
From BPEL to SAL and Back: a Tool Demo on Back-Annotation with VIATRA2
Title | From BPEL to SAL and Back: a Tool Demo on Back-Annotation with VIATRA2 |
Publication Type | Report |
Year of Publication | 2010 |
Authors | Hegedüs, Á., Ráth, I., and Varró, D. |
Pagination | 35-42 |
Date Published | 09/2010 |
Institution | Consiglio Nazionale delle Ricerche (CNR) |
ISBN Number | 978-88-7958-006-9 |
Keywords | Viatra |
Abstract | Model-driven analysis aims at detecting design flaws early in high-level design models by automatically de-riving mathematical models. These analysis models are sub-sequently investigated by formal verification and validation (V&V) tools, which may retrieve traces violating a certain requirement. Back-annotation aims at mapping back the results of V&V tools to the design model in order to highlight the real source of the fault, to ease making necessary amendments. In this tool demonstration we present an end-to-end V&V tool for BPEL business processes that includes complex back-annotation support for representing V&V results as process execution traces in the design environment. |
Notes | Accepted for the SEFM'2010 "Posters and Tool Demo Session" Track |
URL | http://puma.isti.cnr.it/linkdoc.php?idauth=1&idcol=1&icode=2010-ED-003&authority=cnr.isti&collection=cnr.isti&lanver=en |