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. | 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 53: | Line 54: | ||
**Download** | **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** | **Licensing** | ||
Line 85: | Line 86: | ||
* [[andrea.polini@unicam.it|Andrea Polini]] | * [[andrea.polini@unicam.it|Andrea Polini]] | ||
+ | |||
+ | |||
+ | |||
+ | |||
Line 109: | 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 121: | 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 140: | 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 146: | 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 153: | Line 168: | ||
**Contact info** | **Contact info** | ||
* [[f.raimondi@cs.ucl.ac.uk|Franco Raimondi]] | * [[f.raimondi@cs.ucl.ac.uk|Franco Raimondi]] | ||
+ | |||
+ | |||
Line 183: | Line 200: | ||
**Download** | **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.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]] | * [[http://www.gnu.org/licenses/old-licenses/gpl-2.0.html|GNU General Public License, version 2]] | ||
- | |||
===== Dynamo-AOP ===== | ===== Dynamo-AOP ===== | ||
Line 208: | 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** |