LOTOS Utilities

Lotos Logo
Purple Dot AD/IT (Abstract Decision/Interactive Trees)
Purple Dot Anise (Architectural Notions in Service Engineering)
Purple Dot Basil (Basic Architectural Semantics in Lotos)
Purple Dot Clove (Cress Language-Oriented Verification Environment)
Purple Dot Cress (Chisel Representation Employing Structured Specification)
Purple Dot Dill (Digital Logic in Lotos)
Purple Dot fgrind (Format Lotos for FrameMaker)
Purple Dot lottex (Format Lotos for LaTeX)
Purple Dot Lola/Topo (Lotos Laboratory/Toolset for Product Realisation with Lotos)
Purple Dot Mint (Mustard Interpreter)
Purple Dot Mustard (Multiple-Use Scenario Test And Refusal Description)
Purple Dot Sage (Service Attribute Generator)
Purple Dot Other Sources of Lotos Software

The list that follows gives a few Lotos utilities I wrote for my own purposes. They are available in source form.

AD/IT (Abstract Decision/Interactive Trees)

Summary:

These files are used to define, translate and formally analyse decision trees. See the AD/IT web page for more details.

Needs: GNU M4, Perl, Lola/Topo

Usage: See README file

Source: Obtain adit-1.2.zip by http

Anise (Architectural Notions in Service Engineering)

Summary:

These files generate and analyse IN (Intelligent Network) service specifications using Lotos as the underlying language. The Plain Old Telephone Service and a variety of IN-like features are supported. See the Anise web page for more details.

Needs: GNU M4, Perl, Lola/Topo

Usage: See README file

Source: Obtain anise-1.0.zip by http

Basil (Basic Architectural Semantics in Lotos)

Summary:

These files generate OSI (Open Systems Interconnection) service specifications in Lotos. Both connection-less and connection-oriented services are handled. See Template-based specification in Lotos and Relating Architecture and Specification for more details.

Needs: M4, Lotos tools

Usage: See README file

Source: Obtain basil.zip by http

Clove (Cress Langage-Oriented Verification Environment)

Summary:

Clove (Cress Langage-Oriented Verification Environment) is a notation and a tool for specifying and verifying specification properties. The principal designer was Larry Tan (University of Stirling). Clove has been used for DS (Device Services), GS (Grid Services), IN (Intelligent Network), IVR (Interactive Voice Response), SIP (Session Initiation Protocol) and WS (Web Services). See the Clove web page for an overview of Clove.

Needs:

Usage: See README file (on SourceForge)

Source: Obtain cresstools-1.0.zip (from SourceForge)

Dill (Digital Logic in Lotos)

Summary:

Dill (Digital Logic in Lotos) is an approach for specifying digital logic circuits and translating them to Lotos. Circuits are described using the Dill language that builds designs from their constituent components. See the Dill web page for more details.

Needs: M4, Lotos tools

Usage: See README file

Source: Obtain dill-2.4.zip by http

Lola (Lotos Laboratory)/Topo (Toolset for Product Realisation with Lotos)

Summary:

These tools support the analysis, testing and translation of Lotos specifications. The software belongs to the Polytechnic University of Madrid, and is distributed here only because of its port by the author to CygWin/Microsoft Windows and Debian Linux.

Needs: CygWin and Microsoft Windows, or Debian Linux

Usage: See README file

Source: Obtain topo-3.7.3.zip by http

Mint (Mustard Interpreter)

Summary:

Mint (Mustard Interpreter) is a language and a tool for defining and validating grid or web service test scenarios. It has been used for GS (Grid Services) and WS (Web Services). See the Mustard web page for Mustard as the context of Mint.

Needs:

Usage: See README file (on SourceForge)

Source: Obtain cresstools-1.0.zip (from SourceForge)

Mustard (Multiple-Use Scenario Test And Refusal Description)

Summary:

Mustard (Multiple-Use Scenario Test And Refusal Description) is a notation and a tool for specifying and validating test scenarios. It has been used for DS (Device Services), GS (Grid Services), IN (Intelligent Network), IVR (Interactive Voice Response), SIP (Session Initiation Protocol) and WS (Web Services). See the Mustard web page for an overview of Mustard.

Needs:

Usage: See README file (on SourceForge)

Source: Obtain cresstools-1.0.zip (from SourceForge)

Sage (Service Attribute Generator)

Summary:

These files generate OSI (Open Systems Interconnection) service specifications in Lotos. Services are described using the Sage language that builds services from their constituent facilities. See An engineering approach to formal methods and Exploiting the m4 macro language for more details.

Needs: M4, Lotos tools

Usage: See README file

Source: Obtain sage.zip by http

Other Sources of Lotos Software

Several Lotos sites offer information and tools for specification checking, simulation, compilation and analysis.


Up Arrow Up one level to Ken Turner - Software

Web Ken Turner Home   Email    Search Search Web Pages

Last Update: 18th July 2016
URL: http://www.cs.stir.ac.uk/~kjt/software/lotos/lotos.html