User:Nicolas/Collections/ADVANCE D3.4 Model Composition and Decomposition - Revision history

imported>Andy: /* Conclusion */

2014-11-25T07:37:04Z

Conclusion

← Older revision		Revision as of 07:37, 25 November 2014
Line 21:		Line 21:

	== Conclusion ==		== Conclusion ==
	Composition/decomposition have been applied in the interlocking case study of WP1 and the smart grid case study of WP2.		Composition/decomposition have been applied in the interlocking case study of WP1 and the smart grid case study of WP2. WP2 required the addition of a feature to flat refinement chains in order to compose them. Composition/decomposition has been ported to Rodin 3.

	== References ==		== References ==
	<references/>		<references/>

imported>Andy: /* Available Documentation */

2014-11-07T12:33:32Z

Available Documentation

← Older revision		Revision as of 12:33, 7 November 2014
Line 16:		Line 16:

	== Available Documentation ==		== Available Documentation ==
	~~{{TODO}}~~		Details about decomposition can be found [http://wiki.event-b.org/index.php/Decomposition_Plug-in_User_Guide here]

			Details about composition can be found [http://wiki.event-b.org/index.php/Parallel_Composition_using_Event-B here]

	== Conclusion ==		== Conclusion ==

imported>Andy: /* Motivations / Decisions */

2014-11-07T12:29:33Z

Motivations / Decisions

← Older revision		Revision as of 12:29, 7 November 2014
Line 11:		Line 11:
	Recent updates to the composition and decomposition features are:		Recent updates to the composition and decomposition features are:

	1) Support for flattening: this is needed in order to compose refinement chains rather than just machines at a single abstraction level. It was requested by Critical in order to apply composition to the ~~smar~~ grid case study.		1) Support for flattening: this is needed in order to compose refinement chains, rather than just machines at a single abstraction level. It was requested by the Critical Software partner, in order to apply composition to the smart grid case study.

	2) Porting to Rodin 3		2) Porting to Rodin 3 as part of the tool maintenance activity.

	== Available Documentation ==		== Available Documentation ==

imported>Andy: /* Motivations / Decisions */

2014-11-07T12:28:19Z

Motivations / Decisions

← Older revision		Revision as of 12:28, 7 November 2014
Line 11:		Line 11:
	Recent updates to the composition and decomposition features are:		Recent updates to the composition and decomposition features are:

	~~. support~~ for flattening: this is needed in order to compose refinement chains rather than just machines at a single abstraction level. It was requested by Critical in order to apply composition to the smar grid case study.		1) Support for flattening: this is needed in order to compose refinement chains rather than just machines at a single abstraction level. It was requested by Critical in order to apply composition to the smar grid case study.
	~~. porting~~ to Rodin 3
			2) Porting to Rodin 3

	== Available Documentation ==		== Available Documentation ==

imported>Andy: /* Motivations / Decisions */

2014-11-07T12:27:44Z

Motivations / Decisions

← Older revision		Revision as of 12:27, 7 November 2014
Line 9:		Line 9:

	== Motivations / Decisions ==		== Motivations / Decisions ==
	~~{{TODO}}~~		Recent updates to the composition and decomposition features are:

			. support for flattening: this is needed in order to compose refinement chains rather than just machines at a single abstraction level. It was requested by Critical in order to apply composition to the smar grid case study.
			. porting to Rodin 3

	== Available Documentation ==		== Available Documentation ==

imported>Andy: /* Overview */

2014-11-07T12:26:39Z

Overview

← Older revision		Revision as of 12:26, 7 November 2014
Line 1:		Line 1:
	== Overview ==		== Overview ==
	~~{{TODO}}~~		Composition is the process by which it is possible to combine different sub-systems into a larger system. Known and studied in several areas, this has the advantage of re-usability and combination of systems especially when it comes to distributed systems.
			One of the most important feature of the Event-B approach is the possibility to introduce new
			events during refinement steps, but a consequence is an increasing complexity of the refinement process when having to deal with many events and many state variables.
			Model decomposition is a powerful technique to scale the design of large and complex systems.
			It enables first developers to separate components development from the concerns of their
			integration and orchestration. Moreover, it tackles the complexity problem mentioned above,
			since decomposition allows the partitioning the complexity of the original model into separated components. This allows a decomposed part of the model to be treated as an independent artifact so that the modeller can concentrate on this part and does not have to worry about the other parts. Composition and decomposition can be seen as inverse operations: while composition starts with different components that can be assembled together, decomposition starts with a single components that can be partitioned into different components.

	== Motivations / Decisions ==		== Motivations / Decisions ==

imported>Andy: /* Conclusion */

2014-11-07T12:23:03Z

Conclusion

← Older revision		Revision as of 12:23, 7 November 2014
Line 9:		Line 9:

	== Conclusion ==		== Conclusion ==
	~~{{TODO}}~~		Composition/decomposition have been applied in the interlocking case study of WP1 and the smart grid case study of WP2.

	== References ==		== References ==
	<references/>		<references/>

imported>Nicolas: Created page with "== Overview == {{TODO}} == Motivations / Decisions == {{TODO}} == Available Documentation == {{TODO}} == Conclusion == {{TODO}} == References == "

2014-10-06T14:27:37Z

Created page with "== Overview == {{TODO}} == Motivations / Decisions == {{TODO}} == Available Documentation == {{TODO}} == Conclusion == {{TODO}} == References == <references/>"

New page

== Overview ==
{{TODO}}

== Motivations / Decisions ==
{{TODO}}

== Available Documentation ==
{{TODO}}

== Conclusion ==
{{TODO}}

== References ==
<references/>