 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
 |
ArchWare OSS Release Package
* ArchWare generic research results disseminated through open source
software arrangements and free licenses:
- D2.1 ArchWare Architecture Modeller (package vismod.zip)
- D2.2 ArchWare Architecture Animator (package anim.zip)
- D2.3 ArchWare Architecture Repository (integrated in package adlvm.zip)
- D2.4 ArchWare Product-line Customiser (package cust.zip)
- D3.5 ArchWare Architecture Analysis Tool
by Theorem-Proving (package
prover.zip) - D3.7 ArchWare Architecture Analysis Tools by Model-Specific
Evaluation
(integrated in package cust.zip) - D4.1 ArchWare Core Architecture Framework (integrated in package adlvm.zip)
- D4.2 ArchWare Customised Architecture Framework (integrated in package adlvm.zip)
- D4.3 ArchWare Implementation of ADL Reference Model (integrated in package adlvm.zip)
- D4.4 ArchWare Architecture Framework Toolkit (integrated in package adlvm.zip)
- D5.4 Compliance Support (integrated in package adlvm.zip)
- D6.3 ArchWare Architecture Refinement Tools (package ref.zip)
- D6.4 ArchWare Code Synthesiser (package synth.zip)
- D5.1 ArchWare Architecture-based Engineering Environment
without
Architecture Model Checking Tool from INRIA (all the above packages) - ArchWare OSS presentation and installation guide
- The integrated ArchWare OSS packages
* INRIA License:
D3.6 ArchWare Architecture Analysis Tools by Model Checking/D3.8
Enhanced Model-Checker for Architecture Analysis
* D3.6/D3.8 Architecture Model Checking Tool:
"The ArchWare model checker is
available as downloadable licensed software (DLS) under several
architectures (Solaris, Linux, Windows, and MacOS). The binary files
of
the model checker are available under request from .
To ensure a proper functioning of the
ArchWare model checker, it is also recommended to install the CADP
verification toolbox on the same machine (instructions on how to obtain
CADP are available on-line at http://www.inrialpes.fr/vasy/cadp). "
* Open Source Software and INRIA License:
D5.1 ArchWare Architecture-based Engineering Environment with Architecture Model Checking Tool from INRIA (all the above packages)