Amble transcript from KM3 by Regis Chevrel (regis.chevrel <at> gmail.com) Amble Amble Element true Program false Process false State false Transition true Trans false Strans false Transall false Guard false Action false Network false Channel false Message false Variable false HasAspect HasAspect HasAspect HasAspect HasAspect HasAspect HasAspect HasAspect HasAspect HasAspect HasAspect HasAspect inh_id-0066-14 BaseInheritance HasAspect inh_id-0066-16 BaseInheritance HasAspect DerivedInheritance DerivedInheritance DerivedInheritance DerivedInheritance DerivedInheritance DerivedInheritance DerivedInheritance DerivedInheritance DerivedInheritance DerivedInheritance DerivedInheritance DerivedInheritance initial 0..1 initial transitions 0..* transitions networks 0..* networks messages 0..* messages processes 0..* processes states 0..* states guard 0..1 guard action 0..1 action variables 0..* variables channels 0..* channels isInitial HasAttribute initValue string HasAttribute maxId integer HasAttribute minId integer HasAttribute name string HasAttribute type string HasAttribute instancesNb integer HasAttribute id-0066-24 25 id-0068-1 1 src id-0068-2 0..* dst id-0068-3 id-0066-26 27 id-0068-4 0..* src id-0068-5 1 dst id-0068-6 id-0066-28 29 id-0068-7 1 src id-0068-8 0..* dst id-0068-9 id-0066-30 31 id-0068-10 0..* src id-0068-11 1 dst id-0068-12 id-0066-32 33 id-0068-13 1 src id-0068-14 0..* dst id-0068-15 id-0066-34 35 id-0068-16 0..* src id-0068-17 0..* dst id-0068-18 id-0066-36 37 id-0068-19 1 src id-0068-20 0..* dst id-0068-21 id-0066-38 39 id-0068-22 1 src id-0068-23 0..* dst id-0068-24 id-0066-40 41 id-0068-25 1 src id-0068-26 0..* dst id-0068-27 Aspect