Difference between revisions of "WP6-Telco-Oct-2008"

From Event-B
Jump to navigationJump to search
imported>Jastram
imported>Mathieu
 
(3 intermediate revisions by one other user not shown)
Line 13: Line 13:
 
Please add your name here if you are interested in attending the Telco:
 
Please add your name here if you are interested in attending the Telco:
  
* [mailto:michael@jastram.de Michael Jastram]
+
* Michael J.
 +
* Christophe
 +
* Dinho
 +
* Manuel
 +
 
  
 
== Time of Telco ==
 
== Time of Telco ==
  
Let's try to organize the Telco before the meeting in Turku.  This means we should hold it between 10/16 and 10/31.
+
October 23rd, 14:00 CET
 
 
Please indicate what times do (or do not) work for you here:
 
 
 
* Michael J.: Pretty much any time, Mo-Fr, 7:00 - 17:00 CET, except on 10/27 only from 14:00-19:00
 
  
 
== Agenda ==
 
== Agenda ==
  
Feel free to add / modify the Agenda:
+
* Michael J: Objective of Meeting
 +
** Enable RE in the context of EventB-Modelling, specifically traceability between requirements and EventB-Specifications, to allow reasoning about the system.
 +
** KAOS is one possible candidate of such an RE-method
  
 
* Christophe: Presentation of research regarding KAOS
 
* Christophe: Presentation of research regarding KAOS
 +
** Specifically: mapping EventB and KAOS
 
* Michael: Experience with modelling the SAP Mini-Pilot with KAOS
 
* Michael: Experience with modelling the SAP Mini-Pilot with KAOS
 +
** Please see the BSCW-Slides: http://bscw.cs.ncl.ac.uk/bscw/bscw.cgi/89148
 
* Brainstorming: Can we realize our Objective with KAOS?
 
* Brainstorming: Can we realize our Objective with KAOS?
 
* Discussion on how to proceed from here
 
* Discussion on how to proceed from here
 +
 +
 +
[[Category:Organization]]

Latest revision as of 12:51, 12 August 2009

Requirements Telco, October 2008

Please add or edit the topics for the Requirements Telco, to be held in October 2008. Please add possible dates / times of the telco as well.

The Organizer is Michael Jastram.

Objective

Our overall goal is to find a method / notation for capturing requirements that allows traceability between the requirements and an Event-B Specification.

Participants

Please add your name here if you are interested in attending the Telco:

  • Michael J.
  • Christophe
  • Dinho
  • Manuel


Time of Telco

October 23rd, 14:00 CET

Agenda

  • Michael J: Objective of Meeting
    • Enable RE in the context of EventB-Modelling, specifically traceability between requirements and EventB-Specifications, to allow reasoning about the system.
    • KAOS is one possible candidate of such an RE-method
  • Christophe: Presentation of research regarding KAOS
    • Specifically: mapping EventB and KAOS
  • Michael: Experience with modelling the SAP Mini-Pilot with KAOS
  • Brainstorming: Can we realize our Objective with KAOS?
  • Discussion on how to proceed from here