Re: A state-machine language in XML

I tend to want to have the text event="example" give you the name of  
some structure that describes the event, like

	<event name="example">
		<conditions match="all">
			<condition network_action="deliver_datagram"/>
			<condition tcp_header_flags="SYN"/> <!-- and not ACK -->
		</conditions>
	</event>

I would also want the thing to contain zero or more triggered actions  
or side effects; an example in the "IP network" fsm might be

	<action name="deliver_datagram">
		<!-- deliver the datagram to the process consuming datagrams  
directed to the system and bearing a specific IP protocol number -->
	</action>

On Mar 16, 2007, at 8:45 PM, Stephane Bortzmeyer wrote:

> On Thu, Feb 22, 2007 at 03:52:13PM +0100,
>  Stephane Bortzmeyer <bortzmeyer@nic.fr> wrote
>  a message of 19 lines which said:
>
>> For those who would prefer a XML syntax:
>>
>> http://www.w3.org/TR/2007/WD-scxml-20070221/
>
> After reading it, I can summary:
>
> The language is more powerful than Cosmogol. It includes things like
> guards (conditions for the firing of the a transition, something which
> is missing from Cosmogol, partly because it requires a language to
> express boolean expressions; State Chart XML uses JavaScript).
>
> Its syntax is obviously very different :-) And it uses the word
> "target" instead of "next" for the state after the transition.
>
> It has substates (using XML natural taste for recursivity), something
> which could be useful in Cosmogol (X509, for instance, is described by
> embedded state machines).
>
> It has rich control abilities, again using JavaScript expressions.
>
> The example http://www.cosmogol.fr/examples.html#door would look like:
>
> <state id="Open">
>   <transition event="Close it" target="Closed"/>
>   <transition event="Blow it out" target="Gone"/>
> </state>
>
> <state id="Closed">
>   <transition event="Open it" target="Open"/>
>   <transition event="Blow it out" target="Gone"/>
> </state>
>
> <state id="Gone"/>
>
> _______________________________________________
> Cosmogol mailing list
> Cosmogol@ietf.org
> https://www1.ietf.org/mailman/listinfo/cosmogol

_______________________________________________
Cosmogol mailing list
Cosmogol@ietf.org
https://www1.ietf.org/mailman/listinfo/cosmogol