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
A design-by-contract approach for statecharts
A unit testing framework for statecharts, including generation of test scenarios
Sismic provides full support for the majority of the UML 2 statechart concepts:
simple states, composite states, orthogonal (parallel) states, initial and final states, shallow and deep history states
state transitions, guarded transitions, automatic (eventless) transitions, internal transitions
statechart variables and their initialisation
state entry and exit actions, transition actions
internal and external events, parametrized events, timed events
In addition to this, contracts can be specified to express invariants, pre- and postconditions on states, transitions and the statechart itself.
The Sismic library is written in a modular way:
The semantics of the statechart interpreter is based on the specification of the SCXML semantics (with a few exceptions), and can be easily tuned to other semantics.
While currently, contracts, guards and actions are expressed in Python, this support can be easily extended to other languages.
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 master branch, the latest stable distributed version is in the stable branch.
Sismic requires Python >=3.4 but should also work with Python 3.3.
Documentation
The latest version of the documentation is available at http://sismic.readthedocs.org/ .
It can also be directly built from the docs/ directory using Sphinx.
Credits
Developed by Alexandre Decan at the University of Mons (Belgium).
GNU Lesser General Public License, version 3.
1 maintainer
Release files for sismic 0.14.0
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| sismic-0.14.0.tar.gz | 902.2 kB | Details |
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| sismic-0.14.0-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 925.8 kB
Release files / sismic-0.14.0.tar.gz
| Download URL | sismic-0.14.0.tar.gz |
|---|---|
| Size | 902.2 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
439f2925642d61a1e2caef7686b376ad807575146d2d05908da26387d3c8b6a2
|
|
BLAKE2b-256 checksum How to use checksums |
a9883d06953c4bb6af4c5f6a515357e0927b3a142d359a722020eaf1eb6bb5b6
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
Release files / sismic-0.14.0-py3-none-any.whl
| Download URL | sismic-0.14.0-py3-none-any.whl |
|---|---|
| Size | 23.6 kB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
98cc7a98dc58d45993486742df136719e43c75f1d78aff3d9d9ecd63ea339bff
|
|
BLAKE2b-256 checksum How to use checksums |
06bfd1e720cd28e0437e482e034813c558103a9c829b8363d9e0b41a5ec1f159
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
