Differences

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

tools 2008/02/07 15:49 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. Jambition supports a subset of the XML-Schema data types.
-**New Version 301107 released!**+**New Version "Plastic" released on August 4, 2008!**
**Documentation** **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** **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** **Licensing**
-  * GPLv3 with some exceptions to include libs+  * GPLv3
**Contact info** **Contact info**
  * [[lars.frantzen@isti.cnr.it|Lars Frantzen]]   * [[lars.frantzen@isti.cnr.it|Lars Frantzen]]
 +
 +
 +
Line 51: Line 54:
**Download** **Download**
-  * [[http://plastic.isti.cnr.it/download/tools/minerva/Minerva150108.zip|Minerva150108.zip]]+  * [[http://plastic.isti.cnr.it/download/tools/minerva/minerva-plastic.zip|Minerva Version "Plastic"]]
**Licensing** **Licensing**
Line 83: Line 86:
  * [[andrea.polini@unicam.it|Andrea Polini]]   * [[andrea.polini@unicam.it|Andrea Polini]]
 +
 +
 +
 +
Line 107: Line 114:
  * [[http://plastic.isti.cnr.it/download/tools/puppet/puppet-manual.pdf|User Manual]]   * [[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** **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** **Licensing**
-  * GPLv3 with some exceptions to include libs+  * GPLv3
**Contact info** **Contact info**
Line 119: Line 135:
  * [[guglielmo.deangelis@isti.cnr.it|Guglielmo De Angelis]]   * [[guglielmo.deangelis@isti.cnr.it|Guglielmo De Angelis]]
  * [[andrea.polini@unicam.it|Andrea Polini]]   * [[andrea.polini@unicam.it|Andrea Polini]]
 +
Line 138: Line 155:
  * [[http://plastic.isti.cnr.it/download/tools/slang/README|README]]   * [[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]]   * [[http://plastic.isti.cnr.it/download/tools/slang/slangmon-manual.pdf|User Manual]]
Line 144: Line 161:
  * [[http://plastic.isti.cnr.it/download/tools/slang/SLAng.zip|SLAng simple editor]]   * [[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** **Licensing**
Line 151: Line 168:
**Contact info** **Contact info**
  * [[f.raimondi@cs.ucl.ac.uk|Franco Raimondi]]   * [[f.raimondi@cs.ucl.ac.uk|Franco Raimondi]]
 +
 +
 +
 +
 +
 +
 +
Line 176: Line 200:
**Download** **Download**
-  * [[http://plastic.isti.cnr.it/download/tools/weevil/weevil-1.2.2-plastic.tar.gz|Weevil]]+  * [[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 
**Licensing** **Licensing**
  * [[http://www.gnu.org/licenses/old-licenses/gpl-2.0.html|GNU General Public License, version 2]]   * [[http://www.gnu.org/licenses/old-licenses/gpl-2.0.html|GNU General Public License, version 2]]
- 
===== Dynamo-AOP ===== ===== Dynamo-AOP =====
Line 199: Line 224:
**Download** **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** **Licensing**
tools.1202395768.txt.gz · Last modified: 2008/02/07 15:49 by gulyx
chimeric.de = chi`s home Creative Commons License Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0