The Rodin Formal Modelling Tool

Abstract

We present a software tool, the Rodin tool, for formal modelling in Event-B. Event-B is a notation and method developed from the B-Method and is intended to be used with an incremental style of modelling. The idea of incremental modelling has been taken from programming: modern programming languages come with integrated development environments that make it easy to modify and improve programs. The Rodin tool provides such an environment for Event-B.

The two main characteristics of the Rodin tool are its ease of use and its extensibility. The tool focuses on modelling. It is easy to modify models and try out variations of a model. The tool can also be extended easily. This will make it possible to adapt the tool specific needs. So the tool can be adapted to fit into existing development processes instead demanding the opposite. We believe that these two characteristics are major points for industrial uptake.

Affiliations

University of Southampton

United Kingdom

Contributors

Michael Butler

Stefan Hallerstede

Conference

Publication date: December 2007

Publication date (Print): December 2007

Pages: 1-5

ID: 10.14236/ewic/FMI2007.2

Copyright statement: © Michael Butler et al. Published by BCS Learning and Development Ltd. FACS 2007 Christmas Workshop: Formal Methods in Industry, BCS London, UK

License:

This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

Conference name: FACS 2007 Christmas Workshop: Formal Methods in Industry

Conference acronym: FMI

Conference number:

Conference location: BCS London, UK

Conference date: 17 December 2007

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: Formal Methods in Industry

Product

Product Information: 1477-9358 BCS Learning & Development

Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/FMI2007.2

Self URI (journal page): https://ewic.bcs.org/

Categories

Series title: Electronic Workshops in Computing