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: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
