View source for ERE Plugin2.2 Output Syntax

__NOTOC__ __NOEDITSECTION__
{{shortcut|[[Special:EREPlugin2.2|ERE Plugin]] <br /> [[ERE_Plugin2.2_Input_Syntax | ERE Input Syntax]] <br /> [[ERE Monitoring Algorithm2.2|ERE Monitoring Algorithm]]}}

The ERE plugin generates a state machine from the input pattern.
The state of the monitor is updated according to the current state and the received event.  
A trace of events is validated whenever the monitor reaches one of the acceptance states, e.g., state 3 in the below example.
The pattern is violated when the monitor gets stuck, i.e., when no transition can be made from the current state upon the received event.
The output is an FSM description in the input syntax of the FSM plugin, which can be found [[FSM_Plugin2.2_Input_Syntax | here]].
<!--, and a jpeg image of the
FSM.  We provide this graphical output to help visualize the finite state machines only; it is not used by any instance of MOP.  Since EREs have a builtin notion of matching which is used to generate the alias match, we use double circles to denote states in the match alias in the diagrams.  However, this would not make sense in the general FSM plugin, because match is not treated especially from any other alias. -->

=== Example ===

For the pattern:

<code lang=xml>
<mop>
        <Client>Web</Client>
        <Events>a b</Events>
        <Property>
                <Logic>ere</Logic>
                <Formula>(a b)* ~(b ~(a b))</Formula>
        </Property>
        <Categories>fail match</Categories>
</mop>
</code>

The output generated by the ERE plugin is:

<code lang=xml>

<mop>
    <Client>Web</Client>
    <Events>a b</Events>
    <Property>
        <Logic>fsm</Logic>
        <Formula>
  s0[
    a -> s3
    b -> s1
  ]
  s2[
    b -> s4
  ]
  s1[
    a -> s2
  ]
  s4[
  ]
  s3[
    a -> s3
    b -> s3
  ]
alias match = s0,   s4,   s3
</Formula>
    </Property>
    <Categories>fail match</Categories>
    <CreationEvents> b a</CreationEvents>
    <Message>done</Message>
    <EnableSets>// fail Enables
{b=[[], [b], [b, a]], a=[[b], [b, a]]}
// match Enables
{b=[[], [a], [b, a]], a=[[], [b], [a], [b, a]]}
</EnableSets>
    <Statistics>
        <TotalMOPCount>252</TotalMOPCount>
        <CurrentClient>Web</CurrentClient>
        <ClientCount>20</ClientCount>
        <CurrentLogic>ere</CurrentLogic>
        <LogicCount>205</LogicCount>
        <ClientAndLogicCount>3</ClientAndLogicCount>
        <TotalExecutionTime>756ms</TotalExecutionTime>
    </Statistics>
</mop>
</code>

<!--Image representation of the output: 

[[Image:Ere_ex.jpg]]-->