SHIPTool - Implementation, Execution and Simulation Platform for Interactive Workflow Assistance and Monitoring Processes

The SHIPTool provides an implementation, execution and simulation platform for workflow processes integrating and monitoring existing devices and services to assist the user.

The real world is represented in a description logic and kept consistent with the actual world by propagating updates in both directions;
Expected system behavior of external processes or users is described as monitors using a linear temporal logic over world representations
Processes can be implemented that interact with the environment via updates and that can react on the success or failure of behaviors observed by monitors.

A brief overview over the different specification and implementation languages of the SHIPTool and its user interface is available here.

License

The Software is free software and distributed under the GNU Lesser General Public License (Version 3) available here.

Download: The SHIPTool is implemented in Scala-2.10.2 using Akka-2.2.1 and includes the Pellet reasoner. The current version is available as a binary artifact here. Run the tool with

java -Djava.util.logging.config.file=logging.properties -Djava.library.path=lib  -jar SHIPTool.jar

and type

help

in the command line at the bottom of the SHIPTool window to get an overview of available commands. The sources are available here.

Examples

For running the examples get and unzip examples/examples.zip. You also need Yamamoto that only runs under windows to see the following simulations.

Emergency Door and Light Control System

The door control system example is a system that controls that doors are locked and lights are off at night, unless there is an emergency situation in which doors are unlocked and all lights are on.

Select the use case Emergency and load and start the system.

Transportation

The transportation use case also takes place in the BAALL simulation in which there are two wheelchairs. Persons can request a transport to a position and the system handles the requests, assigns wheelchairs and controls their routes.

Select the use case Transport and load examples/transport.cmd. Paul sits on Rolland at the Start and Eve on Rolland2 at the Table. Then request a transportation of Paul and/or Eve to any other place in the flat.

Contacts

Dr. Serge Autexier