Difference between pages "Event-B Language" and "Handbook Content Migration"

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>WikiSysop
 
imported>Jastram
(New page: == Goals == For the Rodin Handbook Project, we will migrate some of the Wiki content to Latex, to be managed in SVN. Our objective of the content migration guide is to ensure that: * All...)
 
Line 1: Line 1:
== Book: Modelling in Event-B: System and Software Engineering by Jean-Raymond Abrial ==
+
== Goals ==
More information about the book is at Cambridge University Press [http://www.cambridge.org/uk/catalogue/catalogue.asp?isbn=9780521895569 website]
+
For the Rodin Handbook Project, we will migrate some of the Wiki content to Latex, to be managed in SVN. Our objective of the content migration guide is to ensure that:
=== Sample Chapters of the books ===
 
This is available at event-b.org [http://www.event-b.org/abook.html]
 
=== Slides and Rodin Platform archives of the developments corresponding to chapters of the books ===
 
* Chapter 1: [http://deploy-eprints.ecs.soton.ac.uk/111/ Introduction]
 
* Chapter 2: [http://deploy-eprints.ecs.soton.ac.uk/112/ Controlling Cars on a Bridge]
 
* Chapter 3: [http://deploy-eprints.ecs.soton.ac.uk/113/ A Mechanical Press Controller]
 
* Chapter 4: [http://deploy-eprints.ecs.soton.ac.uk/114/ File Transfer Protocol]
 
* Chapter 6: [http://deploy-eprints.ecs.soton.ac.uk/115/ The Bounded Re-transmission Protocol]
 
* Chapter 7: [http://deploy-eprints.ecs.soton.ac.uk/116/ Concurrent Program Development]
 
* Chapter 8: [http://deploy-eprints.ecs.soton.ac.uk/117/ Electronic Circuits Development]
 
* Chapter 10: [http://deploy-eprints.ecs.soton.ac.uk/118/ Leader Election on a Ring-shaped Network]
 
* Chapter 11: [http://deploy-eprints.ecs.soton.ac.uk/119/ Synchronizing Processes on a Tree Network]
 
* Chapter 12: [http://deploy-eprints.ecs.soton.ac.uk/120/ Routing Algorithm for Mobile Agent]
 
* Chapter 13: [http://deploy-eprints.ecs.soton.ac.uk/121/ The Leader Election Protocol (IEEE1394)]
 
* Chapter 15: [http://deploy-eprints.ecs.soton.ac.uk/122/ Sequential Program Development]
 
* Chapter 16: [http://deploy-eprints.ecs.soton.ac.uk/123/ Location Access Controller]
 
* Chapter 17: [http://deploy-eprints.ecs.soton.ac.uk/124/ Train System]
 
  
== Event-B Language Documentation ==
+
* All content is accessible at all times
  
[[Event-B Modelling Language]]
+
* Content is always managed in one place only
  
[[Event-B Mathematical Language]]
+
* We prevent stale content from being edited.
  
[http://wiki.event-b.org/images/EventB-Summary.pdf Concise Summary of the Event B mathematical toolkit] by Ken Robinson
+
== Method ==
  
[[Well-definedness]]
+
We will achieve this with a rather simple mechanism: Migrated wiki content will be marked with the following banner:
  
==Modelling Tips==
+
{| class="wikitable" style="font-style:italic; text-align: center; font-size:120%; border: 3px dashed red;"
 +
|-
 +
! scope="col" | Do not edit!  This content has been migrated to Subversion.
 +
|-
 +
|(TODO: Link to nightly Jenkins build of Handbook)
 +
|}
  
[[Structured_Types]]
+
== Impact ==
  
[[Category:User documentation]]
+
We will definitely migrate the pages that are currently part of the Eclipse Help System (18 pages).  We inspected the history and noted few modifications, on the order of one every six months.
[[Category:Event-B]]
 
  
== Proving Tips ==
+
We intend to migrate these pages before the next Rodin release.  This has two advantages: First, we will be able to roll out the new help system with the next Rodin release.  While the documentation will not be complete at that point, it will definitely contain more information than it does right now.  Second, we will be able to solicit feedback on the Eclipse-version of the Handbook, before this project ends, allowing us to incorporate feedback from users of the Eclipse Help System as well.
  
== Miscellaneous ==
+
The next release is scheduled for September 2011.
* Jean-Raymond Abrial, "Faultless Systems: Yes We Can!," Computer, vol. 42, no. 9, pp. 30-36, Sept. 2009, [http://doi.ieeecomputersociety.org/10.1109/MC.2009.283 doi:10.1109/MC.2009.283].
 

Revision as of 14:00, 13 June 2011

Goals

For the Rodin Handbook Project, we will migrate some of the Wiki content to Latex, to be managed in SVN. Our objective of the content migration guide is to ensure that:

  • All content is accessible at all times
  • Content is always managed in one place only
  • We prevent stale content from being edited.

Method

We will achieve this with a rather simple mechanism: Migrated wiki content will be marked with the following banner:

Do not edit! This content has been migrated to Subversion.
(TODO: Link to nightly Jenkins build of Handbook)

Impact

We will definitely migrate the pages that are currently part of the Eclipse Help System (18 pages). We inspected the history and noted few modifications, on the order of one every six months.

We intend to migrate these pages before the next Rodin release. This has two advantages: First, we will be able to roll out the new help system with the next Rodin release. While the documentation will not be complete at that point, it will definitely contain more information than it does right now. Second, we will be able to solicit feedback on the Eclipse-version of the Handbook, before this project ends, allowing us to incorporate feedback from users of the Eclipse Help System as well.

The next release is scheduled for September 2011.