Flattening of statecharts



Date view Thread view Subject view Author view Attachment view

From: Andrzej Wasowski (andrzej_wasowski@yahoo.com)
Date: Wed 06 Aug 2003 - 14:15:53 BST


Dear pUML-ers,

Do you know of any published result that removing hierarchy from
statecharts (not necesserily UML statecharts) incurres an exponential
blow-up? [More precisely that regardless of flattening algorithm there
will be always some hierarchical statecharts which cannot be flattened
without the blow-up?]

I have found a few succintness results for statecharts in the
literature, but not this precise one, which seems to be essential for
numerous tools.

regards

andrzej

--
Andrzej Wasowski, PhD student, IT University of Copenhagen
http://www.mini.pw.edu.pl/~wasowski/



________________________________________________________________________
Want to chat instantly with your online friends?  Get the FREE Yahoo!
Messenger http://uk.messenger.yahoo.com/

Date view Thread view Subject view Author view Attachment view