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).
1 maintainer
Metadata
1 maintainer
Release files for sismic 0.20.3
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | Provenance | |
|---|---|---|---|---|
| sismic-0.20.3.tar.gz | 761.0 kB | Without provenance | Details |
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| sismic-0.20.3-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 796.4 kB
Release files / sismic-0.20.3.tar.gz
| Download URL | sismic-0.20.3.tar.gz |
|---|---|
| Size | 761.0 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
2aacb44737773bfb393f2dda6934e68525217d4776fa081472d111c7474f03ed
|
|
BLAKE2b-256 checksum How to use checksums |
e31e14685a098ed964968878c60f723ae790e858fbe868caecdb88c2f810beac
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
Release files / sismic-0.20.3-py3-none-any.whl
| Download URL | sismic-0.20.3-py3-none-any.whl |
|---|---|
| Size | 35.4 kB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
5424204ae336803b77c12674bf50aa2364873dac3b1f6f521ceb0c0920f05b8e
|
|
BLAKE2b-256 checksum How to use checksums |
b1da20c08ddfcc4a95e26c3195624c452d8b441f1622ab0a8b278a6091e56784
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
Security for sismic 0.20.3
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
No provenance found
None of the files in this release were uploaded with provenance metadata.
A note on package security
PyPI is a repository for distributing packages, not a service for auditing them. While third-party security researchers and our staff do their best to detect and remove malicious packages, PyPI cannot guarantee the quality, security or suitability of any given package.
