Public feed #379039

Untitled

public text v1 · immutable
Raw Edit
·published 2007-03-02 23:01 UTC
rendered paste body
<?xml version="1.0"?>
<fujaba_export xmlns:xlink="http://www.w3.org/1999/xlink">
    <diagram>
        <plugin>
            <name>RealtimeStatechart</name>
            <id>de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin</id>
            <majorVersion>1</majorVersion>
            <minorVersion>0</minorVersion>
            <buildNumber>0</buildNumber>
        </plugin>
        <plugin>
            <name>UML-Real-Time Plug-In</name>
            <id>de.upb.fujaba.umlrt.UMLRTPlugin</id>
            <majorVersion>2</majorVersion>
            <minorVersion>0</minorVersion>
            <buildNumber>0</buildNumber>
        </plugin>
        <plugin>
            <name>CppCodeGenerator</name>
            <id>de.upb.fujaba.umlrt.CppCodeGenerator</id>
            <majorVersion>1</majorVersion>
            <minorVersion>0</minorVersion>
            <buildNumber>0</buildNumber>
        </plugin>
        <plugin>
            <name>EmbeddedStoryDiagramExtension</name>
            <id>de.uni_paderborn.fujaba.umlrt.esde.EmbeddedStoryDiagramExtensionPlugin</id>
            <majorVersion>2</majorVersion>
            <minorVersion>0</minorVersion>
            <buildNumber>0</buildNumber>
        </plugin>
        <plugin>
            <name>GTSPlugin</name>
            <id>de.upb.GTSPlugin.GXLExportPlugin</id>
            <majorVersion>1</majorVersion>
            <minorVersion>1</minorVersion>
            <buildNumber>0</buildNumber>
        </plugin>
        <plugin>
            <name>HybridComponent</name>
            <id>de.upb.fujaba.umlrt.hybridcomponent.HybridComponentPlugin</id>
            <majorVersion>0</majorVersion>
            <minorVersion>1</minorVersion>
            <buildNumber>0</buildNumber>
        </plugin>
        <plugin>
            <name>HybridModelChecking</name>
            <id>de.upb.fujaba.umlrt.hybridmodelchecking.HybridModelCheckingPlugin</id>
            <majorVersion>0</majorVersion>
            <minorVersion>1</minorVersion>
            <buildNumber>0</buildNumber>
        </plugin>
        <plugin>
            <name>InvariantChecking PlugIn</name>
            <id>de.uni_paderborn.fujaba.invariantchecking.InvariantCheckingPlugin</id>
            <majorVersion>0</majorVersion>
            <minorVersion>2</minorVersion>
            <buildNumber>0</buildNumber>
        </plugin>
        <plugin>
            <name>UppaalPlugin</name>
            <id>de.upb.fujaba.umlrt.modelchecking.UppaalPlugin</id>
            <majorVersion>1</majorVersion>
            <minorVersion>0</minorVersion>
            <buildNumber>0</buildNumber>
        </plugin>
        <plugin>
            <name>UMLModelchecking</name>
            <id>de.upb.fujaba.umlrt.umlmodelchecking.UMLModelchecking</id>
            <majorVersion>1</majorVersion>
            <minorVersion>0</minorVersion>
            <buildNumber>0</buildNumber>
        </plugin>
        <object id="id39">
            <class>de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeStatechart</class>
            <pluginId>de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin</pluginId>
            <classLoader>de.uni_paderborn.lib.classloader.UPBClassLoader@106082</classLoader>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeStatechart::rtscId">
                <value>0</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeStatechart::eventQueueSize">
                <value>100</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeStatechart::name">
                <value/>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeStatechart::isRTSCRefinement">
                <value>false</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeStatechart::isTopStatechart">
                <value>true</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeStatechart::wcetDocument">
                <value>plugins/RealtimeStatechart/wcet.xml</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeStatechart::utilisation">
                <value>1.0</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeStatechart::securityLevel">
                <value>0</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeStatechart::scheduleDocument">
                <value>plugins/RealtimeStatechart/schedule.xml</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeStatechart::uMLClock">
                <reference>-1</reference>
                <value>id64</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeStatechart::uMLClock">
                <reference>test_clock</reference>
                <value>id140</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeStatechart::uMLRealtimeStartState">
                <value>id65</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeStatechart::uMLRealtimeState">
                <value>id66</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeStatechart::uMLRealtimeState">
                <value>id65</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeStatechart::uMLRealtimeState">
                <value>id67</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeStatechart::uMLRealtimeState">
                <value>id68</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeStatechart::uMLRealtimeState">
                <value>id141</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeStatechart::uMLRealtimeState">
                <value>id142</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeStatechart::uMLRealtimeTransition">
                <value>id69</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeStatechart::uMLRealtimeTransition">
                <value>id70</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeStatechart::uMLRealtimeTransition">
                <value>id143</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeStatechart::uMLRealtimeTransition">
                <value>id144</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeStatechart::uMLRealtimeTransition">
                <value>id145</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.basic.BasicIncrement::generated">
                <value>false</value>
            </attribute>
        </object>
        <object id="id140">
            <class>de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLClock</class>
            <pluginId>de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin</pluginId>
            <classLoader>de.uni_paderborn.lib.classloader.UPBClassLoader@106082</classLoader>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLClock::id">
                <value>test_clock</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLClock::uMLBoolRealtimeAtom">
                <value>id148</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLClock::uMLBoolRealtimeAtom">
                <value>id149</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLClock::uMLBoolRealtimeAtom">
                <value>id150</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLClock::uMLBoolRealtimeAtom">
                <value>id151</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLClock::uMLBoolRealtimeAtom">
                <value>id152</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLClock::uMLClockResetAtom">
                <value>id153</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.basic.BasicIncrement::generated">
                <value>false</value>
            </attribute>
        </object>
        <object id="id141">
            <class>de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLComplexRealtimeState</class>
            <pluginId>de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin</pluginId>
            <classLoader>de.uni_paderborn.lib.classloader.UPBClassLoader@106082</classLoader>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeState::name">
                <value>state3</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeState::uMLRealtimeStatechart">
                <value>id39</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeState::uMLRealtimeTransition">
                <value>id143</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeState::uMLRealtimeTransition1">
                <value>id144</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.uml.UMLIncrement::assertInUnitTest">
                <value>false</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.basic.BasicIncrement::generated">
                <value>false</value>
            </attribute>
        </object>
        <object id="id142">
            <class>de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLComplexRealtimeState</class>
            <pluginId>de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin</pluginId>
            <classLoader>de.uni_paderborn.lib.classloader.UPBClassLoader@106082</classLoader>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLComplexRealtimeState::uMLRealtimeStatechart1">
                <value>id116</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLComplexRealtimeState::uMLRealtimeDoAction">
                <value>id155</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLComplexRealtimeState::uMLRealtimeEntryAction">
                <value>id156</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLComplexRealtimeState::uMLRealtimeExitAction">
                <value>id157</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLComplexRealtimeState::uMLInvariantAtom">
                <reference>id140</reference>
                <value>id149</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeState::name">
                <value>state4</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeState::uMLRealtimeStatechart">
                <value>id39</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeState::uMLRealtimeTransition">
                <value>id144</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeState::uMLRealtimeTransition1">
                <value>id145</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.uml.UMLIncrement::assertInUnitTest">
                <value>false</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.basic.BasicIncrement::generated">
                <value>false</value>
            </attribute>
        </object>
        <object id="id143">
            <class>de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeTransition</class>
            <pluginId>de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin</pluginId>
            <classLoader>de.uni_paderborn.lib.classloader.UPBClassLoader@106082</classLoader>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeTransition::synchronizationType">
                <value>0</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeTransition::urgent">
                <value>true</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeTransition::guard">
                <value/>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeTransition::priority">
                <value>1</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeTransition::name">
                <value>2state2_state3</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeTransition::uMLRealtimeState">
                <value>id141</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeTransition::uMLRealtimeState1">
                <value>id68</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeTransition::uMLRealtimeStatechart">
                <value>id39</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.uml.UMLIncrement::assertInUnitTest">
                <value>false</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.basic.BasicIncrement::generated">
                <value>false</value>
            </attribute>
        </object>
        <object id="id144">
            <class>de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeTransition</class>
            <pluginId>de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin</pluginId>
            <classLoader>de.uni_paderborn.lib.classloader.UPBClassLoader@106082</classLoader>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeTransition::synchronizationType">
                <value>0</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeTransition::urgent">
                <value>true</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeTransition::guard">
                <value/>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeTransition::priority">
                <value>1</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeTransition::name">
                <value>3state3_state4</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeTransition::uMLRealtimeState">
                <value>id142</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeTransition::uMLRealtimeState1">
                <value>id141</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeTransition::uMLRealtimeStatechart">
                <value>id39</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.uml.UMLIncrement::assertInUnitTest">
                <value>false</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.basic.BasicIncrement::generated">
                <value>false</value>
            </attribute>
        </object>
        <object id="id145">
            <class>de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeTransition</class>
            <pluginId>de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin</pluginId>
            <classLoader>de.uni_paderborn.lib.classloader.UPBClassLoader@106082</classLoader>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeTransition::synchronizationType">
                <value>0</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeTransition::urgent">
                <value>true</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeTransition::guard">
                <value>guard</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeTransition::priority">
                <value>1</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeTransition::name">
                <value>4state4_state2</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeTransition::uMLRealtimeAction">
                <value>id161</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeTransition::uMLRealtimeState">
                <value>id68</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeTransition::uMLRealtimeState1">
                <value>id142</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeTransition::uMLRealtimeStatechart">
                <value>id39</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeTransition::uMLTimeguardAtom">
                <reference>id140</reference>
                <value>id152</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeTransition::uMLDeadlineAtom1">
                <reference>id140</reference>
                <value>id151</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeTransition::uMLClockResetAtom">
                <value>id153</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeTransition::uMLRealtimeEvent">
                <value>id162</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeTransition::uMLRealtimeEvent1">
                <value>id163</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.uml.UMLIncrement::assertInUnitTest">
                <value>false</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.basic.BasicIncrement::generated">
                <value>false</value>
            </attribute>
        </object>
        <object id="id148">
            <class>de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLInvariantAtom</class>
            <pluginId>de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin</pluginId>
            <classLoader>de.uni_paderborn.lib.classloader.UPBClassLoader@106082</classLoader>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLBoolRealtimeAtom::finalAttribut">
                <value>false</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLBoolRealtimeAtom::upperBound">
                <value>id167</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLBoolRealtimeAtom::displayValuation">
                <value>true</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLBoolRealtimeAtom::upperBoundName">
                <value/>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLBoolRealtimeAtom::uMLClock">
                <value>id140</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.uml.UMLIncrement::assertInUnitTest">
                <value>false</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.basic.BasicIncrement::generated">
                <value>false</value>
            </attribute>
        </object>
        <object id="id149">
            <class>de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLInvariantAtom</class>
            <pluginId>de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin</pluginId>
            <classLoader>de.uni_paderborn.lib.classloader.UPBClassLoader@106082</classLoader>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLInvariantAtom::uMLComplexRealtimeState">
                <value>id142</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLBoolRealtimeAtom::finalAttribut">
                <value>false</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLBoolRealtimeAtom::upperBound">
                <value>id168</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLBoolRealtimeAtom::displayValuation">
                <value>true</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLBoolRealtimeAtom::upperBoundName">
                <value>test</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLBoolRealtimeAtom::uMLClock">
                <value>id140</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.uml.UMLIncrement::assertInUnitTest">
                <value>false</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.basic.BasicIncrement::generated">
                <value>false</value>
            </attribute>
        </object>
        <object id="id150">
            <class>de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLDeadlineAtom</class>
            <pluginId>de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin</pluginId>
            <classLoader>de.uni_paderborn.lib.classloader.UPBClassLoader@106082</classLoader>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLDeadlineAtom::lowerBound">
                <value>2</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLDeadlineAtom::lowerBoundName">
                <value>action</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLBoolRealtimeAtom::finalAttribut">
                <value>false</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLBoolRealtimeAtom::upperBound">
                <value>id169</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLBoolRealtimeAtom::displayValuation">
                <value>true</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLBoolRealtimeAtom::upperBoundName">
                <value/>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLBoolRealtimeAtom::uMLClock">
                <value>id140</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.uml.UMLIncrement::assertInUnitTest">
                <value>false</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.basic.BasicIncrement::generated">
                <value>false</value>
            </attribute>
        </object>
        <object id="id151">
            <class>de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLDeadlineAtom</class>
            <pluginId>de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin</pluginId>
            <classLoader>de.uni_paderborn.lib.classloader.UPBClassLoader@106082</classLoader>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLDeadlineAtom::lowerBound">
                <value>2</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLDeadlineAtom::lowerBoundName">
                <value>action</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLDeadlineAtom::uMLRealtimeTransition">
                <value>id145</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLBoolRealtimeAtom::finalAttribut">
                <value>false</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLBoolRealtimeAtom::upperBound">
                <value>id170</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLBoolRealtimeAtom::displayValuation">
                <value>true</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLBoolRealtimeAtom::upperBoundName">
                <value/>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLBoolRealtimeAtom::uMLClock">
                <value>id140</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.uml.UMLIncrement::assertInUnitTest">
                <value>false</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.basic.BasicIncrement::generated">
                <value>false</value>
            </attribute>
        </object>
        <object id="id152">
            <class>de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLTimeguardAtom</class>
            <pluginId>de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin</pluginId>
            <classLoader>de.uni_paderborn.lib.classloader.UPBClassLoader@106082</classLoader>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLTimeguardAtom::lowerBound">
                <value>1</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLTimeguardAtom::lowerBoundName">
                <value>timeguard</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLTimeguardAtom::uMLRealtimeTransition">
                <value>id145</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLBoolRealtimeAtom::finalAttribut">
                <value>false</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLBoolRealtimeAtom::upperBound">
                <value>id171</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLBoolRealtimeAtom::displayValuation">
                <value>true</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLBoolRealtimeAtom::upperBoundName">
                <value/>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLBoolRealtimeAtom::uMLClock">
                <value>id140</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.uml.UMLIncrement::assertInUnitTest">
                <value>false</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.basic.BasicIncrement::generated">
                <value>false</value>
            </attribute>
        </object>
        <object id="id153">
            <class>de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLClockResetAtom</class>
            <pluginId>de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin</pluginId>
            <classLoader>de.uni_paderborn.lib.classloader.UPBClassLoader@106082</classLoader>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLClockResetAtom::id">
                <value>test_clock</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLClockResetAtom::uMLClock">
                <value>id140</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLClockResetAtom::uMLRealtimeTransition">
                <value>id145</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.basic.BasicIncrement::generated">
                <value>false</value>
            </attribute>
        </object>
        <object id="id155">
            <class>de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeAction</class>
            <pluginId>de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin</pluginId>
            <classLoader>de.uni_paderborn.lib.classloader.UPBClassLoader@106082</classLoader>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeAction::id">
                <value>UMLRealtimeAction6</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeAction::actionType">
                <value>do</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeAction::periodLowerBound">
                <value>1</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeAction::periodUpperBound">
                <value>5</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeAction::wcet">
                <value>5</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeAction::wcetSpecifiedByUser">
                <value>true</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeAction::displayValuation">
                <value>true</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeAction::blocking">
                <value>0</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.uml.UMLAction::action">
                <value>do</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.uml.UMLIncrement::assertInUnitTest">
                <value>false</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.basic.BasicIncrement::generated">
                <value>false</value>
            </attribute>
        </object>
        <object id="id156">
            <class>de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeAction</class>
            <pluginId>de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin</pluginId>
            <classLoader>de.uni_paderborn.lib.classloader.UPBClassLoader@106082</classLoader>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeAction::id">
                <value>UMLRealtimeAction5</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeAction::actionType">
                <value>entry</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeAction::periodLowerBound">
                <value>0</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeAction::periodUpperBound">
                <value>0</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeAction::wcet">
                <value>1</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeAction::wcetSpecifiedByUser">
                <value>true</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeAction::displayValuation">
                <value>true</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeAction::blocking">
                <value>0</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.uml.UMLAction::action">
                <value>entry</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.uml.UMLIncrement::assertInUnitTest">
                <value>false</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.basic.BasicIncrement::generated">
                <value>false</value>
            </attribute>
        </object>
        <object id="id157">
            <class>de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeAction</class>
            <pluginId>de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin</pluginId>
            <classLoader>de.uni_paderborn.lib.classloader.UPBClassLoader@106082</classLoader>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeAction::id">
                <value>UMLRealtimeAction7</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeAction::actionType">
                <value>exit</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeAction::periodLowerBound">
                <value>0</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeAction::periodUpperBound">
                <value>0</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeAction::wcet">
                <value>1</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeAction::wcetSpecifiedByUser">
                <value>true</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeAction::displayValuation">
                <value>true</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeAction::blocking">
                <value>0</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.uml.UMLAction::action">
                <value>exit</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.uml.UMLIncrement::assertInUnitTest">
                <value>false</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.basic.BasicIncrement::generated">
                <value>false</value>
            </attribute>
        </object>
        <object id="id161">
            <class>de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeAction</class>
            <pluginId>de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin</pluginId>
            <classLoader>de.uni_paderborn.lib.classloader.UPBClassLoader@106082</classLoader>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeAction::id">
                <value>UMLRealtimeAction10</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeAction::periodLowerBound">
                <value>0</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeAction::periodUpperBound">
                <value>0</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeAction::wcet">
                <value>1</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeAction::wcetSpecifiedByUser">
                <value>true</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeAction::wcetName">
                <value>param</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeAction::displayValuation">
                <value>true</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeAction::blocking">
                <value>0</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeAction::uMLRealtimeTransition">
                <value>id145</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.uml.UMLAction::action">
                <value>action</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.uml.UMLIncrement::assertInUnitTest">
                <value>false</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.basic.BasicIncrement::generated">
                <value>false</value>
            </attribute>
        </object>
        <object id="id162">
            <class>de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeEvent</class>
            <pluginId>de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin</pluginId>
            <classLoader>de.uni_paderborn.lib.classloader.UPBClassLoader@106082</classLoader>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeEvent::instance">
                <value/>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeEvent::name">
                <value>event_test</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeEvent::uMLRealtimeTransition">
                <value>id145</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.uml.UMLIncrement::assertInUnitTest">
                <value>false</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.basic.BasicIncrement::generated">
                <value>false</value>
            </attribute>
        </object>
        <object id="id163">
            <class>de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeEvent</class>
            <pluginId>de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin</pluginId>
            <classLoader>de.uni_paderborn.lib.classloader.UPBClassLoader@106082</classLoader>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeEvent::instance">
                <value/>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeEvent::name">
                <value>raised_event_test</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeEvent::uMLRealtimeTransition1">
                <value>id145</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.uml.UMLIncrement::assertInUnitTest">
                <value>false</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.basic.BasicIncrement::generated">
                <value>false</value>
            </attribute>
        </object>
        <object id="id167">
            <class>de.uni_paderborn.fujaba.umlrt.realtimestatechart.gui.NaturalNumber</class>
            <pluginId>de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin</pluginId>
            <classLoader>de.uni_paderborn.lib.classloader.UPBClassLoader@106082</classLoader>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.gui.NaturalNumber::value">
                <value>9223372036854775807</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.gui.NaturalNumber::infinity">
                <value>true</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.basic.BasicIncrement::generated">
                <value>false</value>
            </attribute>
        </object>
        <object id="id168">
            <class>de.uni_paderborn.fujaba.umlrt.realtimestatechart.gui.NaturalNumber</class>
            <pluginId>de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin</pluginId>
            <classLoader>de.uni_paderborn.lib.classloader.UPBClassLoader@106082</classLoader>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.gui.NaturalNumber::value">
                <value>20</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.gui.NaturalNumber::infinity">
                <value>false</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.basic.BasicIncrement::generated">
                <value>false</value>
            </attribute>
        </object>
        <object id="id169">
            <class>de.uni_paderborn.fujaba.umlrt.realtimestatechart.gui.NaturalNumber</class>
            <pluginId>de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin</pluginId>
            <classLoader>de.uni_paderborn.lib.classloader.UPBClassLoader@106082</classLoader>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.gui.NaturalNumber::value">
                <value>9223372036854775807</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.gui.NaturalNumber::infinity">
                <value>true</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.basic.BasicIncrement::generated">
                <value>false</value>
            </attribute>
        </object>
        <object id="id170">
            <class>de.uni_paderborn.fujaba.umlrt.realtimestatechart.gui.NaturalNumber</class>
            <pluginId>de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin</pluginId>
            <classLoader>de.uni_paderborn.lib.classloader.UPBClassLoader@106082</classLoader>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.gui.NaturalNumber::value">
                <value>20</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.gui.NaturalNumber::infinity">
                <value>false</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.basic.BasicIncrement::generated">
                <value>false</value>
            </attribute>
        </object>
        <object id="id171">
            <class>de.uni_paderborn.fujaba.umlrt.realtimestatechart.gui.NaturalNumber</class>
            <pluginId>de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin</pluginId>
            <classLoader>de.uni_paderborn.lib.classloader.UPBClassLoader@106082</classLoader>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.gui.NaturalNumber::value">
                <value>100</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.gui.NaturalNumber::infinity">
                <value>false</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.basic.BasicIncrement::generated">
                <value>false</value>
            </attribute>
        </object>
        <object id="id64">
            <class>de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLClock</class>
            <pluginId>de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin</pluginId>
            <classLoader>de.uni_paderborn.lib.classloader.UPBClassLoader@106082</classLoader>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLClock::id">
                <value>-1</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLClock::uMLBoolRealtimeAtom">
                <value>id146</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLClock::uMLBoolRealtimeAtom">
                <value>id147</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.basic.BasicIncrement::generated">
                <value>false</value>
            </attribute>
        </object>
        <object id="id65">
            <class>de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeStartState</class>
            <pluginId>de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin</pluginId>
            <classLoader>de.uni_paderborn.lib.classloader.UPBClassLoader@106082</classLoader>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeStartState::historyKind">
                <value>0</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeStartState::uMLRealtimeStatechart1">
                <value>id39</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeState::name">
                <value>START</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeState::uMLRealtimeStatechart">
                <value>id39</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeState::uMLRealtimeTransition1">
                <value>id69</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.uml.UMLIncrement::assertInUnitTest">
                <value>false</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.basic.BasicIncrement::generated">
                <value>false</value>
            </attribute>
        </object>
        <object id="id66">
            <class>de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeStartState</class>
            <pluginId>de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin</pluginId>
            <classLoader>de.uni_paderborn.lib.classloader.UPBClassLoader@106082</classLoader>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeStartState::historyKind">
                <value>0</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeState::name">
                <value>InitialState</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeState::uMLRealtimeStatechart">
                <value>id39</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.uml.UMLIncrement::assertInUnitTest">
                <value>false</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.basic.BasicIncrement::generated">
                <value>false</value>
            </attribute>
        </object>
        <object id="id67">
            <class>de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeStopState</class>
            <pluginId>de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin</pluginId>
            <classLoader>de.uni_paderborn.lib.classloader.UPBClassLoader@106082</classLoader>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeState::name">
                <value>State1</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeState::uMLRealtimeStatechart">
                <value>id39</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeState::uMLRealtimeTransition">
                <value>id70</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.uml.UMLIncrement::assertInUnitTest">
                <value>false</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.basic.BasicIncrement::generated">
                <value>false</value>
            </attribute>
        </object>
        <object id="id68">
            <class>de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLComplexRealtimeState</class>
            <pluginId>de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin</pluginId>
            <classLoader>de.uni_paderborn.lib.classloader.UPBClassLoader@106082</classLoader>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeState::name">
                <value>state2</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeState::uMLRealtimeStatechart">
                <value>id39</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeState::uMLRealtimeTransition">
                <value>id69</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeState::uMLRealtimeTransition">
                <value>id145</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeState::uMLRealtimeTransition1">
                <value>id70</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeState::uMLRealtimeTransition1">
                <value>id143</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.uml.UMLIncrement::assertInUnitTest">
                <value>false</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.basic.BasicIncrement::generated">
                <value>false</value>
            </attribute>
        </object>
        <object id="id69">
            <class>de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeTransition</class>
            <pluginId>de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin</pluginId>
            <classLoader>de.uni_paderborn.lib.classloader.UPBClassLoader@106082</classLoader>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeTransition::synchronizationType">
                <value>0</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeTransition::urgent">
                <value>true</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeTransition::priority">
                <value>1</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeTransition::name">
                <value>0State0_state2</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeTransition::uMLRealtimeState">
                <value>id68</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeTransition::uMLRealtimeState1">
                <value>id65</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeTransition::uMLRealtimeStatechart">
                <value>id39</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.uml.UMLIncrement::assertInUnitTest">
                <value>false</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.basic.BasicIncrement::generated">
                <value>false</value>
            </attribute>
        </object>
        <object id="id70">
            <class>de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeTransition</class>
            <pluginId>de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin</pluginId>
            <classLoader>de.uni_paderborn.lib.classloader.UPBClassLoader@106082</classLoader>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeTransition::synchronizationType">
                <value>0</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeTransition::urgent">
                <value>true</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeTransition::guard">
                <value/>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeTransition::priority">
                <value>1</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeTransition::name">
                <value>1state2_State1</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeTransition::uMLRealtimeState">
                <value>id67</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeTransition::uMLRealtimeState1">
                <value>id68</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeTransition::uMLRealtimeStatechart">
                <value>id39</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.uml.UMLIncrement::assertInUnitTest">
                <value>false</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.basic.BasicIncrement::generated">
                <value>false</value>
            </attribute>
        </object>
        <object id="id116">
            <class>de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeStatechart</class>
            <pluginId>de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin</pluginId>
            <classLoader>de.uni_paderborn.lib.classloader.UPBClassLoader@106082</classLoader>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeStatechart::rtscId">
                <value>1</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeStatechart::eventQueueSize">
                <value>100</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeStatechart::name">
                <value>id116</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeStatechart::isRTSCRefinement">
                <value>false</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeStatechart::isTopStatechart">
                <value>false</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeStatechart::wcetDocument">
                <value>plugins/RealtimeStatechart/wcet.xml</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeStatechart::utilisation">
                <value>1.0</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeStatechart::securityLevel">
                <value>0</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeStatechart::scheduleDocument">
                <value>plugins/RealtimeStatechart/schedule.xml</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeStatechart::uMLClock">
                <reference>-1</reference>
                <value>id180</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeStatechart::uMLComplexRealtimeState">
                <value>id142</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.basic.BasicIncrement::generated">
                <value>false</value>
            </attribute>
        </object>
        <object id="id146">
            <class>de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLInvariantAtom</class>
            <pluginId>de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin</pluginId>
            <classLoader>de.uni_paderborn.lib.classloader.UPBClassLoader@106082</classLoader>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLBoolRealtimeAtom::finalAttribut">
                <value>false</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLBoolRealtimeAtom::upperBound">
                <value>id165</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLBoolRealtimeAtom::displayValuation">
                <value>true</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLBoolRealtimeAtom::upperBoundName">
                <value/>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLBoolRealtimeAtom::uMLClock">
                <value>id64</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.uml.UMLIncrement::assertInUnitTest">
                <value>false</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.basic.BasicIncrement::generated">
                <value>false</value>
            </attribute>
        </object>
        <object id="id147">
            <class>de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLInvariantAtom</class>
            <pluginId>de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin</pluginId>
            <classLoader>de.uni_paderborn.lib.classloader.UPBClassLoader@106082</classLoader>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLBoolRealtimeAtom::finalAttribut">
                <value>false</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLBoolRealtimeAtom::upperBound">
                <value>id166</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLBoolRealtimeAtom::displayValuation">
                <value>true</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLBoolRealtimeAtom::upperBoundName">
                <value>test</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLBoolRealtimeAtom::uMLClock">
                <value>id64</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.uml.UMLIncrement::assertInUnitTest">
                <value>false</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.basic.BasicIncrement::generated">
                <value>false</value>
            </attribute>
        </object>
        <object id="id165">
            <class>de.uni_paderborn.fujaba.umlrt.realtimestatechart.gui.NaturalNumber</class>
            <pluginId>de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin</pluginId>
            <classLoader>de.uni_paderborn.lib.classloader.UPBClassLoader@106082</classLoader>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.gui.NaturalNumber::value">
                <value>9223372036854775807</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.gui.NaturalNumber::infinity">
                <value>true</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.basic.BasicIncrement::generated">
                <value>false</value>
            </attribute>
        </object>
        <object id="id166">
            <class>de.uni_paderborn.fujaba.umlrt.realtimestatechart.gui.NaturalNumber</class>
            <pluginId>de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin</pluginId>
            <classLoader>de.uni_paderborn.lib.classloader.UPBClassLoader@106082</classLoader>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.gui.NaturalNumber::value">
                <value>10</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.gui.NaturalNumber::infinity">
                <value>false</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.basic.BasicIncrement::generated">
                <value>false</value>
            </attribute>
        </object>
        <object id="id180">
            <class>de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLClock</class>
            <pluginId>de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin</pluginId>
            <classLoader>de.uni_paderborn.lib.classloader.UPBClassLoader@106082</classLoader>
            <attribute name="de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLClock::id">
                <value>-1</value>
            </attribute>
            <attribute name="de.uni_paderborn.fujaba.basic.BasicIncrement::generated">
                <value>false</value>
            </attribute>
        </object>
    </diagram>
</fujaba_export>