Difference between pages "User:Mathieu/bot" and "User:Nicolas/Collections/ADVANCE D3.4 Model Checking"

From Event-B
< User:Mathieu(Difference between pages)
Jump to navigationJump to search
imported>Mathieu
 
imported>Ladenberger
 
Line 1: Line 1:
−
A bot may be a useful tool to help a wiki maintenance.
+
== Overview ==
 +
{{TODO}}
  
−
I tried to use the python framework provided by http://pywikipediabot.sourceforge.net/. Hereafter are some guidelines to make it work on this wiki.
+
== Motivations / Decisions ==
 +
'''B to TLA+'''
  
−
== Requirements ==
+
'''LTL Fairness'''
−
* Python >2.5
 
  
−
== Getting pywikipedia framewok ==
+
'''Theory Support'''
−
Get the source code from subversion:
 
−
<pre><nowiki>
 
−
(prompt) svn co http://svn.wikimedia.org/svnroot/pywikipedia/trunk/pywikipedia pywikipedia
 
−
</nowiki></pre>
 
−
== Configuring the framework for this wiki ==
 
−
Add the following <tt>families/eventb_family.py</tt> file (be careful with the indentation):
 
−
<pre><nowiki>
 
−
# -*- coding: utf-8  -*-
 
  
−
import family
+
'''Physical Units'''
−
# The event-b family
 
−
# user-config.py: usernames['event-b']['event-b'] = 'User name'
 
−
class Family(family.Family):
 
−
    def __init__(self):
 
−
        family.Family.__init__(self)
 
−
        self.name = 'eventb'
 
−
        self.langs = {
 
−
            'eventb': 'wiki.event-b.org',
 
−
        }
 
  
−
        self.namespaces[4] = {
+
The physical units analysis has been further stabilised, several reported bugs have been fixed.
−
            '_default': [u'Event-B', self.namespaces[4]['_default']],
+
Support for physical units has been extended to theories along with the general theory-related improvements of ProB mentioned in the previous paragraph.
−
        }
+
The plug-in was ported to Rodin 3, all bugfixes and changes could be back ported to Rodin 2 successfully.
  
−
        self.namespaces[5] = {
+
Further extension to the unit analysis include:
−
          '_default': [u'Event-B talk', self.namespaces[5]['_default']],
+
* Support for the analysis of units throughout refinement relations.
−
        }
+
* Support for abstract units like "length" that can later be concretised to standard SI units.
  
−
    def version(self, code):
+
{{TODO}}
−
        return '1.11'
 
  
−
    def path(self, code):
+
== Available Documentation ==
−
        return '/index.php' #The path of index.php, look at your wiki address.
 
  
−
    def scriptpath(self,code):
+
'''ProB'''<br>
−
        return ''
+
The ProB Website<ref>http://www.stups.uni-duesseldorf.de/ProB</ref> is the place where we collect information on the ProB toolset. There are several tutorials on ProB available in the User manual section. We also supply documentation on extending ProB for developers.
−
   
 
−
#    def shared_image_repository(self, code):
 
−
#        return ('commons', 'commons')
 
  
−
</nowiki></pre>
+
In addition we run a bug tracking system<ref>http://jira.cobra.cs.uni-duesseldorf.de/</ref> to document known bugs, workarounds and feature requests.
  
−
Then add the following <tt>user-config.py</tt> file:
+
{{TODO}}
−
<pre><nowiki>
 
−
family='eventb'
 
−
mylang='eventb'
 
−
usernames['eventb']['eventb'] = 'your_bot_user_name'
 
−
</nowiki></pre>
 
  
−
== Usage ==
+
== Conclusion ==
−
=== Login ===
+
{{TODO}}
−
First you should log in:
 
−
<pre><nowiki>
 
−
(prompt) python login.py
 
−
</nowiki></pre>
 
−
=== Upload Images ===
 
−
<pre><nowiki>
 
−
(prompt) python upload.py -noverify -keep file.png "Image description"
 
−
</nowiki></pre>
 
  
−
For uploading several images from a directory, I use the following ''sh'' command:
+
== References ==
−
<pre><nowiki>
+
<references/>
−
for i in /tmp/imagedir/* ; do (yes | python upload.py -v -noverify -keep $i "Import of image $i"); done
 
−
</nowiki></pre>
 
−
 
 
−
 
 
−
=== Add a category to the last uploaded images ===
 
−
For the last 20 images, do :
 
−
<pre><nowiki>
 
−
python category.py -v add -newimages:20
 
−
</nowiki></pre>
 

Revision as of 13:03, 15 October 2014

Overview

TODO

Motivations / Decisions

B to TLA+

LTL Fairness

Theory Support

Physical Units

The physical units analysis has been further stabilised, several reported bugs have been fixed. Support for physical units has been extended to theories along with the general theory-related improvements of ProB mentioned in the previous paragraph. The plug-in was ported to Rodin 3, all bugfixes and changes could be back ported to Rodin 2 successfully.

Further extension to the unit analysis include:

  • Support for the analysis of units throughout refinement relations.
  • Support for abstract units like "length" that can later be concretised to standard SI units.

TODO

Available Documentation

ProB
The ProB Website[1] is the place where we collect information on the ProB toolset. There are several tutorials on ProB available in the User manual section. We also supply documentation on extending ProB for developers.

In addition we run a bug tracking system[2] to document known bugs, workarounds and feature requests.

TODO

Conclusion

TODO

References

  1. ↑ http://www.stups.uni-duesseldorf.de/ProB
  2. ↑ http://jira.cobra.cs.uni-duesseldorf.de/
Retrieved from ‘https://wiki.event-b.org/index.php?title=User:Mathieu/bot&oldid=10924’