[Lenya Wiki] Update of "Workflow" by GregorRothfuss

[Apache Wiki <wi...@apache.org>]

Dear Wiki user,

You have subscribed to a wiki page or wiki category on "Lenya Wiki" for change notification.

The following page has been changed by GregorRothfuss:
http://wiki.apache.org/lenya/Workflow

The comment on the change is:
moved to lenya docs

------------------------------------------------------------------------------
- = Workflow in Lenya =
+ deleted
  
- == Links ==
- 
-  *  [:WorkflowAPI]
- 
- == Syntax ==
- 
- A workflow description is called a '''workflow schema'''. It is a guarded automaton:
- 
- '''W''' = ('''S''', '''T''', '''E''', '''C''', '''A''', '''V''', '''s0''')
- 
- with
- 
-  *  '''S''' is a set of states
-  *  '''E''' is a set of events
-  *  '''C''' is a set of conditions
-  *  '''A''' is a set of actions
-  *  '''V''' is a set of boolean variables
-  *  '''Ass''' is a set of assignments: '''Ass''' subseteq '''V''' x {true, false}
-  *  '''T''' is a set of transitions: '''T''' subseteq '''E''' x '''S''' --> '''S''' x '''CS''' x '''AS'''
-   with
-   * '''CS''' subseteq '''C'''
-   * '''AS''' = {(A1, ..., An)} for Ai in '''A''' union '''Ass''' and n in N0
-  *  '''s0''' in '''S''' is the initial state
- 
- == Semantics ==
- 
- A '''workflow instance''' is defined as follows:
- 
- '''I''' = ('''W''', '''s''', '''i''')
- 
- with
- 
-  *  a workflow schema '''W''' = ('''S''', '''T''', '''E''', '''C''', '''A''', '''V''', '''s0''')
-  *  a current state '''s''' in '''S'''
-  *  a variable instantiation '''i''': '''V''' --> {true, false}
- 
- Be '''I''' = ('''W''', '''s''', '''i''') a workflow instance.
- The successor of '''I''' for the event '''e''' is
- 
- (a) the workflow instance '''I'''' = ('''W''', '''s'''', '''i'''') with
- 
-  *  there is a t in '''T''' with
-   * t = ('''e''', '''s''', '''s'''', '''cs''', '''as''')
-   * all c in '''cs''' are complied
-  *  '''i''''(v) = b for all v with (v, b) in '''as'''
-  *  '''i''''(v) = '''i'''(v) for all other v
- 
- (b) '''I''', if such a t does not exist.
- 

---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscribe@lenya.apache.org
For additional commands, e-mail: dev-help@lenya.apache.org