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://badge.fury.io/py/sismic.svg 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.4 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

  • 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

  • Synchronous and asynchronous simulation, in real time or simulated time

  • Support for communication between statecharts and co-simulation

  • Statechart visualization using PlantUML

Some experimental features are also available as feature branches.

Installation

Sismic requires Python >=3.4. 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 | RSS feed

Download files

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

Source Distribution

sismic-1.2.0.tar.gz (551.6 kB view details)

Uploaded Source

Built Distribution

sismic-1.2.0-py3-none-any.whl (40.9 kB view details)

Uploaded Python 3

File details

Details for the file sismic-1.2.0.tar.gz.

File metadata

  • Download URL: sismic-1.2.0.tar.gz
  • Upload date:
  • Size: 551.6 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No

File hashes

Hashes for sismic-1.2.0.tar.gz
Algorithm Hash digest
SHA256 5c069f7c662aa7b9927eef16688bc3fe5c5f51e0145d83d8b35e7a063f0e5392
MD5 202a84a7331f8f29c2462a3041673e1b
BLAKE2b-256 a7213339ab8c5a6fd51f7b1c5e4c6b9a02a23b458fb745fa92d9ab9b237c7ddd

See more details on using hashes here.

File details

Details for the file sismic-1.2.0-py3-none-any.whl.

File metadata

File hashes

Hashes for sismic-1.2.0-py3-none-any.whl
Algorithm Hash digest
SHA256 6ddef4edad53e540dfbc11a56661dfb90573b406a6831fbedc3d55618679c617
MD5 ea77bb8fca4ab0744a8405a8385c3129
BLAKE2b-256 b3cbf3889ae66e7ec48e1ade9beb1501e25b7f78c2660790b13cc4ba67df45a2

See more details on using hashes here.

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page