Click here to Skip to main content
12,827,730 members (47,978 online)
Click here to Skip to main content
Add your own
alternative version


31 bookmarked
Posted 20 Oct 2008

State Machine Complier And

, 20 Oct 2008 CPOL
Rate this:
Please Sign up or sign in to vote.
This article demonstrate the implementation of State Machine Compiler in .NET. This is small proof of concept for developing state machine workflow activity.


The workflow activity has become a core business process in various domains. There are many technologies that provide the solution to design workflow activity and a mechanism to process the work request as per the user role or state of activities. One of them is Windows Workflow foundation. WWF provides a solution to such problem, but with very complex architecture to achieve this .This involves significant amount of production time. The workflow activity is not static it varies with change in business process. To deal with this problem we have state machine complier which provides out of the box solution to it. SMC is an open source code. This article demonstrate and help one to understand the implementation workflow using State Machine Compiler in .Net.

Reference: State Machine Compiler

  • Today Java Net- SMC
  • System Requirement

  • Install Java SDK
  • statemap.dll
  • SMC.jar
  • Syntax: State Machine definition

    Here is the syntax to start writing state machine workflow definition.Below diagram is self explanatory.

    [Transition Method]  	[Transition State]
    	[Action Method]

    Semantics: State Machine definition

    The semantics below describes the use of gaurd condition,multiple transition and actions performed on state changed. These semantics thus solves lot of business problem statement.Below is the list of semantics required to write sm file.

    1) If there is no action for a given transition.

    	    TransitionMethodName() TransitionStateName 

    2) One can pass input arguments to transition method.

        		TransitionMethodName (userId: String) TransitionStateName 

    3) One can have Guard Condition for multiple Transitions within a state definition.

                     Action1	{}
                     Action2	{}

    4) If there is no action for a given transition.

        		TransitionMethodName ()         

    Problem Statement

    Here we have to create state machine workflow for CAR-Vehicle. As car can have four state Start ,Run,SlowDown and Stop.Taking these state I have designed a small demo project which demonstrate how to use SMC in .net. The prior knowledge of workflow can help one to understand this demo quickly.Lets us follow the below step to create workflow for this problem statement.

    Steps To Integrate SMC With .Net

    Below diagram depicts the picture how state change occured in workflow.This diagram is state activity diagram which help us to understand the state transition from start to end.

    State Machine Flow Diagram

    1. Create State machine defination file called .SM file, for CAR workflow.

    Taking above semantics and syntax we can create sm file. Below is the sm created for CAR automation workflow.Here the CarEntity is the object of business entity Car. The action UpdateState has takes three argument one car object,Next state and Current state.So in UpdateState we specify the next possible state for given current state.

    Car State Machine Definition

    %class CarWF %package StateMachineWorkflowActivity %import StateMachineWorkflowActivity %start MainMap::Start %map MainMap %% Start { SubmitRun Run { UpdateState(ctxt.CarEntity , Utilities.CarState.Run, Utilities.CarState.Start); } SubmitStop Stop { UpdateState(ctxt.CarEntity , Utilities.CarState.Stop , Utilities.CarState.Start); } } Run { SubmitSlowDown SlowDown { UpdateState(ctxt.CarEntity , Utilities.CarState.SlowDown, Utilities.CarState.Run); } SubmitStop Stop { UpdateState(ctxt.CarEntity , Utilities.CarState.Stop , Utilities.CarState.Run); } } SlowDown { SubmitStop Stop { UpdateState(ctxt.CarEntity , Utilities.CarState.Stop , Utilities.CarState.SlowDown); } } Stop { } %%

    2. Run the Command To Generate the CSharp Class From SM File

    Run the below command in command prompt to generate workflow CSharp file.

    java -jar "D:\SMC_Demo\Smc.jar" -reflect -serial -csharp  "D:\SMC_Demo\"

    3. Create Persistence mechanism In Database

    In workflow it is very important to implement persistence mechanism where we can store the context of each entity and activity in database.Here I design very simple workflow saving mechanism.Create database named CarAutomation. There will be three table in it. The significance is stated as follows:

  • 1. Car Table: This table will marked the entry of car details, its current and previous state and customer of the car.

  • 2. StateMaster Table: This table will list all the states available for car automation.

  • 3. StateAuditLog Table: This table maintains the history of states for each car created and workflow activity occurred at each state

    Database Diagram

    4. Create Solution in .Net

    Refer source code for more information.

    Here is the class diagram for stateMachineWorkFlowActivity package.

    Create Car Dashboard.

    In UI mode user view workflow dashboard.This dashboard is the workflow activity screen where one initiates state transition and perform appropiate actions as defined in state definition file. User clicks on respective CAR ID and perform state transition for it. The URL for each state transition is maintain in database table.

    Once the user clicks on CAR ID ,he/she is redirected to state activity page for the current state. Here user can clicks on 'Run','Slowdown' or 'Stop'. If user clicks on Run and Stop ,the action is perform as it is correct rules as per .SM file definition.

    protected void btnRun_Click(object sender, EventArgs e)
                Car car = new Car();
                car.CarID = Convert.ToInt32(ViewState["CAR_ID"]);
                car.Remark = "State Machine Compiler:Run Car";
                car.State = (Utilities.CarState)Convert.ToInt32(ViewState["State"]);
                car.User = 444;
                StateMachineWorkflowActivity.IWFFactory m_WFactory = new StateMachineWorkflowActivity.WFFactory();
                StateMachineWorkflowActivity.ICarWF m_CarWF = m_WFactory.StartWorkFlowStateMachine(car);
                Response.Redirect("CarDashboard.aspx", false);
           catch (Exception ex)
                if (((statemap.TransitionUndefinedException)(ex)) == ex)
                ClientScript.RegisterClientScriptBlock(GetType(),"Key1","alert('This is undefined Workflow State.')");

    If user clicks on Slowdown for current state 'Start', it will prompt for undefined state transition.


    Hope this article will help the developer who needs reference for State Machine Compiler. This is just initiative towards presenting one working model of SMC integration with


    This article, along with any associated source code and files, is licensed under The Code Project Open License (CPOL)


    About the Author

    santosh poojari
    Technical Lead
    India India
    Whatsup-->Exploring--> MVC/HTML5/Javascript & Virtualization.......!

    You may also be interested in...

    Comments and Discussions

    GeneralGraphical state machine designer for .SM files - visual paradigm Pin
    Jeremy Thomas11-Dec-08 1:00
    memberJeremy Thomas11-Dec-08 1:00 
    GeneralRe: Graphical state machine designer for .SM files - visual paradigm Pin
    santosh poojari22-Dec-08 22:39
    membersantosh poojari22-Dec-08 22:39 
    GeneralRe: Graphical state machine designer for .SM files - visual paradigm Pin
    Jeremy Thomas14-Jan-09 22:40
    memberJeremy Thomas14-Jan-09 22:40 
    GeneralState machine Designer Pin
    marc.thom28-Oct-08 9:07
    membermarc.thom28-Oct-08 9:07 
    GeneralRe: State machine Designer Pin
    santosh poojari29-Oct-08 23:15
    membersantosh poojari29-Oct-08 23:15 
    GeneralRe: State machine Designer Pin
    Southmountain17-Mar-17 9:15
    memberSouthmountain17-Mar-17 9:15 

    General General    News News    Suggestion Suggestion    Question Question    Bug Bug    Answer Answer    Joke Joke    Praise Praise    Rant Rant    Admin Admin   

    Use Ctrl+Left/Right to switch messages, Ctrl+Up/Down to switch threads, Ctrl+Shift+Left/Right to switch pages.

    Permalink | Advertise | Privacy | Terms of Use | Mobile
    Web02 | 2.8.170326.1 | Last Updated 21 Oct 2008
    Article Copyright 2008 by santosh poojari
    Everything else Copyright © CodeProject, 1999-2017
    Layout: fixed | fluid