Search results

Create the page "Witnesses (Modelling Language)" on this wiki! See also the search results found.

• EMF framework for Event-B
  ...for making extensions. Further support for extending the Event-B modelling language is available here: [[Generic Event-B EMF extensions]]. ...Rodin database, which must be preserved but is not of interest in the EMF modelling tools.
  26 KB (3,961 words) - 13:04, 19 May 2020
• Event-B Statemachines
  ...machines plug-in is available for installation from the Rodin update site (Modelling Extensions category). ...e diagrams, an integration to Event-B Explorer and a translator to Event-B language. Some of these may seem familiar to you if you have experience with UML edi
  13 KB (2,134 words) - 08:04, 6 October 2015
• Event Model Decomposition
  ...ontexts, machines, or both (see [[Event-B Modelling Language|the modelling language]]). The notion of model decomposition covers on the one hand the machine de ...e <math>REFINES</math> and <math>WITH</math> ([[Event-B Modelling Language|witnesses]]) clauses of the events shall be left out.
  43 KB (6,950 words) - 09:48, 27 October 2011