RE: [AM] modelling the state of a service

[email protected] Mon, 16 Feb 2004 09:14:58 -0600
Newsgroups gmane.comp.programming.modeling.agile
Message-ID <[email protected]>
Ian,

I think Ashley is heading in the right direction here. Another approach
(based on preference, not superiority) that I prefer is to have the
subordinate nodes report back (via events) to the supervisory node (the
service). The events sent back would provide the information to permit the
service to maintain its state via state machine instead of calculate by
polling subordinates.

This is supported via UML.

Regards,
Robert


-----Original Message-----
From: Ashley McNeile [mailto:[email protected]]
Sent: Monday, February 16, 2004 7:58 AM
To: [email protected]
Subject: Re: [AM] modelling the state of a service
Importance: Low


Ian

It seems to me that this is a classic example of where the notion of a
calculated state is useful.

It would be used as follows:

- Each Node would have its own state (perhaps modelled with a state machine
for each node).

- The Service would be modelled with a state machine that has a derived
state, calculated from the states of the Nodes. If the count of nodes that
are down is two (or more) the calculated state of the Service is "service
compromised", otherwise it is "service OK". This state machine determines
what can and cannot happen at the Service level.

Calculated states (which are conceptually just like calculated or derived
attributes) have equal expressive power to guards, but avoid the transition
explosion you describe.

Calculated states are not (unfortunately) supported in any sensible way by
UML.

I can provide more information if you are interested -- let me know
privately.

Rgds
Ashley

For more information about AM, visit the Agile Modeling Home Page at
www.agilemodeling.com

For more information about AM, visit the Agile Modeling Home Page at www.agilemodeling.com
--^----------------------------------------------------------------
This email was sent to: [email protected]

EASY UNSUBSCRIBE click here: http://topica.com/u/?bUrKDA.bWnbtk.Z2NtYS1h
Or send an email to: [email protected]

TOPICA - Start your own email discussion group. FREE!
http://www.topica.com/partner/tag02/create/index2.html
--^----------------------------------------------------------------