Skip to main content

Sismic Interactive State Machine 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 State Machine Interpreter and Checker

Statecharts are a well-known visual language for modeling the executable behavior of complex reactive event-based systems. The Sismic library for Python >= 3.4 provides a set of tools to define, validate, simulate, execute and debug 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

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

  • Support for communication between statecharts and co-simulation

  • Built-in support for expressing actions and guards using regular Python code

  • Design-by-contract and behavior-driven development approaches for statecharts

  • A unit testing framework for statecharts, including generation of test scenarios

Installation

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. The development occurs in the devel branch, the latest stable distributed version is in the master branch.

Sismic requires Python >=3.4

Documentation

The documentation for the latest distributed version is available at sismic.readthedocs.org.

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. Unreleased changes are visible here.

Credits

The Sismic library for Python is developed at the Software Engineering Lab of the University of Mons as part of an ongoing software modeling research project.

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

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-0.20.3.tar.gz (761.0 kB view details)

Uploaded Source

Built Distribution

sismic-0.20.3-py3-none-any.whl (35.4 kB view details)

Uploaded Python 3

File details

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

File metadata

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

File hashes

Hashes for sismic-0.20.3.tar.gz
Algorithm Hash digest
SHA256 2aacb44737773bfb393f2dda6934e68525217d4776fa081472d111c7474f03ed
MD5 f855a2d839250031ab474382d1f15b81
BLAKE2b-256 e31e14685a098ed964968878c60f723ae790e858fbe868caecdb88c2f810beac

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for sismic-0.20.3-py3-none-any.whl
Algorithm Hash digest
SHA256 5424204ae336803b77c12674bf50aa2364873dac3b1f6f521ceb0c0920f05b8e
MD5 b8f6e82474c4bcba7f8c9909691ace1e
BLAKE2b-256 b1da20c08ddfcc4a95e26c3195624c452d8b441f1622ab0a8b278a6091e56784

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