Blog
About

99
views
0
recommends
+1 Recommend
1 collections
    0
    shares
      • Record: found
      • Abstract: found
      • Article: found
      Is Open Access

      The Rodin Formal Modelling Tool

      ,

      FACS 2007 Christmas Workshop: Formal Methods in Industry (FMI)

      Formal Methods in Industry

      17 December 2007

      Event-B, formal modelling, modelling tool

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          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.

          Related collections

          Most cited references 7

          • Record: found
          • Abstract: not found
          • Article: not found

          A new approach to program testing

           James C King (1975)
            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol

              Bookmark
              • Record: found
              • Abstract: not found
              • Book Chapter: not found

              An Open Extensible Tool Environment for Event-B

                Bookmark

                Author and article information

                Contributors
                Conference
                December 2007
                December 2007
                : 1-5
                Affiliations
                University of Southampton

                United Kingdom
                Article
                10.14236/ewic/FMI2007.2
                © Michael Butler et al. Published by BCS Learning and Development Ltd. FACS 2007 Christmas Workshop: Formal Methods in Industry, BCS London, UK

                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/

                FACS 2007 Christmas Workshop: Formal Methods in Industry
                FMI
                BCS London, UK
                17 December 2007
                Electronic Workshops in Computing (eWiC)
                Formal Methods in Industry
                Product
                Product Information: 1477-9358 BCS Learning & Development
                Self URI (journal page): https://ewic.bcs.org/
                Categories
                Electronic Workshops in Computing

                Comments

                Comment on this article