Search results
From Event-B
Jump to navigationJump to searchCreate the page "Composition" on this wiki! See also the search results found.
Page title matches
- '''Feature Composition Plug-in''' provides support for composing Event-B features. ...ls. The composition model is saved in the Rodin database for replaying the composition later.1 KB (192 words) - 10:15, 19 October 2010
- [[Category:Composition]]138 bytes (15 words) - 18:04, 26 February 2010
- ==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
- ==The meaning of module composition== ...a modular specification; it serves as a reference for implementation-stage composition strategies.652 bytes (94 words) - 20:58, 10 November 2009
- ** 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 expected4 KB (550 words) - 10:39, 25 November 2014
- '''Composition''' is the process by which it is possible to combine different sub-systems Composition and decomposition can be seen as inverse operations: while composition starts with different components that can be assembled together, decomposit6 KB (891 words) - 17:21, 11 December 2012
- '''Composition''' is the process by which it is possible to combine different sub-systems Composition and decomposition can be seen as inverse operations: while composition starts with different components that can be assembled together, decomposit5 KB (739 words) - 10:48, 23 September 2013
Page text matches
- '''Feature Composition Plug-in''' provides support for composing Event-B features. ...ls. The composition model is saved in the Rodin database for replaying the composition later.1 KB (192 words) - 10:15, 19 October 2010
- ==The meaning of module composition== ...a modular specification; it serves as a reference for implementation-stage composition strategies.652 bytes (94 words) - 20:58, 10 November 2009
- '''Composition''' is the process by which it is possible to combine different sub-systems Composition and decomposition can be seen as inverse operations: while composition starts with different components that can be assembled together, decomposit5 KB (739 words) - 10:48, 23 September 2013
- [[Category:Composition]]138 bytes (15 words) - 18:04, 26 February 2010
- ...{{class|IComposedMachineRoot}} || Composition Definition || Shared-Event Composition ...achineRoot}} || Statically checked Composition Definition || Shared-Event Composition3 KB (449 words) - 14:55, 12 March 2019
- ==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
- '''Composition''' is the process by which it is possible to combine different sub-systems Composition and decomposition can be seen as inverse operations: while composition starts with different components that can be assembled together, decomposit6 KB (891 words) - 17:21, 11 December 2012
- ** 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 expected4 KB (550 words) - 10:39, 25 November 2014
- ** algorithmic: sequential composition, explicit loop, if-then-else: Ncl [20 Dec]481 bytes (66 words) - 11:30, 4 December 2009
- ...d in the frame of the ADVANCE project: ProB, UML-B, ProR, Camille, Theory, Composition, SMT. Other plug-ins, available for the Rodin platform but not maintained w ...improvement of automated proof, model checking, language extension, model composition and decomposition.2 KB (325 words) - 17:32, 29 November 2013
- |rowspan="5"|'''Composition and decomposition'''<br/>[Southampton / Düsseldorf / Systerel] |Support for composition and decomposition4 KB (584 words) - 09:50, 12 September 2013
- * Flattening of Composition Machines, and Machines at the Implementation level, composed machine refine759 bytes (122 words) - 08:56, 29 November 2011
- * When decomposing using the shared event style, a shared event composition machine is created which allows the reassembly of the sub-components (to va [[Category:Composition]]3 KB (343 words) - 10:21, 25 November 2014
- * [[Parallel Composition using Event-B]] allows the composition of machines through events for Event-B. ...tures (machines|contexts) and helps the user in resolving conflicts before composition.5 KB (757 words) - 16:19, 13 February 2020
- <nowiki><!--****** COMPOSITION AND DECOMPOSITION CATEGORY ****** --></nowiki> <nowiki><!-- Shared Event Composition v1.4.0 --></nowiki>39 KB (4,626 words) - 08:33, 6 April 2012
- ==== Parallel Composition Plug-in ==== [[Southampton]] is in charge of the [[Parallel Composition using Event-B]] .12 KB (1,869 words) - 16:35, 18 March 2014
- ...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 relation5 KB (777 words) - 23:20, 6 December 2010
- Sequential composition of events may be expressed in a number of ways: ...sm in event selection, model checking is likely to be more efficient for a composition of a machine with event ordering information.4 KB (609 words) - 11:37, 8 January 2010
- Sequential composition of events may be expressed in a number of ways: ...means to provide a formal proof for the various cases of sequential event composition.11 KB (1,869 words) - 23:48, 21 January 2011
- ...ntain one or more state-machines. We have yet to explore the decomposition/composition of machines containing state-machines. In principal we should be able to ap The body can be viewed as a parallel composition of events, made up of all of the outgoing transitions of ''State A''. These4 KB (659 words) - 09:47, 17 May 2012