[rules-dev] Formal verification of Drools - master's thesis

[Tihomir Surdilovic]

Really don't mean to sidetrack or anything this thread. I think the 
stuff discussed is really awesome, just from my experience with a master 
thesis it should include something "novel". Just asking what is this 
"novel" part in what you are planning to do? If this is a project for a 
masters degree, then forget my question :)

Thanks.
On 9/20/11 9:05 AM, Jiri Svitak wrote:
> The thesis would be aimed at verifying Drools Java code. With Findbugs 
> you can find bugs in every Java project, but in this case the Findbugs 
> would use user defined bug patterns (based on JIRAs/Bugzillas).
> Drools verifier is intended to verify correctness of user's DRL using 
> static analysis.
>
> Model checking is more difficult to do. It executes code, so I would 
> have to create environment for it to run, for example an application 
> which uses Drools. Then verify some property of the system.
>
>
> On 09/19/2011 06:18 PM, Mauricio Salatino wrote:
>> Exactly, I thought that the main point is verify the correctness of 
>> the Rules, If I misunderstood that sorry..
>> If you are talking about only finding bugs in the Drools code, it 
>> will be the same as finding bugs in any other project right?
>> I'm just curious..
>>
>> Best Regards!
>>
>> On Mon, Sep 19, 2011 at 1:14 PM, Wolfgang Laun 
>> <wolfgang.laun at gmail.com <mailto:wolfgang.laun at gmail.com>> wrote:
>>
>>     On 19 September 2011 17:57, Mauricio Salatino <salaboy at gmail.com
>>     <mailto:salaboy at gmail.com>> wrote:
>>
>>         Hi Jiri,
>>         Drools Verifier do that for you? Am I right?
>>
>>
>>     I think this is a misunderstanding. Looking at Drools' Java code
>>     takes a Java bug finding program such as findbugs. What Drools
>>     Verifier does is: look at DRL code written by Drools users.
>>
>>     Findbugs applied to Drools code is a good idea, but I would opt
>>     for this to include fundamental code that's /used /by Drools and
>>     responsible for a considerable number of JIRAs.
>>
>>     -W
>>
>>         Toni Rikkola is the man behind drools verifier, you can talk
>>         with him to improve what he has now. I know that Esteban was
>>         also playing with that and adding the concept of Working Set.
>>         You can talk with him as well.
>>         Cheers
>>
>>         On Mon, Sep 19, 2011 at 12:43 PM, Ansgar Konermann
>>         <ansgar.konermann at googlemail.com
>>         <mailto:ansgar.konermann at googlemail.com>> wrote:
>>
>>             If I'm eligible to vote, please go for option 1.
>>
>>             Am 19.09.2011 17:14 schrieb "Jiri Svitak"
>>             <jsvitak at redhat.com <mailto:jsvitak at redhat.com>>:
>>
>>             _______________________________________________
>>             rules-dev mailing list
>>             rules-dev at lists.jboss.org <mailto:rules-dev at lists.jboss.org>
>>             https://lists.jboss.org/mailman/listinfo/rules-dev
>>
>>
>>
>>
>>         -- 
>>          - CTO @ http://www.plugtree.com
>>          - MyJourney @ http://salaboy.wordpress.com
>>         - Co-Founder @ http://www.jugargentina.org
>>          - Co-Founder @ http://www.jbug.com.ar
>>
>>          - Salatino "Salaboy" Mauricio -
>>
>>
>>         _______________________________________________
>>         rules-dev mailing list
>>         rules-dev at lists.jboss.org <mailto:rules-dev at lists.jboss.org>
>>         https://lists.jboss.org/mailman/listinfo/rules-dev
>>
>>
>>
>>     _______________________________________________
>>     rules-dev mailing list
>>     rules-dev at lists.jboss.org <mailto:rules-dev at lists.jboss.org>
>>     https://lists.jboss.org/mailman/listinfo/rules-dev
>>
>>
>>
>>
>> -- 
>>  - CTO @ http://www.plugtree.com
>>  - MyJourney @ http://salaboy.wordpress.com
>> - Co-Founder @ http://www.jugargentina.org
>>  - Co-Founder @ http://www.jbug.com.ar
>>
>>  - Salatino "Salaboy" Mauricio -
>>
>>
>>
>> _______________________________________________
>> rules-dev mailing list
>> rules-dev at lists.jboss.org
>> https://lists.jboss.org/mailman/listinfo/rules-dev
>
>
>
> _______________________________________________
> rules-dev mailing list
> rules-dev at lists.jboss.org
> https://lists.jboss.org/mailman/listinfo/rules-dev

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.jboss.org/pipermail/rules-dev/attachments/20110920/8a8d9091/attachment-0001.html