b r a y d e n . o r g / Software

/ WebHome / StateCharts / StateChartToolFeatures / AndDecomposition

This Web


WebHome  
Topic List  
Web Statistics 

All Webs


Books
Main
Random
Software
TWiki  

brayden.org


Home
Monthly Digest
Today's Links
Resumé
Reading List
Books RSS
Random RSS
Software RSS

Other


Dale's Blog

currently-reading
TextDrive

And-Decomposition

This is a fundamental part of the Harel state chart semantics. The idea is that you can define 'parallel' states that typically represent different 'aspects' of the process that is being modelled. For example, if the state machine represents a control panel of some kind, one parallel state might represent the enabled/disabled status of a part of the control panel, and another parallel state could represent the on/off status of that same part of the control panel. By separating the aspects in that way transitions can occur between enabled and disabled without affecting the on/off states, thus effecting a 'memory' when the control panel is re-enabled.

-- DaleBrayden - 16 Jul 2002

 
 
Current Rev: r1.2 - 25 Jun 2003 - 05:20 GMT - DaleBrayden, Revision History:Diffs | r1.2 | > | r1.1
© 2003-2011 by the contributing authors.