start.html - www.eclipse.org/chess - Git at Google

 <!doctype html>
 <html>
 <link rel="icon" type="image/png" href="favicon.ico" />

 <head>
 	<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
 	<title>CHESS</title>
 	<link rel="stylesheet" href="styles.css" type="text/css" />
 </head>

 <body>
     <header>
 		<div class="logo-left width">
 			<a href="index.html"><img src="images/logo_chess_350.gif" alt="CHESS logo" width=""></a>
 		</div>
     </header>
     <nav>

 		<div class="width">
 			<ul>
 				<li class="start"><a href="index.html">Home</a></li>
 				<li class="divider-vertical-second-menu"></li>
 				<li><a href="features.html">Features</a></li>
 				<li class="divider-vertical-second-menu"></li>
 				<li class="selected"><a href="start.html">Getting Started</a></li>
 				<li class="divider-vertical-second-menu"></li>
 				<li><a href="events.html">Events</a></li>
 				<li class="divider-vertical-second-menu"></li>
 				<li class="end"><a href="community.html">Community</a></li>
 				<li style="text-align:right;"><a href="download.html" class="box">Download</a></li>
 				<li style="float:none;"><br style="clear:both;" /></li>
 			</ul>
 		</div>

     </nav>

 	<div id="hrdiv">
 		<img src="images/bg_breadcrumb.jpg" width="" alt="" height="" />
 	</div>

     <div id="body" class="width-started">
 		<article class="expanded">
 			<ul class="tabs">
 				<li>
 					<input name="tabs" id="tab1" checked="" type="radio">
 					<label for="tab1">Installation</label>
 					<div id="tab-content1" class="tab-content">
 					Just download the provided distribution and uncompress the archive.

 					<!-- Uncomment and customize the following section when documentation is available -->
 					<!--
 						<h3>CHESS Version x.x.x</h3>
 						<p>
 							CHESS x.x.x was released in xxxx. <br />
 							A Java 6 JRE/JDK is recommended for CHESS.
 						</p>
 						<h3>Install a JVM</h3>
 						<p>
 							Regardless of your operating system, you will need to install some Java virtual machine (JVM). <br />
 							You may either install a Java Runtime Environment (JRE), or a Java Development Kit (JDK). <br />
 							If you want to save some disk space, install a JRE.
 							<ul class="listInTabs">
 								<li>If you are using Windows or MacOS, you may already have a JRE installed.</li>
 								<li>If using Linux, see:
 									<b>
 										<a href="http://www.64bitjungle.com/ubuntu/install-java-jre-160-update-x-on-hardy-as-the-default-java-runtime/">Installing JRE 1.6.0 (Update x) as the Default Runtime in Linux</a>.
 									</b>
 								</li>
 							</ul>
 						</p>
 						<h3>Needed environment</h3>
 							<p>
 							The current version of the CHESS Eclipse plugins has to be installed on top of Eclipse Luna 4.4 platform available from:
 							<a href="http://www.eclipse.org/downloads/packages/eclipse-modeling-tools/lunasr1">http://www.eclipse.org/downloads/packages/eclipse-modeling-tools/lunasr1</a>.
 							</p>
 							<p>
 							Once Eclipse Luna has been installed, additional Eclipse tools have to be installed by using the standard
 							Eclipse new software installation feature:
 							<ul class="listInTabs">
 								<li>Launch Eclipse Luna (eclipse.exe)</li>
 								<li>From the main Eclipse window select the Help->Install new software… -> menu item</li>
 								<li>From the &quot;Install&quot; window select &quot;Luna&quot;
 								(http://download.eclipse.org/releases/luna) in the &quot;Work with&quot; field,
 								then wait for the list of available sites to appear in the area below.
 								<br>
 								<img src="images/installingEnvironment1.jpg" width="85%">
 								<div class="caption">Figure 1: Installing the environment</div>
 								</li>
 								<li>Expand the “Modeling” category and check the following plugins:
 									<ul class="listInTabs">
 										<li>Acceleo Core SDK</li>
 										<li>ATL SDK</li>
 										<li>QVT Operational SDK</li>
 									</ul>
 								<li>Click Next and then Finish to terminate the install procedure.</li>
 								<li>Restart Eclipse, when prompted, in order to apply the changes.</li>
 							</ul>
 							</p>
 							<p>
 							Then install <b>Papyrus</b> and <b>MARTE</b> following these steps:
 							<ul class="listInTabs">
 								<li>from the main Eclipse window select the Help->Install new software… -> menu item</li>
 								<li>From the &quot;Install&quot; window Add &quot;Papyrus&quot;
 								(http://download.eclipse.org/modeling/mdt/papyrus/updates/releases/luna)
 								in the &quot;Work with&quot; field, then wait for the list of available sites to
 								appear in the area below, and select them all.</li>
 								<li>Click Next and then Finish to terminate the install procedure.</li>
 								<li>Restart Eclipse, when prompted, in order to apply the changes.
 								<br>
 								<img src="images/installingPapyrus.jpg" width="85%">
 								<div class="caption">Figure 2: Papyrus installation window</div>
 								</li>
 							</ul>
 						</p>
 						<h3>Installing MAST (required by the schedulability analysis)</h3>
 							<p>
 							Download the binary distribution of MAST from
 							<a href="http://mast.unican.es/#downloading"><b>http://mast.unican.es/#downloading</b></a>
 							and extract it in the folder &quot;<your Eclipse folder>/mast/windows&quot; or
 							&quot;<your Eclipse folder>/mast/linux&quot; depending on your operating system.
 							<br><img src="images/alert_transparent.gif" width="60">&nbsp;&nbsp;&nbsp;
 							Currently the latest MAST version supported by the CHESS toolset is 1.4.0.0.
 						</p>
 						<h3>Installing NuSMV3/OCRA (required by the formal verification for stepwise refinement analysis)</h3>
 							<p>
 							The NuSMV3/OCRA tool is provided as an archive file (NuSMV3-OCRA.zip).
 							Unpack it to a directory of choice. Once unpacked the content of the folder is the
 							following:
 							<br>
 							<img src="images/installingOcra.jpg"  width="65%">
 							<div class="caption">Figure 3: NuSMV3/OCRA installation folders</div>
 							</p>
 						<h3>Installing the CHESS plugins</h3>
 							<p>
 								CHESS plug-ins can be installed by using the standard Eclipse update-site feature.
 							</p>
 							<p>
 								The CHESS update-site is available through http:
 								<br>the URL is <tt>https://sites.google.com/site/chessprojectintecs/home/updatesite </tt>
 								<ul class="listInTabs">
 									<li>Launch Eclipse Luna</li>
 									<li>From the main menu select Help->Install new software… -></li>
 									<li>Click &quot;Add…&quot;, then select the CHESS update site or digit
 									&quot;https://sites.google.com/site/chessprojectintecs/home/updatesite&quot;
 									(the first time you are using it) in the Location field, and click Ok.</li>
 									<li>In the Install window uncheck the &quot;Group Items by Category&quot; option (see Figure 2).</li>
 									<li>In the Install window check all the features (see Figure 4), and click Next and
 									Finish to terminate the installation.</li>
 									<li>Restart Eclipse.</li>
 								</ul>
 								<br>
 								<img src="images/installingChess.jpg" width="85%">
 							<div class="caption">Figure 4: Installing the CHESS plug-ins</div>
 							</p>
 					-->
 					</div>
 				</li>
 				<li>
 					<input name="tabs" id="tab2" type="radio">
 					<label for="tab2">Documentation</label>
 					<div id="tab-content2" class="tab-content">
 						<p>CHESS Documentation is available
 						<a href="publis/CHESSToolset_UserGuide.pdf">here.</a></p>
 						<!--
 						<h3>CHESS Documentation</h3>
 						<p style="text-align: left; padding:10px;">
 							Here is some text....
 						</p>
 						-->
 					</div>
 				</li>
 			</ul>
 		</article>
     </div>

 	<div class="clear"></div>

     <footer id="footer-start">
         <div class="footer-content width">
 			<ul>
 				<li><h4>PolarSys</h4></li>
 				<li><a href="http://www.polarsys.org/about-us">About</a></li>
 				<li><a href="http://www.polarsys.org/contact-us">Contact Us</a></li>
 				<li><a href="http://www.polarsys.org/projects/polarsys.chess">CHESS Project Page</a></li>
 			</ul>
             <ul>
             	<li><h4>Legal</h4></li>
 				<li><a href="http://www.eclipse.org/legal/privacy.php">Privacy Policy</a></li>
 				<li><a href="http://www.eclipse.org/legal/termsofuse.php">Terms of Use</a></li>
 				<li><a href="http://www.eclipse.org/legal/copyright.php">Copyright Agent</a></li>
 				<li><a href="http://www.eclipse.org/org/documents/epl-v10.php">Eclipse Public License</a></li>
 				<li><a href="http://www.eclipse.org/legal/">Legal Resources</a></li>
             </ul>
 			<ul>
 				<li><h4>Useful Links</h4></li>
 				<li><a href="http://polarsys.org/bugs/describecomponents.cgi?product=CHESS">Report a Bug</a></li>
 				<li><a href="http://polarsys.org/wiki/CHESS">Documentation</a></li>
 				<li><a href="http://polarsys.org/wiki/CHESS/Technical_Information">How to Contribute</a></li>
 				<li><a href="http://polarsys.org/mailman/listinfo/chess-dev">Mailing List</a></li>
 				<li><a href="http://polarsys.org/forums/index.php/f/9/">Forum</a></li>
 			</ul>
 			<ul class="endfooter">
 				<li><h4>Other</h4></li>
 				<li><a href="http://www.intecs.it/">Intecs</a></li>
 				<li><a href="http://www.unipd.it">University of Padova</a></li>
 			</ul>
 			<table>
 				<tr>
 					<td>
 						<a href="http://www.polarsys.org/"><img src="images/polarsys.png" alt="PolarSys logo" width="250"></a>
 						<br />
 						<br />
 					</td>
 					<td>
 						<div class="right-footer">
 							<a href="http://www.eclipse.org/"><img src="images/eclipse.png" alt="Eclipse logo"></a>
 							<br />
 							Copyright ©<span id="year">2014</span> The Eclipse Foundation. <br /> All Rights Reserved.
 						</div>
 					</td>
 				</tr>
 			</table>

 			<div class="clear"></div>
 		</div>

 	</footer>
 </body>
 </html>
	<!doctype html>
	<html>
	<link rel="icon" type="image/png" href="favicon.ico" />

	<head>
	<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
	<title>CHESS</title>
	<link rel="stylesheet" href="styles.css" type="text/css" />
	</head>

	<body>
	<header>
	<div class="logo-left width">
	<a href="index.html"><img src="images/logo_chess_350.gif" alt="CHESS logo" width=""></a>
	</div>
	</header>
	<nav>

	<div class="width">
	<ul>
	<li class="start"><a href="index.html">Home</a></li>
	<li class="divider-vertical-second-menu"></li>
	<li><a href="features.html">Features</a></li>
	<li class="divider-vertical-second-menu"></li>
	<li class="selected"><a href="start.html">Getting Started</a></li>
	<li class="divider-vertical-second-menu"></li>
	<li><a href="events.html">Events</a></li>
	<li class="divider-vertical-second-menu"></li>
	<li class="end"><a href="community.html">Community</a></li>
	<li style="text-align:right;"><a href="download.html" class="box">Download</a></li>
	<li style="float:none;"><br style="clear:both;" /></li>
	</ul>
	</div>

	</nav>

	<div id="hrdiv">
	<img src="images/bg_breadcrumb.jpg" width="" alt="" height="" />
	</div>

	<div id="body" class="width-started">
	<article class="expanded">
	<ul class="tabs">
	<li>
	<input name="tabs" id="tab1" checked="" type="radio">
	<label for="tab1">Installation</label>
	<div id="tab-content1" class="tab-content">
	Just download the provided distribution and uncompress the archive.

	<!-- Uncomment and customize the following section when documentation is available -->
	<!--
	<h3>CHESS Version x.x.x</h3>
	<p>
	CHESS x.x.x was released in xxxx. <br />
	A Java 6 JRE/JDK is recommended for CHESS.
	</p>
	<h3>Install a JVM</h3>
	<p>
	Regardless of your operating system, you will need to install some Java virtual machine (JVM). <br />
	You may either install a Java Runtime Environment (JRE), or a Java Development Kit (JDK). <br />
	If you want to save some disk space, install a JRE.
	<ul class="listInTabs">
	<li>If you are using Windows or MacOS, you may already have a JRE installed.</li>
	<li>If using Linux, see:
	<b>
	<a href="http://www.64bitjungle.com/ubuntu/install-java-jre-160-update-x-on-hardy-as-the-default-java-runtime/">Installing JRE 1.6.0 (Update x) as the Default Runtime in Linux</a>.
	</b>
	</li>
	</ul>
	</p>
	<h3>Needed environment</h3>
	<p>
	The current version of the CHESS Eclipse plugins has to be installed on top of Eclipse Luna 4.4 platform available from:
	<a href="http://www.eclipse.org/downloads/packages/eclipse-modeling-tools/lunasr1">http://www.eclipse.org/downloads/packages/eclipse-modeling-tools/lunasr1</a>.
	</p>
	<p>
	Once Eclipse Luna has been installed, additional Eclipse tools have to be installed by using the standard
	Eclipse new software installation feature:
	<ul class="listInTabs">
	<li>Launch Eclipse Luna (eclipse.exe)</li>
	<li>From the main Eclipse window select the Help->Install new software… -> menu item</li>
	<li>From the "Install" window select "Luna"
	(http://download.eclipse.org/releases/luna) in the "Work with" field,
	then wait for the list of available sites to appear in the area below.
	<br>
	<img src="images/installingEnvironment1.jpg" width="85%">
	<div class="caption">Figure 1: Installing the environment</div>
	</li>
	<li>Expand the “Modeling” category and check the following plugins:
	<ul class="listInTabs">
	<li>Acceleo Core SDK</li>
	<li>ATL SDK</li>
	<li>QVT Operational SDK</li>
	</ul>
	<li>Click Next and then Finish to terminate the install procedure.</li>
	<li>Restart Eclipse, when prompted, in order to apply the changes.</li>
	</ul>
	</p>
	<p>
	Then install <b>Papyrus</b> and <b>MARTE</b> following these steps:
	<ul class="listInTabs">
	<li>from the main Eclipse window select the Help->Install new software… -> menu item</li>
	<li>From the "Install" window Add "Papyrus"
	(http://download.eclipse.org/modeling/mdt/papyrus/updates/releases/luna)
	in the "Work with" field, then wait for the list of available sites to
	appear in the area below, and select them all.</li>
	<li>Click Next and then Finish to terminate the install procedure.</li>
	<li>Restart Eclipse, when prompted, in order to apply the changes.
	<br>
	<img src="images/installingPapyrus.jpg" width="85%">
	<div class="caption">Figure 2: Papyrus installation window</div>
	</li>
	</ul>
	</p>
	<h3>Installing MAST (required by the schedulability analysis)</h3>
	<p>
	Download the binary distribution of MAST from
	<a href="http://mast.unican.es/#downloading"><b>http://mast.unican.es/#downloading</b></a>
	and extract it in the folder "<your Eclipse folder>/mast/windows" or
	"<your Eclipse folder>/mast/linux" depending on your operating system.
	<br><img src="images/alert_transparent.gif" width="60">
	Currently the latest MAST version supported by the CHESS toolset is 1.4.0.0.
	</p>
	<h3>Installing NuSMV3/OCRA (required by the formal verification for stepwise refinement analysis)</h3>
	<p>
	The NuSMV3/OCRA tool is provided as an archive file (NuSMV3-OCRA.zip).
	Unpack it to a directory of choice. Once unpacked the content of the folder is the
	following:
	<br>
	<img src="images/installingOcra.jpg" width="65%">
	<div class="caption">Figure 3: NuSMV3/OCRA installation folders</div>
	</p>
	<h3>Installing the CHESS plugins</h3>
	<p>
	CHESS plug-ins can be installed by using the standard Eclipse update-site feature.
	</p>
	<p>
	The CHESS update-site is available through http:
	<br>the URL is <tt>https://sites.google.com/site/chessprojectintecs/home/updatesite </tt>
	<ul class="listInTabs">
	<li>Launch Eclipse Luna</li>
	<li>From the main menu select Help->Install new software… -></li>
	<li>Click "Add…", then select the CHESS update site or digit
	"https://sites.google.com/site/chessprojectintecs/home/updatesite"
	(the first time you are using it) in the Location field, and click Ok.</li>
	<li>In the Install window uncheck the "Group Items by Category" option (see Figure 2).</li>
	<li>In the Install window check all the features (see Figure 4), and click Next and
	Finish to terminate the installation.</li>
	<li>Restart Eclipse.</li>
	</ul>
	<br>
	<img src="images/installingChess.jpg" width="85%">
	<div class="caption">Figure 4: Installing the CHESS plug-ins</div>
	</p>
	-->
	</div>
	</li>
	<li>
	<input name="tabs" id="tab2" type="radio">
	<label for="tab2">Documentation</label>
	<div id="tab-content2" class="tab-content">
	<p>CHESS Documentation is available
	<a href="publis/CHESSToolset_UserGuide.pdf">here.</a></p>
	<!--
	<h3>CHESS Documentation</h3>
	<p style="text-align: left; padding:10px;">
	Here is some text....
	</p>
	-->
	</div>
	</li>
	</ul>
	</article>
	</div>

	<div class="clear"></div>

	<footer id="footer-start">
	<div class="footer-content width">
	<ul>
	<li><h4>PolarSys</h4></li>
	<li><a href="http://www.polarsys.org/about-us">About</a></li>
	<li><a href="http://www.polarsys.org/contact-us">Contact Us</a></li>
	<li><a href="http://www.polarsys.org/projects/polarsys.chess">CHESS Project Page</a></li>
	</ul>
	<ul>
	<li><h4>Legal</h4></li>
	<li><a href="http://www.eclipse.org/legal/privacy.php">Privacy Policy</a></li>
	<li><a href="http://www.eclipse.org/legal/termsofuse.php">Terms of Use</a></li>
	<li><a href="http://www.eclipse.org/legal/copyright.php">Copyright Agent</a></li>
	<li><a href="http://www.eclipse.org/org/documents/epl-v10.php">Eclipse Public License</a></li>
	<li><a href="http://www.eclipse.org/legal/">Legal Resources</a></li>
	</ul>
	<ul>
	<li><h4>Useful Links</h4></li>
	<li><a href="http://polarsys.org/bugs/describecomponents.cgi?product=CHESS">Report a Bug</a></li>
	<li><a href="http://polarsys.org/wiki/CHESS">Documentation</a></li>
	<li><a href="http://polarsys.org/wiki/CHESS/Technical_Information">How to Contribute</a></li>
	<li><a href="http://polarsys.org/mailman/listinfo/chess-dev">Mailing List</a></li>
	<li><a href="http://polarsys.org/forums/index.php/f/9/">Forum</a></li>
	</ul>
	<ul class="endfooter">
	<li><h4>Other</h4></li>
	<li><a href="http://www.intecs.it/">Intecs</a></li>
	<li><a href="http://www.unipd.it">University of Padova</a></li>
	</ul>
	<table>
	<tr>
	<td>
	<a href="http://www.polarsys.org/"><img src="images/polarsys.png" alt="PolarSys logo" width="250"></a>
	<br />
	<br />
	</td>
	<td>
	<div class="right-footer">
	<a href="http://www.eclipse.org/"><img src="images/eclipse.png" alt="Eclipse logo"></a>
	<br />
	Copyright ©<span id="year">2014</span> The Eclipse Foundation. <br /> All Rights Reserved.
	</div>
	</td>
	</tr>
	</table>

	<div class="clear"></div>
	</div>

	</footer>
	</body>
	</html>