Skip to main content

Sismic Interactive Statechart Model Interpreter and Checker

Project description

https://travis-ci.org/AlexandreDecan/sismic.svg?branch=master https://coveralls.io/repos/AlexandreDecan/sismic/badge.svg?branch=master&service=github https://api.codacy.com/project/badge/grade/10d0a71b01c144859db571ddf17bb7d4 https://readthedocs.org/projects/sismic/badge/?version=master

Sismic Interactive Statechart Model Interpreter and Checker

Sismic is a recursive acronym that stands for Sismic Interactive Statechart Model Interpreter and Checker.

Statecharts are a well-known visual modeling language for representing the executable behavior of complex reactive event-based systems. Sismic library for Python (version 3.5 or higher) provides a set of tools to define, validate, simulate, execute and test statecharts. More specifically, Sismic provides:

  • An easy way to define and to import statecharts, based on the human-friendly YAML markup language
  • A statechart interpreter offering a discrete, step-by-step, and fully observable simulation engine
  • Fully controllable simulation clock, with support for real and simulated time
  • Built-in support for expressing actions and guards using regular Python code, can be easily extended to other programming languages
  • A design-by-contract approach for statecharts: contracts can be specified to express invariants, pre- and postconditions on states and transitions
  • Runtime checking of behavioral properties expressed as statecharts
  • Built-in support for behavior-driven development
  • Support for communication between statecharts
  • Synchronous and asynchronous executions
  • Statechart visualization using PlantUML

Some experimental features are also available as feature branches.

Installation

Sismic requires Python >=3.5. Sismic can be installed using pip as usual: pip install sismic. This will install the latest stable version.

You can also install Sismic from this repository by cloning it.

Starting from release 1.0.0, Sismic adheres to a semantic versioning scheme.

Documentation

The documentation for the latest distributed version is available on sismic.readthedocs.io.

Many examples are available in docs/examples.

The documentation can also be directly built from the docs directory using Sphinx.

Changelog

See documentation’s changelog.

Credits

The Sismic library for Python is mainly developed by Alexandre Decan at the University of Mons with the help of many contributors.

Sismic is released publicly under the GNU Lesser General Public Licence version 3.0 (LGPLv3).

You can cite Sismic using:

@software{sismic,
  author = {{Alexandre Decan}},
  title = {Sismic Interactive Statechart Model Interpreter and Checker},
  url = {https://github.com/AlexandreDecan/sismic},
}

Project details


Release history Release notifications

This version
History Node

1.3.0

History Node

1.2.2

History Node

1.2.1

History Node

1.2.0

History Node

1.1.2

History Node

1.1.1

History Node

1.1.0

History Node

1.0.1

History Node

1.0.0.post1

History Node

1.0.0

History Node

1.0.0rc2

History Node

1.0.0rc1

History Node

0.26.9

History Node

0.26.8

History Node

0.26.7

History Node

0.26.6

History Node

0.26.5

History Node

0.26.4

History Node

0.26.3

History Node

0.26.2

History Node

0.26.1

History Node

0.26.0

History Node

0.25.3

History Node

0.25.2

History Node

0.25.1

History Node

0.25.0

History Node

0.24.3

History Node

0.24.2

History Node

0.24.1

History Node

0.24.0

History Node

0.23.1

History Node

0.23.0

History Node

0.22.11

History Node

0.22.10

History Node

0.22.9

History Node

0.22.8

History Node

0.22.7

History Node

0.22.5

History Node

0.22.4

History Node

0.22.3

History Node

0.22.2

History Node

0.22.1

History Node

0.22.0

History Node

0.21.0

History Node

0.20.5

History Node

0.20.4

History Node

0.20.3

History Node

0.20.2

History Node

0.20.1

History Node

0.20.0

History Node

0.19.0

History Node

0.18.1

History Node

0.18.0

History Node

0.17.3

History Node

0.17.2

History Node

0.17.1

History Node

0.16.0

History Node

0.15.0

History Node

0.14.3

History Node

0.14.2

History Node

0.14.1

History Node

0.14.0

History Node

0.13.1

History Node

0.12.4

History Node

0.12.2

History Node

0.12.1

History Node

0.11.5

History Node

0.11.4

History Node

0.11.3

History Node

0.11.2

History Node

0.11.1

History Node

0.11.0

History Node

0.10.1

History Node

0.10.0

History Node

0.9.0

History Node

0.8.1

History Node

0.6.3

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Filename, size & hash SHA256 hash help File type Python version Upload date
sismic-1.3.0-py3-none-any.whl (48.0 kB) Copy SHA256 hash SHA256 Wheel py3 Jul 6, 2018
sismic-1.3.0.tar.gz (561.2 kB) Copy SHA256 hash SHA256 Source None Jul 6, 2018

Supported by

Elastic Elastic Search Pingdom Pingdom Monitoring Google Google BigQuery Sentry Sentry Error logging CloudAMQP CloudAMQP RabbitMQ AWS AWS Cloud computing DataDog DataDog Monitoring Fastly Fastly CDN DigiCert DigiCert EV certificate StatusPage StatusPage Status page