<html>
<head>
<meta content="text/html; charset=ISO-8859-1"
http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
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 :) <br>
<br>
Thanks.<br>
On 9/20/11 9:05 AM, Jiri Svitak wrote:
<blockquote cite="mid:4E788F82.60104@redhat.com" type="cite">
<meta content="text/html; charset=ISO-8859-1"
http-equiv="Content-Type">
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).<br>
Drools verifier is intended to verify correctness of user's DRL
using static analysis.<br>
<br>
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.<br>
<br>
<br>
On 09/19/2011 06:18 PM, Mauricio Salatino wrote:
<blockquote
cite="mid:CANzbnyX8yTkZ1sC7uDzROkAg=16-SDJtRJvjUvq1jjZdmqwbtw@mail.gmail.com"
type="cite">Exactly, I thought that the main point is verify the
correctness of the Rules, If I misunderstood that sorry..
<div>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?</div>
<div>I'm just curious..</div>
<div><br>
</div>
<div>Best Regards!<br>
<br>
<div class="gmail_quote">On Mon, Sep 19, 2011 at 1:14 PM,
Wolfgang Laun <span dir="ltr"><<a moz-do-not-send="true"
href="mailto:wolfgang.laun@gmail.com">wolfgang.laun@gmail.com</a>></span>
wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0
.8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div class="im">On 19 September 2011 17:57, Mauricio
Salatino <span dir="ltr"><<a moz-do-not-send="true"
href="mailto:salaboy@gmail.com" target="_blank">salaboy@gmail.com</a>></span>
wrote:<br>
</div>
<div class="gmail_quote">
<div class="im">
<blockquote class="gmail_quote" style="border-left:1px
solid rgb(204, 204, 204);margin:0pt 0pt 0pt
0.8ex;padding-left:1ex"> Hi Jiri,
<div>Drools Verifier do that for you? Am I right?</div>
</blockquote>
</div>
<div><br>
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.<br>
<br>
Findbugs applied to Drools code is a good idea, but I
would opt for this to include fundamental code that's
<i>used </i>by Drools and responsible for a
considerable number of JIRAs.<br>
<font color="#888888"><br>
-W<br>
<br>
</font></div>
<div>
<div class="h5">
<blockquote class="gmail_quote"
style="border-left:1px solid rgb(204, 204,
204);margin:0pt 0pt 0pt 0.8ex;padding-left:1ex">
<div> 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.</div>
<div>Cheers<br>
<br>
<div class="gmail_quote">
<div>On Mon, Sep 19, 2011 at 12:43 PM, Ansgar
Konermann <span dir="ltr"><<a
moz-do-not-send="true"
href="mailto:ansgar.konermann@googlemail.com"
target="_blank">ansgar.konermann@googlemail.com</a>></span>
wrote:<br>
</div>
<blockquote class="gmail_quote"
style="border-left:1px solid rgb(204, 204,
204);margin:0pt 0pt 0pt
0.8ex;padding-left:1ex">
<div>
<p>If I'm eligible to vote, please go for
option 1. </p>
<div class="gmail_quote">Am 19.09.2011
17:14 schrieb "Jiri Svitak" <<a
moz-do-not-send="true"
href="mailto:jsvitak@redhat.com"
target="_blank">jsvitak@redhat.com</a>>:<br
type="attribution">
</div>
<br>
</div>
<div>_______________________________________________<br>
rules-dev mailing list<br>
<a moz-do-not-send="true"
href="mailto:rules-dev@lists.jboss.org"
target="_blank">rules-dev@lists.jboss.org</a><br>
<a moz-do-not-send="true"
href="https://lists.jboss.org/mailman/listinfo/rules-dev"
target="_blank">https://lists.jboss.org/mailman/listinfo/rules-dev</a><br>
<br>
</div>
</blockquote>
</div>
<font color="#888888"><br>
<br clear="all">
<div><br>
</div>
-- <br>
- CTO @ <a moz-do-not-send="true"
href="http://www.plugtree.com"
target="_blank">http://www.plugtree.com</a>
<br>
- MyJourney @ <a moz-do-not-send="true"
href="http://salaboy.wordpress.com"
target="_blank">http://salaboy.wordpress.com</a>
<div> - Co-Founder @ <a
moz-do-not-send="true"
href="http://www.jugargentina.org"
target="_blank">http://www.jugargentina.org</a><br>
- Co-Founder @ <a moz-do-not-send="true"
href="http://www.jbug.com.ar"
target="_blank">http://www.jbug.com.ar</a><br>
<br>
- Salatino "Salaboy" Mauricio -</div>
<br>
</font></div>
<br>
_______________________________________________<br>
rules-dev mailing list<br>
<a moz-do-not-send="true"
href="mailto:rules-dev@lists.jboss.org"
target="_blank">rules-dev@lists.jboss.org</a><br>
<a moz-do-not-send="true"
href="https://lists.jboss.org/mailman/listinfo/rules-dev"
target="_blank">https://lists.jboss.org/mailman/listinfo/rules-dev</a><br>
<br>
</blockquote>
</div>
</div>
</div>
<br>
<br>
_______________________________________________<br>
rules-dev mailing list<br>
<a moz-do-not-send="true"
href="mailto:rules-dev@lists.jboss.org">rules-dev@lists.jboss.org</a><br>
<a moz-do-not-send="true"
href="https://lists.jboss.org/mailman/listinfo/rules-dev"
target="_blank">https://lists.jboss.org/mailman/listinfo/rules-dev</a><br>
<br>
</blockquote>
</div>
<br>
<br clear="all">
<div><br>
</div>
-- <br>
- CTO @ <a moz-do-not-send="true"
href="http://www.plugtree.com" target="_blank">http://www.plugtree.com</a>
<br>
- MyJourney @ <a moz-do-not-send="true"
href="http://salaboy.wordpress.com" target="_blank">http://salaboy.wordpress.com</a>
<div> - Co-Founder @ <a moz-do-not-send="true"
href="http://www.jugargentina.org" target="_blank">http://www.jugargentina.org</a><br>
- Co-Founder @ <a moz-do-not-send="true"
href="http://www.jbug.com.ar" target="_blank">http://www.jbug.com.ar</a><br>
<br>
- Salatino "Salaboy" Mauricio -</div>
<br>
</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
rules-dev mailing list
<a moz-do-not-send="true" class="moz-txt-link-abbreviated" href="mailto:rules-dev@lists.jboss.org">rules-dev@lists.jboss.org</a>
<a moz-do-not-send="true" class="moz-txt-link-freetext" href="https://lists.jboss.org/mailman/listinfo/rules-dev">https://lists.jboss.org/mailman/listinfo/rules-dev</a>
</pre>
</blockquote>
<br>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
rules-dev mailing list
<a class="moz-txt-link-abbreviated" href="mailto:rules-dev@lists.jboss.org">rules-dev@lists.jboss.org</a>
<a class="moz-txt-link-freetext" href="https://lists.jboss.org/mailman/listinfo/rules-dev">https://lists.jboss.org/mailman/listinfo/rules-dev</a>
</pre>
</blockquote>
<br>
</body>
</html>