<html>
<head>
<meta content="text/html; charset=ISO-8859-1"
http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
On 01/06/2012 04:52, Jackson Cunha wrote:
<blockquote
cite="mid:CADR9Ad01KOUeW_jWzT5X9iXxE6sTjPiTuh2TSx_D6E45ynnbxQ@mail.gmail.com"
type="cite">Thanks Mark!<br>
<br>
When my paper and my prototype is running I will show all results
here to get feedback.<br>
</blockquote>
ok, cool.<br>
<br>
I'd personally like to see more work on the verifier, ours is still
too basic, and there is a huge amounts that can be done. Mario
recently started adding rule meta data for the consequences, so the
verified can see what was inserted/retracted/modified; this can be
used to verify chaining. I think he still needs to do a bit more
work on "insert", as it's not easy to determine what fields where
set.<br>
<br>
Mark<br>
<blockquote
cite="mid:CADR9Ad01KOUeW_jWzT5X9iXxE6sTjPiTuh2TSx_D6E45ynnbxQ@mail.gmail.com"
type="cite"><br>
<div class="gmail_quote">On 31 May 2012 23:04, Mark Proctor <span
dir="ltr"><<a moz-do-not-send="true"
href="mailto:mproctor@codehaus.org" target="_blank">mproctor@codehaus.org</a>></span>
wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0
.8ex;border-left:1px #ccc solid;padding-left:1ex">
<div bgcolor="#FFFFFF" text="#000000">
<div class="im"> On 28/05/2012 22:21, Jackson Cunha wrote:
<blockquote type="cite">
<div>Anyone knows about academic papers involving drools
verifier? I'm working in a project where will be
produced a paper and I need to cite some
caracteristics of it.</div>
</blockquote>
</div>
A good starting point is on the ez-expert page, which covers
various papers on the topic.<br>
<a moz-do-not-send="true"
href="http://www.ez-xpert.com/whitepapers/verification.html"
target="_blank">http://www.ez-xpert.com/whitepapers/verification.html</a><br>
<br>
Mark<br>
<br>
<blockquote type="cite">
<div class="im">
<div><br>
</div>
Thanks.
<div><br>
----------------------------------------------------------------------------------------------------------------<br>
Jackson Cunha Cassimiro (CereB)<br>
Bacharel em Ciencia da Computação - UFPI<br>
MSN: <a moz-do-not-send="true"
href="mailto:jackson.cereb@gmail.com"
target="_blank">jackson.cereb@gmail.com</a><br>
Telefone Móvel <a moz-do-not-send="true"
href="tel:%2B55%2086%209928%201251"
value="+558699281251" target="_blank">+55 86 9928
1251</a><br>
Analista de Sistemas - Infoway - <a
moz-do-not-send="true"
href="http://www.infoway-pi.com.br" target="_blank">http://www.infoway-pi.com.br</a><br>
Missão Infoway - "Influenciar a Gestão de Sistemas de
Saúde através de e-health"<br>
<br>
("A vida é um combate que os fracos abate, aos bravos,
aos fortes só pode exaltar" - Canção do Tamoio,
Gonçalves Dias)<br>
----------------------------------------------------------------------------------------------------------------<br>
</div>
<br>
<fieldset></fieldset>
<br>
</div>
<pre>_______________________________________________
rules-users mailing list
<a moz-do-not-send="true" href="mailto:rules-users@lists.jboss.org" target="_blank">rules-users@lists.jboss.org</a>
<a moz-do-not-send="true" href="https://lists.jboss.org/mailman/listinfo/rules-users" target="_blank">https://lists.jboss.org/mailman/listinfo/rules-users</a>
</pre>
</blockquote>
<br>
</div>
<br>
_______________________________________________<br>
rules-users mailing list<br>
<a moz-do-not-send="true"
href="mailto:rules-users@lists.jboss.org">rules-users@lists.jboss.org</a><br>
<a moz-do-not-send="true"
href="https://lists.jboss.org/mailman/listinfo/rules-users"
target="_blank">https://lists.jboss.org/mailman/listinfo/rules-users</a><br>
<br>
</blockquote>
</div>
<br>
<br clear="all">
<div><br>
</div>
-- <br>
----------------------------------------------------------------------------------------------------------------<br>
Jackson Cunha Cassimiro (CereB)<br>
Bacharel em Ciencia da Computação - UFPI<br>
MSN: <a moz-do-not-send="true"
href="mailto:jackson.cereb@gmail.com" target="_blank">jackson.cereb@gmail.com</a><br>
Telefone Móvel +55 86 9928 1251<br>
Analista de Sistemas - Infoway - <a moz-do-not-send="true"
href="http://www.infoway-pi.com.br" target="_blank">http://www.infoway-pi.com.br</a><br>
Missão Infoway - "Influenciar a Gestão de Sistemas de Saúde
através de e-health"<br>
<br>
("A vida é um combate que os fracos abate, aos bravos, aos fortes
só pode exaltar" - Canção do Tamoio, Gonçalves Dias)<br>
----------------------------------------------------------------------------------------------------------------<br>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
rules-users mailing list
<a class="moz-txt-link-abbreviated" href="mailto:rules-users@lists.jboss.org">rules-users@lists.jboss.org</a>
<a class="moz-txt-link-freetext" href="https://lists.jboss.org/mailman/listinfo/rules-users">https://lists.jboss.org/mailman/listinfo/rules-users</a>
</pre>
</blockquote>
<br>
</body>
</html>