https://github.com/johnazariah/fsm-orleans

Strongly Typed State Machine DSL/Compiler for Orleans Actors
https://github.com/johnazariah/fsm-orleans

Last synced: about 1 month ago
JSON representation

Strongly Typed State Machine DSL/Compiler for Orleans Actors

• Host: GitHub
• URL: https://github.com/johnazariah/fsm-orleans
• Owner: johnazariah
• License: unlicense
• Created: 2017-01-10T13:07:06.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2017-01-18T02:24:36.000Z (over 8 years ago)
• Last Synced: 2025-04-01T18:12:42.452Z (3 months ago)
• Language: F#
• Size: 1000 KB
• Stars: 25
• Watchers: 5
• Forks: 8
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE.txt

Awesome Lists containing this project

README

        
[![Issue Stats](http://issuestats.com/github/johnazariah/fsm-orleans/badge/issue)](http://issuestats.com/github/johnazariah/fsm-orleans)

[![Issue Stats](http://issuestats.com/github/johnazariah/fsm-orleans/badge/pr)](http://issuestats.com/github/johnazariah/fsm-orleans)

# FSM Orleans

Most interactive applications are informally specified state-machines with intertwined business-logic and state-management.

With the possibility of using virtual actor systems, it is highly desirable to be able to formally specify the states, messages and transitions associated with an application separate from the business logic so that we can better reason about an application's behaviour and correctness.

This project specifies one such DSL, and provides a parser/code-generator to transform the DSL into idiomatic Orleans code, allowing the user to formally specify state-transitions and custom business-logic separately. 

A few analysis tools to reason about the state-machine are also provided.

## Build Status

Mono | .NET

---- | ----

[![Mono CI Build Status](https://img.shields.io/travis/johnazariah/fsm-orleans/master.svg)](https://travis-ci.org/johnazariah/fsm-orleans) | [![.NET Build Status](https://img.shields.io/appveyor/ci/fsgit/ProjectScaffold/master.svg)](https://ci.appveyor.com/project/fsgit/projectscaffold)

## Maintainer(s)

- [@johnazariah](https://github.com/johnazariah)