Difference between pages "Measurement Plug-In" and "Template:Main Page/Community"

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Nicolas
m
 
imported>Felix-loesch
 
Line 1: Line 1:
==Introduction==
+
<noinclude>
 +
== Displayed as follow on the Main Page ==
 +
<div style="margin:0;width:50%;border:1px solid #AAAAAA;background:#FFFFFF">
 +
</noinclude>
 +
[[Mailing lists]] - Rodin related mailing lists
  
The measurement plugin to the RODIN platform will provide information both about the model itself and about the process of building the model. It has a double purpose:
+
[[DEPLOY_Plenary_Workshop_2009|DEPLOY Plenary Meeting 2009] - Call for Papers
  
* provide feedback to the user about the quality of the Event-B model he is building and about potential problems in it or in the way he is building it.
+
[[Rodin Workshop 2009]] - Abstracts and slides from Rodin 2009 Workshop
* automate the data collection process for the measurement and assessment WP. This data collected will be analyzed to identify global transfer (increase in model quality, size, complexity,...), tool shortcomings (usability, prover), modelling issues (to be addressed by training, language, tool evolution,...), etc.
 
  
This work is planned for project year 2. This chapter introduces the main requirements of the tool. A more detailed analysis is available in deliverables of the measurement WP:
+
Do not hesitate to improve this wiki. You may find some help within the following pages:
  
* D7 for a state of the art about metrics for formal models
+
[[Help:Contents|Wiki Help]] - Some technical documentation about this wiki.
* D10 for technologies identified to implement the plug-in
 
  
==Requirements==
+
[[EB:VP|Village Pump]] - Ask your questions and keep track of the main wiki events.
  
The plug-in will fulfill the following functional requirements
+
[[Special:Recentchanges|Recent Changes]] - Monitor the wiki activity.
  
* evaluation of low-level model metrics, such as number of events, refinements, etc
+
[[Test area|Test Area]] - Wiki editing is simple. Try by yourself.
* evaluation of relevant quality metrics such as complexity, maintainability, etc
+
<noinclude>
* evaluation of tasks related metric such as time spend in modelling, proving or other activities (possibly based on other plugins) such as requirements, model-checking.
+
</div>
* The user will be given the ability to enable or disable the collection of task related metrics.
+
[[Category:Main page templates|Community]]
 
+
</noinclude>
and the following non-functional requirements:
 
 
 
* usability: integration into RODIN, in the Event-B perspective as an additional view
 
* reactivity: metrics will be updated regularly (at an adequate pace, possibly incrementally) or at user request
 
* efficiency: metric evaluation will not significantly slow down the interactivity of the RODIN platform
 
* security: strict data management policy to enforce confidentiality of the models, especially the user must be able to see if the plug-in is enabled and no data can leave the tool without the user consent
 
 
 
[[Category:Plugin]]
 
[[Category:Work in progress]]
 

Revision as of 07:48, 29 July 2009

Displayed as follow on the Main Page

Mailing lists - Rodin related mailing lists

[[DEPLOY_Plenary_Workshop_2009|DEPLOY Plenary Meeting 2009] - Call for Papers

Rodin Workshop 2009 - Abstracts and slides from Rodin 2009 Workshop

Do not hesitate to improve this wiki. You may find some help within the following pages:

Wiki Help - Some technical documentation about this wiki.

Village Pump - Ask your questions and keep track of the main wiki events.

Recent Changes - Monitor the wiki activity.

Test Area - Wiki editing is simple. Try by yourself.