Skip to content
| Marketplace
Sign in
Visual Studio>Tools>FSM for Orleans
FSM for Orleans

FSM for Orleans

John Azariah

|
111 installs
| (0) | Free
DSL, Parser and Code-Generator for strictly typed state machines in Orleans
Download

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  

The name to use for the "Custom Tool" property is "OrleansStateMachineGenerator".

 

  • Contact us
  • Jobs
  • Privacy
  • Manage cookies
  • Terms of use
  • Trademarks
© 2025 Microsoft