Difference between revisions of "D45 Scalability"

From Event-B
Jump to navigationJump to search
imported>Tommy
m (New page: = Overview = Concerning Rodin's General Platform Maintenance the following contributions have been made: * {{TODO}} An overview of the contribution about the improved performance (Laurent ...)
 
imported>Tommy
Line 8: Line 8:
  
 
== Improved Performance ==
 
== Improved Performance ==
{{TODO}} ''To be completed by Laurent Voisin, Nicolas Beauger, Thomas Muller''
+
It appeared that the various DEPLOY partners encountered several major issues while editing large models. Some were related to the core code of the Rodin platform, causing crashes, loss of data, corruption in models. Some other were related to the UI causing platform hanging, and sometimes leading to its freezing which required sometimes to kill the Rodin process, thus also leading to potential loss of data and corruption in models. Hence, it appeared necessary to solve such issues before the end of DEPLOY.
 +
 
 
== Design Pattern Management / Generic Instantiation  ==
 
== Design Pattern Management / Generic Instantiation  ==
 
{{TODO}} ''To be completed by Thai Son Hoang''
 
{{TODO}} ''To be completed by Thai Son Hoang''

Revision as of 14:19, 17 November 2011

Overview

Concerning Rodin's General Platform Maintenance the following contributions have been made:

  • TODO An overview of the contribution about the improved performance (Laurent Voisin, Nicolas Beauger, Thomas Muller)
  • TODO An overview of the contribution about th design pattern management / Generic Instantiation (Thai Son Hoang)
  • TODO An overview of the contribution about the edition (Thomas Muller, Ingo Weigelt)

Motivations

Improved Performance

It appeared that the various DEPLOY partners encountered several major issues while editing large models. Some were related to the core code of the Rodin platform, causing crashes, loss of data, corruption in models. Some other were related to the UI causing platform hanging, and sometimes leading to its freezing which required sometimes to kill the Rodin process, thus also leading to potential loss of data and corruption in models. Hence, it appeared necessary to solve such issues before the end of DEPLOY.

Design Pattern Management / Generic Instantiation

TODO To be completed by Thai Son Hoang

Edition

TODO To be completed by Thomas Muller, Ingo Weigelt

Choices / Decisions

Improved Performance

TODO To be completed by Laurent Voisin, Nicolas Beauger, Thomas Muller

Design Pattern Management / Generic Instantiation

TODO To be completed by Thai Son Hoang

Edition

TODO To be completed by Thomas Muller, Ingo Weigelt

Available Documentation

  • TODO Links for Improved Performance
  • TODO Links for Design Pattern Management / Generic Instantiation
  • TODO Links for Edition

Status

Improved Performance

TODO To be completed by Laurent Voisin, Nicolas Beauger, Thomas Muller

Design Pattern Management / Generic Instantiation

TODO To be completed by Thai Son Hoang

Edition

TODO To be completed by Thomas Muller, Ingo Weigelt