Skip to main content

Sismic Interactive State Machine Interpreter and Checker

Project description

https://travis-ci.org/AlexandreDecan/sismic.svg https://coveralls.io/repos/AlexandreDecan/sismic/badge.svg?branch=master&service=github https://badge.fury.io/py/sismic.svg https://readthedocs.org/projects/sismic/badge

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.

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

Uploaded Source

Built Distribution

sismic-0.14.0-py3-none-any.whl (23.6 kB view details)

Uploaded Python 3

File details

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

File metadata

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

File hashes

Hashes for sismic-0.14.0.tar.gz
Algorithm Hash digest
SHA256 439f2925642d61a1e2caef7686b376ad807575146d2d05908da26387d3c8b6a2
MD5 eab3ca5ed5ea1f8b7e539eba39761195
BLAKE2b-256 a9883d06953c4bb6af4c5f6a515357e0927b3a142d359a722020eaf1eb6bb5b6

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for sismic-0.14.0-py3-none-any.whl
Algorithm Hash digest
SHA256 98cc7a98dc58d45993486742df136719e43c75f1d78aff3d9d9ecd63ea339bff
MD5 c58654098f5a0a512a9b0a34d1253059
BLAKE2b-256 06bfd1e720cd28e0437e482e034813c558103a9c829b8363d9e0b41a5ec1f159

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