SHESim is a tool supporting the modelling and specification of complex concurrent systems in accordance with the SHE (Software/Hardware Engineering) methodology. Part of the methodology is the formal modelling and specification language POOSL (Parallel Object-Oriented Specification Language). SHESim allows the (graphical) entry of POOSL models and their interactive simulation.
More on the SHE methodology can be found on this page.
Some examples of POOSL models can be downloaded below. More information about the language POOSL and the tools that allow the synthesis of C++ programs from POOSL specifications can be found on the 'POOSL pages'.
Take a look at some screenshots showing the SHESim tool in action.
SHESim is freely available for everybody to play around with it. There are
a few different versions available. Read carfeully which version is most suitable for you.
The first is a stand-alone version which in principle runs under
Windows (95/98/NT/2000/XP/Vista/7). It is based a commerically licenced version of Smalltalk and can be used for any purpose, including commercial
activities. Please not however, that this version is getting older and is known to occasionally cause problems installing on newer machines.
The second version is based on a more recent, but non-commercial version of Smalltalk. This implies that this version of SHESim can only be
used for non-commercial research and education activities. The third is a portable version which must be installed
in a VisualWorks Smalltalk version 5i (and up) environment (available for Windows-95/98/NT/2000/XP.Vista/7,
Linux, Power Macintosh and a large number of workstations running UNIX).
Please note that SHESim is an academic tool. It is in constant development
and subject to changes in the specification language POOSL and methodology itself.
Moreover, although we try to answer questions sent to us by e-mail and try to
fix reported bugs, we cannot guarantee any level of quality of support for the
tool!
This version will run on any decently equipped PC running MS-Windows 95/98/NT/2000/XP/Vista/7. The distribution includes a commercially licensed runtime system for Cincom Smalltalk, which means there are no usage restrictions! You will need the following file from the SHESim server, run it, and follow the installation instructions. Be sure to read the license agreement! You can check version history and updates here
SHESimSetupNT_v2.exe
is the new version (v.2) of SHESim for Microsoft Windows NT/2000/XP/Vista/7 (for more info on installing on Windows NT/2000/XP/Vista/7, click here).
Note that this version is based on a new syntax of POOSL and is not compatible with models for the previous version. A tool for converting models of the old version to the new version is under development.
SHESimSetup.exe (±3.5 MB)
is the older (obsolete) version 1, stand-alone system for Microsoft Windows 95/98/ME/NT/2000/XP/Vista/7 (for more info on installing on Windows NT/2000/XP/Vista/7, click here).
This version runs on any modern MS-Windows PC. The distribution is based on a non-commercially licensed runtime system for Cincom Smalltalk, which means there are important usage restrictions! It can only be used for non-commercial evaluation and educational purposes. You will need the following file from the SHESim server, unzip it, run it, and follow the installation instructions. Be sure to read the license agreement! You can check version history and updates here
SHESim2_77NC_Setup.zip (±8 MB)
is the non-commerical stand-alone system for Microsoft Windows).
This one requires an operational VisualWorks Smalltalk version 5i base system, which is available for a large number of platforms and operating systems (including Windows-95/98/NT/200/XP/Vista/7, Power Mac, Linux, HP-UX, Sun Solaris and a number of other UNIX boxes). For some of these, a free non-commercial evaluation version can be downloaded from the VisualWorks website at http://www.cincom.com. Note that you should buy a full version of VisualWorks if you are really going to use this version of SHESim for something else than mere personal evaluation or educational purposes (see the license included with the free version)! You will need the following files from the SHESim server:
SHESimParcelsV0.01h.zip (±548 kB)
contains the 'parcels' to be installed in the VisualWorks Smalltalk environment (including all SHESim source code!).
source.txt
is a text file which explains how to get this version up and running.
If you are using version 5i3 or 5i4 of VisualWorks Smalltalk, then use these parcels of this (experimental) port: SHESimParcelsV0.01h_5i3.zip. Depending on the chosen installation, you may encounter warnings about prerequisite parcels that cannot be found, these can be ignored by clicking 'yes' on the question 'OK to continue without loading it'.
If you are using version 7.x of VisualWorks Smalltalk, then use these parcels of this (also experimental, tested with version 7.3) port: SHESimParcels73.tar.gz.
This is a new, experimental version. Usage restrictions apply, it can only be used for non-commercial purposes. It is not thoroughly tested an may contain yet unknown problems. It includes some bug fixes and loading and saving using xml based single-file POOSL specifications. Moreover it includes primitive classes for marshalling objects to and from strings and communication across tcp sockets.
SHESim2_20110228.zip (±10 MB)
Click here to read a history of updates since the first version of the SHESim tool to appear on these pages and a collection of known issues and bugs.
Click here to access available documentation about SHESim.
The examples below can be downloaded and opened in the SHESim tool ('Load All').
In order to install SHESim on Windows NT/2000/XP/Vista/7 systems, a user with elevated privileges may be required. If the user does not have the required privileges some errors will pop up during installation. If this happens it is still possible to complete the installation. If the errors are ignored, the program will complete the installation, but the required file association, linking .im files to the proper executable file has not succeeded. This can however be done by hand after the installation, by double clicking on the SHESim icon and manually selecting the 'visual.exe' executable installed in the directory SHESim/bin of the installation.
Here, SHESimSetupNT.exe, is an experimental version of SHESim that should also work for users with fewer privileges.
For more information contact: M.C.W.Geilen@tue.nl
Click here if you want to go to Marc Geilen's home page.