------------------------------------------------------------------------
INSTALLATION AND USAGE
------------------------------------------------------------------------

A4WSN can be installed either manually or by downloading a complete bundle.

Manual installation:
	1) download Eclipse Helios Modeling tools SR2 from here http://goo.gl/XsTWl
	2) extract the downloaded archive into any folder of your system (e.g., /users/ivano/eclipse)
	3) in the extracted folder, locate the folder called "dropins"
	4) download the A4WSN tool from here http://a4wsn.di.univaq.it/files/A4WSN.zip
	5) extract the downloaded A4WSN archive into the "dropins" folder of point 3)
	6) launch Eclipse
	7) install the ATL model transformation plugins from here http://www.eclipse.org/downloads/download.php?file=/mmt/atl/downloads/drops/3.4.0/R201305211502/m2m-atl-Update-3.4.0.zip
	8) install the AMW plugins from here http://www.eclipse.org/downloads/download.php?file=/modeling/gmt/amw/binaries/AMW-stable/mwplugins-stable.zip
	9) install the Epsilon Validation platform from here http://www.eclipse.org/epsilon/download/#updatesites
	

Installation from the bundle:
	1) download the A4WSN bundle for Microsoft Windows from here http://a4wsn.di.univaq.it/files/eclipseWSN.zip
	2) extract the downloaded archive into any folder of your system (e.g., /users/ivano/eclipse)
	3) launch Eclipse

---

To create a new A4WSN Project you can click on new->Project...->A4WSN->A4WSN Project, from now on you can create
your SAML, NODEML and EVML models in the just created project

From now on you can use the A4WSN Dashboard view to check which models you have created so far, and to open them
 quickly. You can show the A4WSN Dashboard by clicking on Window->Show View->Other->A4WSN->A4WSN Dashboard.

At any time, you can check the well-formedness of any SAML, NODEML and ENVML model by opening its tree-based or 
graphical editor and clicking on "Validate". In the current status of the tool, there is no automatic parser for
Expressions and Application Data Declaration, thus if any error about Exp or DataDeclaration show up, you can ignore them. 

---

SAML
----
1) Create your SAML model by clicking on new->A4WSN->SAML Diagram
2) Edit your diagram graphically and by using the Properties view
3) You can also edit your SAML model by opening its tree-based editor by double-clicking on the file with the ".sa" extension

NODEML
------
1) Create your NODEML model by clicking on new->A4WSN->NODEML Diagram
2) Edit your diagram graphically and by using the Properties view
3) You can also edit your NODEML model by opening its tree-based editor by double-clicking on the file with the ".node" extension

ENVML
-----
1) Create your ENVML model by clicking on new->A4WSN->ENVML Diagram
2) Specify where the tool can locate the background image to be used for your ENVML diagram
3) Contextually, a .materials file is automatically created by the tool, it allows you to add materials and colors to be used in the ENVML diagram.
4) Edit your diagram graphically
	Please take care of the following limitations:
	- save is done only manually, that is, by clicking on the given tool in the toolbar;
	- the background image must be at most 1000x1000 pixels wide;
	- no UNDO-REDO.
5) You can also edit your ENVML model by opening its tree-based editor by right clicking on the ".env" file->open with->other...->Environment Model Editor.

MAPML
------
1) Create your MAPML model by clicking on new->A4WSN->MAPML Diagram
2) In the wizard, choose the SAML and NODEML models to be linked
2) Edit your diagram graphically and by using the Properties view

DEPML
------
1) Create your DEPML model by clicking on new->A4WSN->DEPML Diagram
2) In the wizard, choose the NODEML and ENVML models to be linked
2) Edit your diagram graphically and by using the Properties view

------------------------------------------------------------------------
IMPORTING EXISTING EXAMPLES
------------------------------------------------------------------------

1) In your Eclipse distribution with A4WSN, click on File->Import...->General->Existing projects into Workspace
2) Select Archive File and locate the zip archive containing the Eclipse project you want to open (for example, it.univaq.wsn.examples.hospital.zip)
3) Click on Finish

-------------------------------------------------------------------------