Migrating to an Extensible Architecture for Abstract Syntax Trees

Couto, Luís Diogo; Tran-Jørgensen, Peter W. V.; Coleman, Joey W.; Lausdahl, Kenneth

doi:10.1109/wicsa.2015.10

Cited by 3 publications

(2 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Overture has grown to support not only model-based design in VDM, but also collaborative and multidisciplinary design by linking other external tools, and has been increasingly engineered for extensibility [76,110,111,112,113]. In Symphony we showed the possibility of using Overture as a platform for a range of externally developed and internal tools.…”

Section: From Tools To Toolchains: Into-cpsmentioning

confidence: 99%

The evolution of VDM tools from the 1990s to 2015 and the influence of CAMILA

Larsen

Fitzgerald

2016

Journal of Logical and Algebraic Methods in Programming

View full text Add to dashboard Cite

The Vienna Development Method (VDM) is one of the most mature formal methods, with a history of cost-effective industrial deployment. One important route for this has been the development of robust tools supporting the construction of models, and their animation. We trace the history of this strand of work from the mid-1990s to 2015, taking as our starting point challenges for the industrial usage of formal methods set out by José Nuno Oliveira in 1997. We describe five generations of VDM tools: the IFAD VDM Toolbox, VDMTools, Overture, Crescendo and Symphony, emphasising the influence that the goal of industry usage has had on their features and architectures. We chart the move from a single-formalism tool focussed on executable VDM specifications to a platform for multi-tool analysis of a wider range of models, and look forward to the growth of integrated multidisciplinary toolchains from the ongoing INTO-CPS project. We briefly compare the VDM tool story with the approaches taken by other formalisms that have been applied in industry.

show abstract

Section: From Tools To Toolchains: Into-cpsmentioning

confidence: 99%

The evolution of VDM tools from the 1990s to 2015 and the influence of CAMILA

Larsen

Fitzgerald

2016

Journal of Logical and Algebraic Methods in Programming

View full text Add to dashboard Cite

show abstract

“…This reuse can be taken further by supporting language extensions that would allow other formal notations to reuse the same platform. Recently, Overture has been re-factored to enable such a reuse [8,12]. The main contribution reported in this paper is the Overture platform itself and its extensibility principles which are described in sections 2 and 3.…”

Section: Introductionmentioning

confidence: 99%

Towards Enabling Overture as a Platform for Formal Notation IDEs

Couto

Larsen

Hasanagić

et al. 2015

Electron. Proc. Theor. Comput. Sci.

Self Cite

View full text Add to dashboard Cite

Formal Methods tools will never have as many users as tools for popular programming languages and so the effort spent on constructing Integrated Development Environments (IDEs) will be orders of magnitudes lower than that of programming languages such as Java. This means newcomers to formal methods do not get the same user experience as with their favourite programming IDE. In order to improve this situation it is essential that efforts are combined so it is possible to reuse common features and thus not start from scratch every time. This paper presents the Overture platform where such a reuse philosophy is present. We give an overview of the platform itself as well as the extensibility principles that enable much of the reuse. The paper also contains several examples platform extensions, both in the form of new features and a new IDE supporting a new language.Comment: In Proceedings F-IDE 2015, arXiv:1508.0338

show abstract