Search results

From Event-B
Jump to navigationJump to search

Create the page "Composition" on this wiki! See also the search results found.

Page title matches

  • Feature Composition Plug-in
    '''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
  • Feature Composition Release History
    [[Category:Composition]]
    138 bytes (15 words) - 18:04, 26 February 2010
  • 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
  • Modularisation Plug-in Composition Semantics
    ==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
  • 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
  • ADVANCE D3.2 Model Composition and Decomposition
    '''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, decomposit
    6 KB (891 words) - 17:21, 11 December 2012
  • ADVANCE D3.3 Model Composition and Decomposition
    '''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, decomposit
    5 KB (739 words) - 10:48, 23 September 2013

Page text matches

  • Feature Composition Plug-in
    '''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
  • Modularisation Plug-in Composition Semantics
    ==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
  • ADVANCE D3.3 Model Composition and Decomposition
    '''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, decomposit
    5 KB (739 words) - 10:48, 23 September 2013
  • Feature Composition Release History
    [[Category:Composition]]
    138 bytes (15 words) - 18:04, 26 February 2010
  • Rodin File Types
    ...{{class|IComposedMachineRoot}} || Composition Definition || Shared-Event Composition ...achineRoot}} || Statically checked Composition Definition || Shared-Event Composition
    3 KB (449 words) - 14:55, 12 March 2019
  • 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
  • ADVANCE D3.2 Model Composition and Decomposition
    '''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, decomposit
    6 KB (891 words) - 17:21, 11 December 2012
  • 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
  • Experiment 1: Event-B basic subset to IL0 in *TL
    ** algorithmic: sequential composition, explicit loop, if-then-else: Ncl [20 Dec]
    481 bytes (66 words) - 11:30, 4 December 2009
  • ADVANCE D3.3 Introduction
    ...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
  • Tool Development Roadmap
    |rowspan="5"|'''Composition and decomposition'''<br/>[Southampton / Düsseldorf / Systerel] |Support for composition and decomposition
    4 KB (584 words) - 09:50, 12 September 2013
  • Outstanding Tooling Issues
    * Flattening of Composition Machines, and Machines at the Implementation level, composed machine refine
    759 bytes (122 words) - 08:56, 29 November 2011
  • Decomposition Release History
    * 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
  • Rodin Plug-ins
    * [[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
  • Details for Maintaining Main Rodin Update Site
    <nowiki><!--****** COMPOSITION AND DECOMPOSITION CATEGORY ****** --></nowiki> <nowiki><!-- Shared Event Composition v1.4.0 --></nowiki>
    39 KB (4,626 words) - 08:33, 6 April 2012
  • Current Developments
    ==== 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
  • 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
  • D23 Flow Plug-in
    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
  • Old Flow Plug in page
    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
  • State-Machines and Code Generation
    ...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''. These
    4 KB (659 words) - 09:47, 17 May 2012
  • ADVANCE Deliverable D3.3
    and report on the progress of composition / decomposition enhancements against plan. [month 24] :[[ADVANCE D3.3 Model Composition and Decomposition|Model Composition and Decomposition]] (Asieh Salehi)
    6 KB (830 words) - 13:21, 7 October 2013
  • ADVANCE D3.3 Revised Roadmap
    In the first phase, they are in need of support for composition. In the second phase, they will need support for multi-simulation, test-cas Help and improvements on composition and decomposition will then be provided to WP1 and WP2 according to their f
    4 KB (677 words) - 16:41, 2 December 2013
  • Decomposition Plug-in User Guide
    ## Select the ''Model Decomposition'' feature under the ''Composition and Decomposition'' category, then click the check box === Shared Event Composition ===
    17 KB (2,521 words) - 15:25, 4 July 2013
  • ADVANCE D3.2 Introduction
    ...rovement of automated proof, language extension, model checking, and model composition and decomposition.
    2 KB (371 words) - 16:27, 13 July 2012
  • Rodin Platform 2.0 External Plug-ins
    | ||[[Parallel_Composition_using_Event-B | Shared Event Composition plug-in]] || 1.2 || <span style="color:#006400">available</span>|| || || ||
    4 KB (475 words) - 18:40, 22 February 2011
  • Feature Modelling Tool
    ...ritten in a programming language) is the unit of reuse, specialization and composition. It provides ways to manage variabilites and commonalities within a product
    2 KB (320 words) - 07:06, 1 August 2011
  • Modularisation Plug-in
    ...er approach. The procedure call concept is used to accomplish single point composition/decomposition. ===Module Composition===
    18 KB (2,784 words) - 10:57, 6 September 2010
  • EMF framework for Event-B
    ====[[Parallel Composition using Event-B|Shared Event Composition Tool]]==== See [[Parallel Composition using Event-B]].
    26 KB (3,961 words) - 13:04, 19 May 2020
  • Rodin Platform 2.1 External Plug-ins
    | ||[[Parallel_Composition_using_Event-B | Shared Event Composition]] || 1.3.1 || <span style="color:#006400"> available</span>|| || 9th Mar. 2
    6 KB (746 words) - 16:17, 24 January 2012
  • Rodin Proof Tactics
    * '''Additional details''': This tactic applies a composition of tactics [[#Conjunctive Goal]], [[#Implication Goal]] and [[#For-all Goal == Composition Image ==
    57 KB (6,150 words) - 17:25, 21 February 2012
  • Relevance Filter Plug-in
    You can install the feature composition plug-in from the Rodin Update Site.
    4 KB (569 words) - 07:04, 1 August 2011
  • Rodin Keyboard User Guide
    ...lign="center" | \bcomp || align="center" | <math>\bcomp</math> || Backward composition || U+2218 ...align="center" | \fcomp || align="center" | <math>\fcomp</math> || Forward composition || U+003B
    14 KB (1,930 words) - 12:58, 21 July 2010
  • Generic Instantiation Plug-in User Guide
    ## Select the ''Generic Instantiation (Soton)'' feature under the ''Composition and Decomposition'' category, then click the check box
    5 KB (720 words) - 15:20, 4 July 2013
  • Rodin Platform 2.2 External Plug-ins
    | ||[[Parallel_Composition_using_Event-B | Shared Event Composition]] || 1.4.0 || <span style="color:#006400"> available </span>|| || 29th June
    7 KB (942 words) - 14:03, 3 October 2011
  • Rodin Workshop 2009
    ...iki.event-b.org/images/Composition,_Renaming_and_Generic_Instantiation.pdf Composition, Renaming and Generic Instantiation in Event-B Development]
    5 KB (766 words) - 09:59, 21 September 2011
  • Rodin Platform 3.4.0 External Plug-ins
    ...p_mch_obj.gif|20px]] ||[[Parallel_Composition_using_Event-B | Shared Event Composition]] || 1.7.1 || <span style="color:#8B4513"> not checked </span> || || 5th Ju
    6 KB (855 words) - 16:00, 12 December 2019
  • Rodin Platform 2.3 External Plug-ins
    | ||[[Parallel_Composition_using_Event-B | Shared Event Composition]] || 1.4.0 || <span style="color:green">available</span>|| || 29th June 201
    8 KB (1,053 words) - 09:10, 4 January 2012
  • Rodin Platform 2.6.0 External Plug-ins
    | ||[[Parallel_Composition_using_Event-B | Shared Event Composition]] || 1.6.0 || <span style="color:green"> available </span>|| 2.6.x || 16th
    8 KB (1,105 words) - 07:29, 17 August 2012
  • Rodin Platform 2.4 External Plug-ins
    | ||[[Parallel_Composition_using_Event-B | Shared Event Composition]] || 1.4.0 || <span style="color:green">available</span>|| || 26th June 201
    8 KB (1,106 words) - 08:35, 17 May 2012
  • Rodin Platform 1.1 Release Notes
    * [[Feature_Composition_Release_History|Feature Composition Plug-in 0.0.3]] * [[Shared Event Composition_Release_History|Shared Event Composition Plug-in 1.1.4]]
    9 KB (1,298 words) - 10:06, 28 July 2010
  • Rodin Platform 1.3 Release Notes
    * [[Parallel_Composition_using_Event-B | Shared Event Composition plug-in (version 1.1.6)]] * [[Feature_Composition_Release_History|Feature Composition Plug-in ?]]
    12 KB (1,642 words) - 13:21, 28 July 2010
  • Rodin Platform 2.5.0 External Plug-ins
    | ||[[Parallel_Composition_using_Event-B | Shared Event Composition]] || 1.5.1 || <span style="color:green">available</span>|| 2.5.x || 25th Ju
    8 KB (1,138 words) - 14:32, 23 November 2012
  • D23 Modularisation Plug-in
    ...er approach. The procedure call concept is used to accomplish single point composition/decomposition. There are a number of reasons to try to split a development
    6 KB (921 words) - 11:43, 8 January 2010
  • Rodin Platform 3.0.0 External Plug-ins
    | ||[[Parallel_Composition_using_Event-B | Shared Event Composition]] || 1.7.0 || <span style="color:green"> available</span> || || 25th Nov. 2
    13 KB (1,415 words) - 07:56, 28 May 2015
  • Rodin Platform 2.7.0 External Plug-ins
    | ||[[Parallel_Composition_using_Event-B | Shared Event Composition]] || 1.6.0 || <span style="color:#8B4513"> available</span>|| || 16th Augus
    12 KB (1,324 words) - 13:37, 3 June 2013
  • Rodin Platform 2.8.0 External Plug-ins
    | ||[[Parallel_Composition_using_Event-B | Shared Event Composition]] || 1.6.1 || <span style="color:green"> available</span>|| || 04th July 20
    13 KB (1,455 words) - 13:43, 28 November 2014
  • Past Developments
    ...mpare/merge editor (which can be used for team based development), pattern/composition tools, Diagram Editors.
    6 KB (915 words) - 16:57, 27 February 2014
  • Rodin Platform 3.1.0 External Plug-ins
    | ||[[Parallel_Composition_using_Event-B | Shared Event Composition]] || 1.7.0 || <span style="color:#8B4513"> not checked</span> || || 25th No
    13 KB (1,452 words) - 09:38, 18 June 2015
  • Rodin Workshop 2014
    | || 09h40 || Composition Operators for Event-B. CO4EB Rodin plugin [http://wiki.event-b.org/images/A
    8 KB (1,073 words) - 06:13, 24 June 2014
  • D32 Scalability
    ...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
    19 KB (2,944 words) - 15:28, 27 January 2011
  • Rodin Platform 3.5.0 External Plug-ins
    ...p_mch_obj.gif|20px]] ||[[Parallel_Composition_using_Event-B | Shared Event Composition]] || 1.7.1 || <span style="color:#8B4513"> not checked </span> || || 5th Ju
    9 KB (1,244 words) - 13:52, 1 April 2022
  • Rodin Platform 3.2.0 External Plug-ins
    ...p_mch_obj.gif|20px]] ||[[Parallel_Composition_using_Event-B | Shared Event Composition]] || 1.7.1 || <span style="color:green"> available </span> || || 5th July 2
    13 KB (1,514 words) - 14:38, 6 July 2017
  • Rodin Platform 3.3.0 External Plug-ins
    ...p_mch_obj.gif|20px]] ||[[Parallel_Composition_using_Event-B | Shared Event Composition]] || 1.7.1 || <span style="color:green"> available </span> || || 5th July 2
    13 KB (1,514 words) - 07:16, 2 September 2017
  • Membership in Goal
    :<math>Composition\quad\frac{x\in A,~A\subseteq B}{x\in B}\left[~\right]</math>
    19 KB (3,362 words) - 13:50, 5 June 2014
  • D23 Code Generation
    ...raction between a task and a machine can be represented synchronized event composition as currently supported by the synchronised-event plug-in. The generated im
    11 KB (1,725 words) - 18:07, 7 December 2009
  • D45 Scalability
    ...ion 0.2.1 for Rodin 2.4 and above from the main Rodin Update Site in the ''Composition and Decomposition'' category.
    13 KB (1,991 words) - 20:57, 20 April 2012
  • Event Model Decomposition
    ...ppleton,[http://eprints.ecs.soton.ac.uk/16487/1/poppletonABZ2008.pdf ''The composition of Event-B models''], in ABZ2008: Int. Conference on ASM, B and Z, 2008. [[Category:Composition]]
    43 KB (6,950 words) - 09:48, 27 October 2011
  • Code Generation Activity
    *Shared Event Composition: Download from the main Rodin Update Site, in the Decomposition section.
    17 KB (2,568 words) - 09:03, 19 October 2015
  • ADVANCE D3.2 General Platform Maintenance
    ...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
    20 KB (3,030 words) - 13:18, 18 July 2012
Retrieved from ‘https://wiki.event-b.org/index.php/Special:Search’