Difference between pages "User:Nicolas/Collections/ADVANCE D3.4 Model Composition and Decomposition" and "Template:Dev News"

From Event-B
< User:Nicolas(Difference between pages)
Jump to navigationJump to search
imported>Andy
 
imported>Mathieu
m
 
Line 1: Line 1:
−
== Overview ==
+
<noinclude>
−
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.
+
== Displayed as follow on the Main Page ==
−
One of the most important feature of the Event-B approach is the possibility to introduce new
+
<div style="margin:0;width:50%;border:1px solid #AAAAAA;background:#FFFFFF">
−
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.
+
</noinclude><!--- News to add here below : ==== --->
−
Model decomposition is a powerful technique to scale the design of large and complex systems.
+
* 24/02/09: Shared Event Composition plug-in updated to Rodin version 0.9.2.1
−
It enables first developers to separate components development from the concerns of their
+
* 18/02/09: [http://sourceforge.net/project/showfiles.php?group_id=108850&package_id=181714&release_id=662133 Rodin platform 0.9.2.1] released ([http://sourceforge.net/project/shownotes.php?release_id=662133&group_id=108850 changelog])
−
integration and orchestration. Moreover, it tackles the complexity problem mentioned above,
+
* 09/02/09: [http://sourceforge.net/tracker2/?func=detail&aid=2564269&group_id=108850&atid=651669 Fix Bug] Collapse all doesn't work
−
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.
+
* 30/01/09: [http://sourceforge.net/tracker2/index.php?func=detail&aid=2543191&group_id=108850&atid=651672 Context renaming]
−
 
+
* 23/01/09: [http://sourceforge.net/tracker2/index.php?func=detail&aid=2528658&group_id=108850&atid=651672 editor : different color for comments]
−
== Motivations / Decisions ==
+
* 22/01/09: [http://sourceforge.net/tracker2/?func=detail&aid=2510121&group_id=108850&atid=651669 Fix Bug] CTRL+S doesn't always work
−
{{TODO}}
+
* 09/01/09: [http://sourceforge.net/tracker2/?func=detail&aid=2510121&group_id=108850&atid=651669 Fix Bug] Event-B editor jump at the top  when gaining focus
−
 
+
* 09/01/09: [http://sourceforge.net/tracker2/?func=detail&aid=2417413&group_id=108850&atid=651669 Fix Bug] Scroll-wheel modifies combo values
−
== Available Documentation ==
+
<noinclude>
−
{{TODO}}
+
</div>
−
 
+
[[Category:Main page templates]]
−
== Conclusion ==
+
</noinclude>
−
Composition/decomposition have been applied in the interlocking case study of WP1 and the smart grid case study of WP2.
 
−
 
 
−
== References ==
 
−
<references/>
 

Revision as of 17:08, 24 February 2009

Displayed as follow on the Main Page

Retrieved from ‘https://wiki.event-b.org/index.php?title=User:Nicolas/Collections/ADVANCE_D3.4_Model_Composition_and_Decomposition&oldid=12751’