Mail Archive Home | fractal-commits List | January 2007 Index
| <-- Date Index --> | <-- Thread Index --> |
Date: Tuesday, January 16, 2007 @ 23:08:59
Author: seintur
Path: /cvsroot/fractal/web/xml/root
Added: fractalbpc/index.xml
Modified: doc/index.xml index.xml
Fractal BPC specific web page.
----------------------+
doc/index.xml | 1
fractalbpc/index.xml | 57 +++++++++++++++++++++++++++++++++++++++++++++++++
index.xml | 2 -
3 files changed, 59 insertions(+), 1 deletion(-)
Index: web/xml/root/doc/index.xml
diff -u web/xml/root/doc/index.xml:1.40 web/xml/root/doc/index.xml:1.41
--- web/xml/root/doc/index.xml:1.40 Wed Dec 13 20:27:07 2006
+++ web/xml/root/doc/index.xml Tue Jan 16 23:08:58 2007
@@ -105,6 +105,7 @@
applications at runtime.</li>
<li><a
href="../fraclet/index.html#documentation">Fraclet</a>: the
annotation-based programming model of the
Fractal component model.</li>
+ <li><a
href="../fractalbpc/index.html#documentation">Fractal BPC</a>: is the Fractal
behavior protocol checker.</li>
</ul>
</li>
</ul>
Index: web/xml/root/fractalbpc/index.xml
diff -u /dev/null web/xml/root/fractalbpc/index.xml:1.1
--- /dev/null Tue Jan 16 23:08:59 2007
+++ web/xml/root/fractalbpc/index.xml Tue Jan 16 23:08:58 2007
@@ -0,0 +1,57 @@
+<?xml version="1.0" encoding="ISO-8859-1" standalone="no"?>
+
+<!DOCTYPE document SYSTEM '../../../common/dtd/objectweb.dtd'>
+
+<document>
+
+ <properties>
+ <author email="fractal@xxxxxxxxxxxxx">Fractal team</author>
+ <title>Fractal Behavior Protocol Checker</title>
+ <filename>index.xml</filename>
+ <pathtoroot>..</pathtoroot>
+ </properties>
+
+ <body>
+ <s1 name="Fractal BPC">
+
+ <p>
+ <strong>Fractal Behavior Protocol Checker</strong> (Fractal BPC) is
the
+ behavior protocols platform for Fractal components. This platform is a
+ port of behavior protocols from
+ <a
href="http://nenya.ms.mff.cuni.cz/projects/sofa/tools/doc/compmodel.html";>SOFA</a>
+ to Fractal.
+ </p>
+
+ <p>
+ Fractal BPC is made of two behavior protocol checkers (static and
runtime)
+ that allow programmers to define and associate behavior protocols
+ (basically valid sequences of operation invocations) to components
+ interfaces and then to check the validity of these protocols (static
+ cheking including Java code cheking with
+ <a href="http://javapathfinder.sourceforge.net/";>JavaPathFinder</a>
+ to detect problems such as deadlocks) and the compliance with these
+ protocols at runtime. The code also include associated Fractal ADL and
+ Julia extensions.
+ </p>
+
+ <subtitle anchor="documentation">Documentation</subtitle>
+
+ <ul>
+ <li>The <a
href="http://cvs.forge.objectweb.org/cgi-bin/viewcvs.cgi/*checkout*/fractal/fractalbpc/doc/CREF.pdf?rev=1.1&content-type=application/pdf";>Fractal
BPC documentation</a>
+ explains how to use this tool.</li>
+ </ul>
+
+ <subtitle>Mailing list</subtitle>
+
+ <p>
+ Questions, comments, ideas, etc. related to Fractal BPC can be posted
+ on the
+ <a href="http://www.objectweb.org/wws/info/fractal";>Fractal mailing
list</a>.
+ </p>
+
+ </s1>
+
+ </body>
+
+</document>
+
Index: web/xml/root/index.xml
diff -u web/xml/root/index.xml:1.34 web/xml/root/index.xml:1.35
--- web/xml/root/index.xml:1.34 Tue Jan 9 22:08:13 2007
+++ web/xml/root/index.xml Tue Jan 16 23:08:58 2007
@@ -167,7 +167,7 @@
is the Fractal scripting language.
</li>
<li>
- <strong>Fractal BPC</strong>
+ <strong><a href="fractalbpc/index.html">Fractal BPC</a></strong>
is the Fractal behavior protocol checker.
</li>
</ul>
| <-- Date Index --> | <-- Thread Index --> |
Powered by MHonArc.
Copyright © 2006-2007, OW2 Consortium | contact | webmaster.