Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Eclipse Projects » Requirements Modeling Framework  » More detail please
More detail please [message #899656] Wed, 01 August 2012 13:03 Go to next message
Tim Clark is currently offline Tim Clark
Messages: 5
Registered: March 2010
Junior Member
Hello Michael

Would you have time to explain more about the mechanics of creating reqif files using ProR/Rodin? Looking at the file "pror_rodin_integration.reqif", and following your video it's not clear to me how to get from a new reqif file, which contains just one "Requirement Type (Spec Object)" to the sort of thing in the above-mentioned file.

1. Where do the different types come from (Headline, Use case)?
2. How does a particular cell (or is it row or type or what?) get its presentation characteristics (Headline, Line wrapping,...)?

Your paper (A method and tool ...) is absolutely fascinating and terrifying.

(The latter in the sense that it reveals how complex and difficult the business of specifying and making systems really is! What an amazing amount of stuff is swept under the carpet or not even thought about by intuitive software practitioners like myself :)

What would be really useful in the quest to understand and make use of these methods, would be to have the Rodin/ProR project(s) that lies behind the paper - any chance of getting this?

Regards, Tim
Re: More detail please [message #899732 is a reply to message #899656] Thu, 02 August 2012 03:05 Go to previous messageGo to next message
Tim Clark is currently offline Tim Clark
Messages: 5
Registered: March 2010
Junior Member
Oops -- RTFM Smile
The tutorial explains how to do what I asked in 1,2 of my post. Sorry.

However, my comments about your paper are still pertinent I think.
I look forward very much to being able to refer to rich text etc.
Re: More detail please [message #899733 is a reply to message #899656] Thu, 02 August 2012 03:07 Go to previous message
Lukas Ladenberger is currently offline Lukas Ladenberger
Messages: 8
Registered: January 2012
Junior Member
Hi Tim,

Quote:
Would you have time to explain more about the mechanics of creating reqif files using ProR/Rodin? Looking at the file "pror_rodin_integration.reqif", and following your video it's not clear to me how to get from a new reqif file, which contains just one "Requirement Type (Spec Object)" to the sort of thing in the above-mentioned file.

1. Where do the different types come from (Headline, Use case)?
2. How does a particular cell (or is it row or type or what?) get its presentation characteristics (Headline, Line wrapping,...)?


We have a nice tutorial, where such questions are explained.

Check out: wiki.eclipse.org/RMF/User_Guide/Tutorial

For working with the ProR/Rodin integration, we have another tutorial: wiki.event-b.org/index.php/ProR

FYI: Rodin v2.6 was just released where you can install the newest version of the ProR/Rodin integration with the predefined update site.

Best regards,
Lukas
Previous Topic:More detail please
Next Topic:Defining an enumerations values?
Goto Forum:
  


Current Time: Mon Sep 01 19:38:24 EDT 2014

Powered by FUDForum. Page generated in 0.02830 seconds