From: Gasso W. Mwaluseke (email@example.com)
Date: Fri 06 Jun 2003 - 18:49:05 BST
Dear Hamdan, In UML terms, flattening a multiple hierarchical levels should mean flattening a composite state which I would say it is quite possible. There are many papers presented on this subject. However, I would like to refer you to a presentation by Alexandre David, Oliver Moller and Wang Yi under the title "Formal verification of UML statecharts with real-time extensions". This will just give you an idea on how to carry out your own investigation. You can also easily understand if you used some formal methods to carry out your work. Gasso Hamdan Dammag wrote: > Dear UML Scholars > > Flattening the AND state seems feasible but it might be complicated if one > is to consider flattening an AND state with many hierarchical levels > (depth). > > Does anyone know a good reference (published papers or books) about > flattening the AND state of Statecharts? especially dealing with multiple > hierarchical levels? > > Regards, > Hamdan > > To remove yourself from this list please mail firstname.lastname@example.org > with a message containing the word "unsubscribe".