Installation VDMTools
VDM++ Guide
CSK SYSTEMS CORPORATION
ver.1.1
How to contact CSK SYSTEMS CORPORATION: http://www.csk.com/systems [e-mail] Web General information
@
VDM++ Installation Guide 1.1
Revised for VDMTools v8.0
c COPYRIGHT 2008 by CSK SYSTEMS CORPORATION
The software described in this document is furnished under a license agreement. The software may be used or copied only under the terms of the license agreement. This document is subject to change without notice
VDM++ Installation Guide
Contents
1 Introduction 2 Installing VDMTools on a Windows Platform 2.1 Installing the VDM++ Add-In for Rational Rose . . . . . . . . . 3 Installing VDMTools on a Unix Platform 3.1 Installing a Copy of VDMTools . . . . . . . . . . . . . . . . . . . 3.2 Installing VDMTools for Emacs . . . . . . . . . . . . . . . . . . . 4 How to get New Releases 1 2 2 3 3 3 4
i
VDM++ Installation Guide
ii
VDM++ Installation Guide
1
Introduction
This document describes how to install VDMTools. VDMTools can be installed on the following platforms: PC/586, 686, running Windows 2000 or Windows XP. (Throughout this guide we use the term Windows to refer collectively to Windows 98, Windows 2000 and Windows NT). PC/586, 686, running Linux ReadHat /Mandrake /SuSE with Qt 3.2 or later Macintosh Mac OS X 10.3.x An installation of VDMTools consists of the component: the VDMTools application, The installation description is divided into two parts: one for the Windows platform, and one for the Unix platform.
1
VDM++ Installation Guide
2
Installing VDMTools on a Windows Platform
This section includes steps to install VDMTools on a Windows platform. Note: for the time being VDMTools must be installed on each machine where it should be used, it cannot be installed on a server and run from there. The VDMTools installation consists of the following step. 1. Install VDMTools on the destination machine, by running the installation program (named setuppp-<version>.exe). The installation program will prompt for the installation directory.
2.1
Installing the VDM++ Add-In for Rational Rose
If Rational Rose (Rose 98 or Rose 2000) is already installed on your Windows system, the VDM++ add-in will be automatically added to the Rose environment when installing the VDMTools. The VDM++ add-in will automatically be registered in the Windows registry for Rational Rose. If the Toolbox is installed before Rose, the user has to use the following steps to install the VDM++ add-in: Install Rose. Run the installation program named inst addin.exe. This can be found in the uml subdirectory of the VDM++ Toolbox installation. The VDM++ add-in will then automatically be registered in the Windows registry for Rational Rose. Restart Rose. Conrm that your add-in is activated via the Add-In Manager menu of Rose.
2
VDM++ Installation Guide
3
3.1
Installing VDMTools on a Unix Platform
Installing a Copy of VDMTools
1. Create a directory vpphome to hold VDMTools. 2. Read in the discs or the les down-loaded from CSKs WWW or ftp server in the vpphome directory with the tar command. This will create a number of les which must be installed explicitly as described in the following steps. 3. Install the executables bin/vppde and bin/vppgde either by moving them to your standard binary directory or by including the directory vpphome/bin in your path. You should now be able to call the tools from the command line.
3.2
Installing VDMTools for Emacs
If you wish to use VDMTools within Emacs you must perform the following steps that show how to set up Emacs to support the tools in Emacs. 1. Installing the Emacs interface. Install the Emacs interface emacs/vppde.el either by placing it with your existing Emacs utilities according to your own site procedures, or by moving it to one of your local directories. 2. Updating your .emacs le Set up your .emacs le to read in the vppde.el interface. If you have located emacs/vppde.el with your standard Emacs utilities you must add the following line to your .emacs le (autoload vppde "vppde" "" t) otherwise you must add the full path to emacs/vppde.el like (autoload vppde "/path/vppde" "" t)
You should now be able to use the VDMTools.
3
VDM++ Installation Guide
4
How to get New Releases
When a new version of VDMTools is released it will be made available under VDMTools information Web site: http://www.vdmtools.jp/en
4