Search results

Create the page "Parallel composition plugin" on this wiki! See also the search results found.

• Parallel Composition using Event-B
  ==Shared Event Composition Plug-in == ...the sub-systems can be refined independently on a further stage, preserving composition properties.
  7 KB (1,161 words) - 11:02, 4 July 2013
• Shared Event Composition Release History
  ** Problem in loading the composition editor, due to the changes in the the Rodin2.8 ui core (fixed) **Added proof obligations: WD and INV for (composition) invariants and INV, SIM and GRD for refinement; the other POs are expected
  4 KB (550 words) - 10:39, 25 November 2014
• Rodin Plug-ins
  * [[Parallel Composition using Event-B]] allows the composition of machines through events for Event-B. * [[B2C plugin|B2C]] translates Event-B models to C source code, which may then be compile
  5 KB (757 words) - 16:19, 13 February 2020
• Current Developments
  ...tensions working, but they need to be fully tested and integrated into the plugin: ==== Parallel Composition Plug-in ====
  12 KB (1,869 words) - 16:35, 18 March 2014
• Group refinement
  ...at Event-B tries to address: proof scalability. Accumulation of sequential composition through refinement steps may result in unmanageable proof obligations. It i ...not limited to sequential composition and there is also a form of parallel composition. An essential property of the method is that the group refinement relation
  5 KB (777 words) - 23:20, 6 December 2010
• EMF framework for Event-B
  ...of the elements using a new UUID. In this case a warning is logged in the Plugin error log. ...ramework will be used to implement the text editor for the Event-B pattern plugin. The syntax of facets - Event-B model templates used to describe patterns -
  26 KB (3,961 words) - 13:04, 19 May 2020
• Event Model Decomposition
  ...events of a model are partitioned to form the events of the sub-models. In parallel, the variables on which these events act are distributed among the sub-mode ...e used instead (''eg.'' those provided for the static checker. See the <tt>plugin.xml</tt> file of the <tt>org.eventb.core</tt> package).
  43 KB (6,950 words) - 09:48, 27 October 2011