Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
[henshin-user] UML state machines and dangling edges?

Hello everyone,

currently I try to delete a transition of a state machine with a given name.

Henshin only applies the transformation as shown in the attachement if "check dangling" is deactived. Why?

In my example, Transition4 only has two states it is connected to which are to be preserved.

Kind regards,
Jens

Attachment: rule.jpeg
Description: JPEG image

<?xml version="1.0" encoding="UTF-8"?>
<uml:Model xmi:version="20131001" xmlns:xmi="http://www.omg.org/spec/XMI/20131001"; xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore"; xmlns:uml="http://www.eclipse.org/uml2/5.0.0/UML"; xmi:id="_afIlIFyJEeWAv_wOCWPg3Q" name="RootElement">
  <packagedElement xmi:type="uml:StateMachine" xmi:id="_ahQsEFyJEeWAv_wOCWPg3Q" name="StateMachine1">
    <region xmi:type="uml:Region" xmi:id="_ahy3kFyJEeWAv_wOCWPg3Q" name="Region1">
      <transition xmi:type="uml:Transition" xmi:id="_erfQ0FyJEeWAv_wOCWPg3Q" source="_dAa2IFyJEeWAv_wOCWPg3Q" target="_cCywQFyJEeWAv_wOCWPg3Q"/>
      <transition xmi:type="uml:Transition" xmi:id="_hEHVEFyJEeWAv_wOCWPg3Q" source="_cCywQFyJEeWAv_wOCWPg3Q" target="_csemcFyJEeWAv_wOCWPg3Q"/>
      <transition xmi:type="uml:Transition" xmi:id="_hiFDcFyJEeWAv_wOCWPg3Q" name="Transition4" source="_cCywQFyJEeWAv_wOCWPg3Q" target="_cVCW0FyJEeWAv_wOCWPg3Q"/>
      <transition xmi:type="uml:Transition" xmi:id="_iNvPkFyJEeWAv_wOCWPg3Q" source="_csemcFyJEeWAv_wOCWPg3Q" target="_cVCW0FyJEeWAv_wOCWPg3Q"/>
      <transition xmi:type="uml:Transition" xmi:id="_i3hzcFyJEeWAv_wOCWPg3Q" source="_cVCW0FyJEeWAv_wOCWPg3Q" target="_dPMR8FyJEeWAv_wOCWPg3Q"/>
      <subvertex xmi:type="uml:State" xmi:id="_cCywQFyJEeWAv_wOCWPg3Q" name="State1"/>
      <subvertex xmi:type="uml:State" xmi:id="_cVCW0FyJEeWAv_wOCWPg3Q" name="State2"/>
      <subvertex xmi:type="uml:State" xmi:id="_csemcFyJEeWAv_wOCWPg3Q" name="State3"/>
      <subvertex xmi:type="uml:Pseudostate" xmi:id="_dAa2IFyJEeWAv_wOCWPg3Q" name="Initial1"/>
      <subvertex xmi:type="uml:FinalState" xmi:id="_dPMR8FyJEeWAv_wOCWPg3Q" name="FinalState1"/>
    </region>
  </packagedElement>
  <profileApplication xmi:type="uml:ProfileApplication" xmi:id="_nJ0IAFyJEeWAv_wOCWPg3Q">
    <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_nJ19MFyJEeWAv_wOCWPg3Q" source="http://www.eclipse.org/uml2/2.0.0/UML";>
      <references xmi:type="ecore:EPackage" href="pathmap://PAPYRUS_ACTIONLANGUAGE_PROFILE/ActionLanguage-Profile.profile.uml#_Kv8EIKFXEeS_KNX0nfvIVQ"/>
    </eAnnotations>
    <appliedProfile xmi:type="uml:Profile" href="pathmap://PAPYRUS_ACTIONLANGUAGE_PROFILE/ActionLanguage-Profile.profile.uml#ActionLanguage"/>
  </profileApplication>
</uml:Model>

Back to the top