Re: Syntax of transitions
"Clive D.W. Feather" <clive@demon.net> Thu, 11 January 2007 14:51 UTC
Received: from [127.0.0.1] (helo=stiedprmman1.va.neustar.com) by megatron.ietf.org with esmtp (Exim 4.43) id 1H51Gk-00087F-Dn; Thu, 11 Jan 2007 09:51:06 -0500
Received: from [10.91.34.44] (helo=ietf-mx.ietf.org) by megatron.ietf.org with esmtp (Exim 4.43) id 1H51Gj-00083X-GT for cosmogol@ietf.org; Thu, 11 Jan 2007 09:51:05 -0500
Received: from anchor-internal-1.mail.demon.net ([195.173.56.100]) by ietf-mx.ietf.org with esmtp (Exim 4.43) id 1H51Gf-00032s-3I for cosmogol@ietf.org; Thu, 11 Jan 2007 09:51:05 -0500
Received: from finch-staff-1.server.demon.net (finch-staff-1.server.demon.net [193.195.224.1]) by anchor-internal-1.mail.demon.net with ESMTP� id l0BEowXu025818Thu, 11 Jan 2007 14:50:58 GMT
Received: from clive by finch-staff-1.server.demon.net with local (Exim 3.36 #1) id 1H51Gb-0008LR-00; Thu, 11 Jan 2007 14:50:57 +0000
Date: Thu, 11 Jan 2007 14:50:57 +0000
From: "Clive D.W. Feather" <clive@demon.net>
To: Frank Ellermann <nobody@xyzzy.claranet.de>
Message-ID: <20070111145057.GE24072@finch-staff-1.thus.net>
References: <20070108162900.GA66689@finch-staff-1.thus.net> <20070109221042.GC28340@sources.org> <45A56A51.2874@xyzzy.claranet.de>
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Disposition: inline
In-Reply-To: <45A56A51.2874@xyzzy.claranet.de>
User-Agent: Mutt/1.5.3i
X-Spam-Score: 0.0 (/)
X-Scan-Signature: 9ed51c9d1356100bce94f1ae4ec616a9
Cc: cosmogol@ietf.org
Subject: Re: Syntax of transitions
X-BeenThere: cosmogol@ietf.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: DIscussion on state machine specification in IETF protocols <cosmogol.ietf.org>
List-Unsubscribe: <https://www1.ietf.org/mailman/listinfo/cosmogol>, <mailto:cosmogol-request@ietf.org?subject=unsubscribe>
List-Archive: <http://www1.ietf.org/pipermail/cosmogol>
List-Post: <mailto:cosmogol@ietf.org>
List-Help: <mailto:cosmogol-request@ietf.org?subject=help>
List-Subscribe: <https://www1.ietf.org/mailman/listinfo/cosmogol>, <mailto:cosmogol-request@ietf.org?subject=subscribe>
Errors-To: cosmogol-bounces@ietf.org
Frank Ellermann said: >>> is there any reason to forbid multiple actions? >> No, no good reasons, and protocols like SIP or SCTP >> really need multiple actions. > A good reason would be KISS, you can split sequential > actions using intermediary states, You *can*, but in some cases it will obscure matters to no good end. I'd rather have an "only one action" flag for interpreters. > and you want the > states written into lines with 69 characters. Non-sequitor. > But if the actions are simultaneously, or their order > is irrelevant it's less clear. If some of the actions > (almost) always occur together you could get away with > named sets of states. I don't follow this either. > Maybe introducing named sets of either states, or > messsages, or actions makes sense. With that you'd > get "state or named set of states", "message or named > set of messages", and "action or named set of actions", > and a general concept of named sets. Is that better ? Named sets is an interesting extension: SET problems = error, warning, delay ; but it's not really relevant to the question. I want to be able to write: Signal1 @ IDLE -> BUSY : "Send 101", connectSubscriber ; without having to invent a set just to contain these two actions. -- Clive D.W. Feather | Work: <clive@demon.net> | Tel: +44 20 8495 6138 Internet Expert | Home: <clive@davros.org> | Fax: +44 870 051 9937 Demon Internet | WWW: http://www.davros.org | Mobile: +44 7973 377646 THUS plc | | _______________________________________________ Cosmogol mailing list Cosmogol@ietf.org https://www1.ietf.org/mailman/listinfo/cosmogol
- Syntax of transitions Clive D.W. Feather
- Re: Syntax of transitions Stephane Bortzmeyer
- Re: Syntax of transitions Frank Ellermann
- Re: Syntax of transitions Clive D.W. Feather
- Re: Syntax of transitions Frank Ellermann
- Re: Syntax of transitions Clive D.W. Feather
- Re: Syntax of transitions Frank Ellermann