ADVANCE D3.3 Introduction - Revision history

imported>Laurent at 17:32, 29 November 2013

2013-11-29T17:32:18Z

← Older revision		Revision as of 17:32, 29 November 2013
Line 15:		Line 15:
	* Motivations / Decisions. The motivation for each tool extension and improvement are expressed. The decisions (e.g. design decision) are reported.		* Motivations / Decisions. The motivation for each tool extension and improvement are expressed. The decisions (e.g. design decision) are reported.
	* Available documentation. Some pointers to the available documentation or related publications are listed.		* Available documentation. Some pointers to the available documentation or related publications are listed.
	* Planning. The current status about the topic ~~(as of Sept 2013)~~, and an overview of the future plans are given.		* Planning. The current status about the topic, and an overview of the future plans are given.

	~~Eventually~~, a section is devoted to link the work planned for the last period of the project with the WP1 and WP2 ~~partner needs~~.		Finally, a section is devoted to link the work planned for the last period of the project with the needs of WP1 and WP2 case studies.

	== References ==		== References ==

imported>Tommy at 15:54, 28 November 2013

2013-11-28T15:54:07Z

← Older revision		Revision as of 15:54, 28 November 2013
Line 16:		Line 16:
	* Available documentation. Some pointers to the available documentation or related publications are listed.		* Available documentation. Some pointers to the available documentation or related publications are listed.
	* Planning. The current status about the topic (as of Sept 2013), and an overview of the future plans are given.		* Planning. The current status about the topic (as of Sept 2013), and an overview of the future plans are given.

			Eventually, a section is devoted to link the work planned for the last period of the project with the WP1 and WP2 partner needs.

	== References ==		== References ==

imported>Nicolas: Took M. Butler remarks into account

2013-09-20T12:38:52Z

Took M. Butler remarks into account

← Older revision		Revision as of 12:38, 20 September 2013
Line 1:		Line 1:
	The ADVANCE D3.3 deliverable is composed of the present document and the Rodin toolset. The considered Rodin toolset consists of the Rodin core platform and the plug-ins created or maintained in the frame of the ADVANCE project. Other plug-ins, available for the Rodin platform but not maintained within the ADVANCE project, are not taken into account within this deliverable.		The ADVANCE D3.3 deliverable is composed of the present document and new extensions to the Rodin toolset as of September 2013. The considered Rodin toolset consists of the Rodin core platform and the plug-ins created or maintained in the frame of the ADVANCE project: ProB, UML-B, ProR, Camille, Theory, Composition, SMT. Other plug-ins, available for the Rodin platform but not maintained within the ADVANCE project, are not taken into account within this deliverable.

	The Rodin platform can be downloaded from the SourceForge site.<ref>http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform</ref><br>		The Rodin platform can be downloaded from the SourceForge site.<ref>http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform</ref><br>
Line 7:		Line 7:
	These locations can be consulted from outside the Rodin tool.		These locations can be consulted from outside the Rodin tool.

	The present document intends to give a relevant overview of the work achieved within the work package 3: ''Methods and Tools for Model Construction and Proof'', during the second period of the ADVANCE project (Sept 2012 - Sept 2013), and aims to let the reader ~~get a glimpse of~~ the WP3 member's contribution plans and objectives.		The present document intends to give a relevant overview of the work achieved within the work package 3: ''Methods and Tools for Model Construction and Proof'', during the second period of the ADVANCE project (Sept 2012 - Sept 2013), and aims to let the reader understand the WP3 member's contribution plans and objectives.

	The document is divided according to the work package tasks: general platform maintenance, improvement of automated proof, model checking, language extension, model composition and decomposition.		The document is divided according to the work package tasks: general platform maintenance, improvement of automated proof, model checking, language extension, model composition and decomposition.

imported>Laurent at 13:13, 28 August 2013

2013-08-28T13:13:12Z

← Older revision		Revision as of 13:13, 28 August 2013
Line 9:		Line 9:
	The present document intends to give a relevant overview of the work achieved within the work package 3: ''Methods and Tools for Model Construction and Proof'', during the second period of the ADVANCE project (Sept 2012 - Sept 2013), and aims to let the reader get a glimpse of the WP3 member's contribution plans and objectives.		The present document intends to give a relevant overview of the work achieved within the work package 3: ''Methods and Tools for Model Construction and Proof'', during the second period of the ADVANCE project (Sept 2012 - Sept 2013), and aims to let the reader get a glimpse of the WP3 member's contribution plans and objectives.

	The document is divided ~~into~~ the ~~following parts~~: general platform maintenance, improvement of automated proof, model checking, language extension, ~~Method documentation and tutorials, and~~ model composition and decomposition.		The document is divided according to the work package tasks: general platform maintenance, improvement of automated proof, model checking, language extension, model composition and decomposition.

	The common structure which is used for each contribution is the following:		The common structure which is used for each contribution is the following:

imported>Nicolas: Fixed date

2013-07-16T13:09:41Z

Fixed date

← Older revision		Revision as of 13:09, 16 July 2013
Line 7:		Line 7:
	These locations can be consulted from outside the Rodin tool.		These locations can be consulted from outside the Rodin tool.

	The present document intends to give a relevant overview of the work achieved within the work package 3: ''Methods and Tools for Model Construction and Proof'', during the second ~~year~~ of the ADVANCE project (~~{{TODO}} Aug~~ 2012 - ~~Jul~~ 2013), and aims to let the reader get a glimpse of the WP3 member's contribution plans and objectives.		The present document intends to give a relevant overview of the work achieved within the work package 3: ''Methods and Tools for Model Construction and Proof'', during the second period of the ADVANCE project (Sept 2012 - Sept 2013), and aims to let the reader get a glimpse of the WP3 member's contribution plans and objectives.

	The document is divided into the following parts: general platform maintenance, improvement of automated proof, model checking, language extension, Method documentation and tutorials, and model composition and decomposition.		The document is divided into the following parts: general platform maintenance, improvement of automated proof, model checking, language extension, Method documentation and tutorials, and model composition and decomposition.

imported>Nicolas: Fixed date

2013-07-16T13:08:46Z

Fixed date

← Older revision		Revision as of 13:08, 16 July 2013
Line 15:		Line 15:
	* Motivations / Decisions. The motivation for each tool extension and improvement are expressed. The decisions (e.g. design decision) are reported.		* Motivations / Decisions. The motivation for each tool extension and improvement are expressed. The decisions (e.g. design decision) are reported.
	* Available documentation. Some pointers to the available documentation or related publications are listed.		* Available documentation. Some pointers to the available documentation or related publications are listed.
	* Planning. The current status about the topic (as of ~~{{TODO}} July~~ 2013), and an overview of the future plans are given.		* Planning. The current status about the topic (as of Sept 2013), and an overview of the future plans are given.

	== References ==		== References ==

imported>Nicolas: First draft

2013-07-15T13:15:51Z

First draft

New page

The ADVANCE D3.3 deliverable is composed of the present document and the Rodin toolset. The considered Rodin toolset consists of the Rodin core platform and the plug-ins created or maintained in the frame of the ADVANCE project. Other plug-ins, available for the Rodin platform but not maintained within the ADVANCE project, are not taken into account within this deliverable.

The Rodin platform can be downloaded from the SourceForge site.<ref>http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform</ref><br>
Moreover, the platform includes a collaborative documentation that is collected from two maintained locations:
* the Event-B wiki,<ref name="EventB_wiki">http://wiki.event-b.org</ref>
* the Rodin Handbook.<ref name="Rodin_handbook_Page">http://handbook.event-b.org</ref>
These locations can be consulted from outside the Rodin tool.

The present document intends to give a relevant overview of the work achieved within the work package 3: ''Methods and Tools for Model Construction and Proof'', during the second year of the ADVANCE project ({{TODO}} Aug 2012 - Jul 2013), and aims to let the reader get a glimpse of the WP3 member's contribution plans and objectives.

The document is divided into the following parts: general platform maintenance, improvement of automated proof, model checking, language extension, Method documentation and tutorials, and model composition and decomposition.

The common structure which is used for each contribution is the following:
* Overview. The involved partners are identified and an overview of the contribution is given.
* Motivations / Decisions. The motivation for each tool extension and improvement are expressed. The decisions (e.g. design decision) are reported.
* Available documentation. Some pointers to the available documentation or related publications are listed.
* Planning. The current status about the topic (as of {{TODO}} July 2013), and an overview of the future plans are given.

== References ==
<references/>

[[Category:ADVANCE D3.3 Deliverable]]