License:
Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.3.9.74
URN: urn:nbn:de:0030-drops-43584
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2014/4358/
Glässer, Uwe ;
Hallerstede, Stefan ;
Leuschel, Michael ;
Riccobene, Elvinia
Weitere Beteiligte (Hrsg. etc.): Uwe Glässer and Stefan Hallerstede and Michael Leuschel and Elvinia Riccobene
Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 13372 "Integration of Tools for Rigorous Software Construction and Analysis".
The 32 participants came from 10 countries: Australia, Austria, Brazil, Canada, Denmark, France, Germany, Great Britain, Italy, Norway. The aim of the seminar was to bring together researchers and tool developers from different state- and machine-based formal methods communities in order to share expertise and promote the joint use of modelling tool technologies. Indeed, each of these communities -- from Abstract State Machines, to B, TLA, VDM, Z -- has valuable tools and technologies which would be beneficial also for the other formal approaches. Understanding and clarifying their commonalities and differences is a key factor to achieve a possible integration or integrated use of these related approaches for accomplishing, in a rigorous way, the various modelling and analysis tasks to construct reliable high quality software systems.
The working group formula offered by the Dagstuhl seminar was a fruitful way to share knowledge of the various techniques and tools -- such as simulators, animators, model checkers, theorem proves -- developed for the individual methods, and to constructively experiment the combined use of different approaches by means of a series of well known case studies. Participants did not arrive with well-prepared solutions, but all the modelling and integration work was directly done in Dagstuhl in a very exciting and competitive atmosphere.
Some related presentation were also given on recent advances on methodologies and tools.
The seminar posed the bases for a series of future research collaborations between different, and up to know closed, formal method communities. An LNCS volume will be prepared by the contributions of the all participants to give the common vision of future methodology and tool integration.
BibTeX - Entry
@Article{glsser_et_al:DR:2014:4358,
author = {Uwe Gl{\"a}sser and Stefan Hallerstede and Michael Leuschel and Elvinia Riccobene},
title = {{Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372)}},
pages = {74--105},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2014},
volume = {3},
number = {9},
editor = {Uwe Gl{\"a}sser and Stefan Hallerstede and Michael Leuschel and Elvinia Riccobene},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2014/4358},
URN = {urn:nbn:de:0030-drops-43584},
doi = {10.4230/DagRep.3.9.74},
annote = {Keywords: Applied Formal Methods; Modelling Formalisms; Modelling Tools; Abstract State Machines; B Method; Event-B; TLA+; VDM; Z; Verification; Validation; }
}
Keywords: |
|
Applied Formal Methods; Modelling Formalisms; Modelling Tools; Abstract State Machines; B Method; Event-B; TLA+; VDM; Z; Verification; Validation; |
Freie Schlagwörter (englisch): |
|
Proof; Simulation; Animation; Visualisation; Model-Checking; Tool Integration |
Collection: |
|
Dagstuhl Reports, Volume 3, Issue 9 |
Issue Date: |
|
2014 |
Date of publication: |
|
06.01.2014 |