Differences

This shows you the differences between the selected revision and the current version of the page.

--- tools 2008/02/27 15:48
+++ tools 2008/11/06 11:50 current
@@ Line 1: / Line 1: @@
-====== Plastic WP4 Tools ======
+====== Plastic Validation Framework Tools ======
@@ Line 17: / Line 17: @@
 Jambition supports a subset of the XML-Schema data types.
-**New Version 301107 released!**
+**New Version "Plastic" released on August 4, 2008!**
 **Documentation**
-  * [[http://plastic.isti.cnr.it/download/tools/jambition/jambition-manual.pdf|User Manual]]
+  * [[http://plastic.isti.cnr.it/download/tools/jambition/Manual.pdf|User Manual]]
 **Download**
-  * [[http://plastic.isti.cnr.it/download/tools/jambition/Jambition301107.zip|Jambition301107.zip]]
+  * [[http://plastic.isti.cnr.it/download/tools/jambition/Jambition.zip|Jambition Version "Plastic"]]
 **Licensing**
-  * GPLv3 with some exceptions to include libs
+  * GPLv3
 **Contact info**
   * [[lars.frantzen@isti.cnr.it|Lars Frantzen]]
@@ Line 53: / Line 54: @@
 **Download**
-  * [[http://plastic.isti.cnr.it/download/tools/minerva/|Download area]]
+  * [[http://plastic.isti.cnr.it/download/tools/minerva/minerva-plastic.zip|Minerva Version "Plastic"]]
 **Licensing**
@@ Line 85: / Line 86: @@
   * [[andrea.polini@unicam.it|Andrea Polini]]
@@ Line 109: / Line 114: @@
   * [[http://plastic.isti.cnr.it/download/tools/puppet/puppet-manual.pdf|User Manual]]
+**Publications**
+  * A. Bertolino, G. De Angelis, A. Polini: "//Automatic Generation of Test-beds for Pre-Deployment QoS Evaluation of Web Services//", in Proc. of the 6th International Workshop on Software and Performance (**WOSP 2007**) ,Buenos Aires, 5th to 8th February 2007, available [[http://portal.acm.org/citation.cfm?doid=1216993.1217017|here]]
+  * A. Bertolino, G. De Angelis, A. Polini: "//A QoS Test-bed Generator for Web S ervices//" in Proc. of 7th International Conference on Web Engineering (**ICWE 2007**), Como, Italy, July 16-20, available [[http://www.springerlink.com/content/h3686720434302l1/|here]]
+  * A. Bertolino, G. De Angelis, Lars Frantzen, A. Polini: "//Model-based Generation of Testbeds for Web Services//". In Proc. of the 20th IFIP Int. Conference on Testing of Communicating Systems (**TESTCOM 2008**). LNCS, Springer Verlag. Jun. 2008, Tokio, Japan, available [[http://www.springerlink.com/content/x1xp75r8t401n881/|here]]
+  * A. Bertolino, G. De Angelis, Lars Frantzen, A. Polini: "//The PLASTIC Framework and Tools for Testing Service-Oriented Applications//". Chapter in “Software Engineering – International Summer School, Tutorial Lectures”, A. De Lucia, F. Ferrucci, Ed.s, 2008, to appear.
+  * A. Bertolino, G. De Angelis, F. Lonetti, A. Sabetta: "//Let The Puppets Move! Automated Testbed Generation for Service-oriented Mobile Applications//". In Proc. of the 34th EUROMICRO CONFERENCE on Software Engineering and Advanced Applications (**Em-SEAA 2008**). IEEE. Sept. 2008, Parma, Italy, available [[http://www1.isti.cnr.it/~antonia/popupBDALS08.htm|here]]
+  * A. Bertolino, G. De Angelis, A. Di Marco, P. Inverardi, A. Sabetta, M. Tivoli: "//A Framework for Analyzing and Testing the Performance of Software Services//", in Proc. of 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (**ISOLA 2008**), 13-15 October 2008 - Porto Sani (Kassandra, Chalkidiki) – Greece.
 **Download**
-  * [[http://plastic.isti.cnr.it/download/tools/puppet/PuppetD4.3-20080207.zip|Puppet]]
+  * [[http://plastic.isti.cnr.it/download/tools/puppet/PuppetD4.4-20080805.zip|Puppet]] (Last Version)
+  * [[http://plastic.isti.cnr.it/download/tools/puppet/|Other Versions]]
 **Licensing**
-  * GPLv3 with some exceptions to include libs
+  * GPLv3
 **Contact info**
@@ Line 121: / Line 135: @@
   * [[guglielmo.deangelis@isti.cnr.it|Guglielmo De Angelis]]
   * [[andrea.polini@unicam.it|Andrea Polini]]
@@ Line 140: / Line 155: @@
   * [[http://plastic.isti.cnr.it/download/tools/slang/README|README]]
-  * [[http://plastic.isti.cnr.it/download/tools/slang/INSTALL|INSTALL]]
+  * [[http://plastic.isti.cnr.it/download/tools/slang/INSTALL-fix|INSTALL (updated 20080718)]]
   * [[http://plastic.isti.cnr.it/download/tools/slang/slangmon-manual.pdf|User Manual]]
@@ Line 146: / Line 161: @@
   * [[http://plastic.isti.cnr.it/download/tools/slang/SLAng.zip|SLAng simple editor]]
-  * [[http://plastic.isti.cnr.it/download/tools/slang/SLAngPlastic.zip|Editor's extensions (including SlangMon)]]
+  * [[http://plastic.isti.cnr.it/download/tools/slang/SLAngPlastic-fix.zip|Editor's extensions (including SlangMon) -- Version updated 20080718]]
 **Licensing**
@@ Line 153: / Line 168: @@
 **Contact info**
   * [[f.raimondi@cs.ucl.ac.uk|Franco Raimondi]]
@@ Line 183: / Line 200: @@
 **Download**
+  * [[http://plastic.isti.cnr.it/download/tools/weevil/weevil-1.2.6-plastic.tar.gz|Weevil]] Version 1.2.6 released on 21/7/2008
   * [[http://plastic.isti.cnr.it/download/tools/weevil/weevil-1.2.4-plastic.tar.gz|Weevil]] Version 1.2.4 released on 27/2/2008
-  * [[http://plastic.isti.cnr.it/download/tools/weevil/weevil-1.2.3-plastic.tar.gz|Weevil]] Version 1.2.3
@@ Line 190: / Line 207: @@
   * [[http://www.gnu.org/licenses/old-licenses/gpl-2.0.html|GNU General Public License, version 2]]
 ===== Dynamo-AOP =====
@@ Line 208: / Line 224: @@
 **Download**
-  * [[http://plastic.isti.cnr.it/download/tools/dynamo-aop/dynamo-aop.zip|Dynamo-AOP binaries]]
+  * Dynamo R20080716 [[http://plastic.isti.cnr.it/download/tools/dynamo-aop/dynamo-r20080716.zip|sources and binaries]] and [[http://plastic.isti.cnr.it/download/tools/dynamo-aop/dynamo-r20080716-changelog.txt|changelog]]
-  * [[http://plastic.isti.cnr.it/download/tools/dynamo-aop/dynamo-aop-src.zip|Dynamo-AOP sources]]
+   * Dynamo R20070731 [[http://plastic.isti.cnr.it/download/tools/dynamo-aop/dynamo-aop.zip|binaries]] and [[http://plastic.isti.cnr.it/download/tools/dynamo-aop/dynamo-aop-src.zip|sources]]
 **Licensing**