Skip to main content


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 17:03 Go to next message
Tim Clark is currently offline Tim ClarkFriend
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

Report message to a moderator

Re: More detail please [message #899732 is a reply to message #899656] Thu, 02 August 2012 07:05 Go to previous messageGo to next message
Tim Clark is currently offline Tim ClarkFriend
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.

Report message to a moderator

Re: More detail please [message #899733 is a reply to message #899656] Thu, 02 August 2012 07:07 Go to previous message
Lukas Ladenberger is currently offline Lukas LadenbergerFriend
Messages: 9
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

Report message to a moderator

Previous Topic:More detail please
Next Topic:Defining an enumerations values?
Goto Forum:
  

[ Syndicate this forum (XML) ] [ RSS ]

Current Time: Fri Jan 17 22:41:40 GMT 2025

Powered by FUDForum. Page generated in 0.04775 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software

Back to the top

Sign up to our Newsletter

A fresh new issue delivered monthly