SimpleTrafficLightsExample.af3_23

<?xml version="1.0" encoding="UTF-8"?>
<org-fortiss-af3-project:FileProject xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:org-fortiss-af3-component="http://www.fortiss.org/af3/component" xmlns:org-fortiss-af3-expression="http://www.fortiss.org/af3/expression" xmlns:org-fortiss-af3-expression-definitions="http://www.fortiss.org/af3/expression/definitions" xmlns:org-fortiss-af3-expression-terms="http://www.fortiss.org/af3/expression/terms" xmlns:org-fortiss-af3-expression-terms-imperative="http://www.fortiss.org/af3/expression/terms/imperative" xmlns:org-fortiss-af3-expression-types="http://www.fortiss.org/af3/expression/types" xmlns:org-fortiss-af3-mira="http://www.fortiss.org/af3/mira" xmlns:org-fortiss-af3-mira-glossary="http://www.fortiss.org/af3/mira/glossary" xmlns:org-fortiss-af3-mira-relations="http://www.fortiss.org/af3/mira/relations" xmlns:org-fortiss-af3-mira-requirementSource="http://www.fortiss.org/af3/mira/requirementSource" xmlns:org-fortiss-af3-mira-verification="http://www.fortiss.org/af3/mira/verification" xmlns:org-fortiss-af3-operatorpanel="http://www.fortiss.org/af3/operatorpanel" xmlns:org-fortiss-af3-project="http://www.fortiss.org/af3/project" xmlns:org-fortiss-af3-project-configuration="http://www.fortiss.org/af3/project/configuration" xmlns:org-fortiss-af3-project-development="http://www.fortiss.org/af3/project/development" xmlns:org-fortiss-af3-project-execution="http://www.fortiss.org/af3/project/execution" xmlns:org-fortiss-af3-safety-annotation="http://www.fortiss.org/af3/safety/annotation" xmlns:org-fortiss-af3-state="http://www.fortiss.org/af3/state" xmlns:org-fortiss-tooling-base-model-layout="http://www.fortiss.org/tooling/base/model/layout" xmi:id="456" id="456" name="SimpleTrafficLightsExample">
  <rootElements xsi:type="org-fortiss-af3-project:ProjectConfiguration" xmi:id="1" id="1">
    <configurationElements xsi:type="org-fortiss-af3-project-configuration:TypeSystemConfiguration" xmi:id="2" id="2">
      <typesystem xsi:type="org-fortiss-af3-expression:MicroTypeSystem"/>
    </configurationElements>
    <configurationElements xsi:type="org-fortiss-af3-project-configuration:DevelopmentProcessConfiguration" xmi:id="3" id="3">
      <development xsi:type="org-fortiss-af3-project-development:DummyDevelopmentProcess"/>
    </configurationElements>
  </rootElements>
  <rootElements xsi:type="org-fortiss-af3-expression:DataDictionary" xmi:id="4" id="4" name="Data Dictionary">
    <typeDefinitions xsi:type="org-fortiss-af3-expression-definitions:Enumeration" xmi:id="5" id="5" name="TrafficColor">
      <members xmi:id="6" id="6" name="Green"/>
      <members xmi:id="7" id="7" name="Red"/>
      <members xmi:id="8" id="8" name="RedYellow"/>
      <members xmi:id="9" id="9" name="Yellow"/>
    </typeDefinitions>
    <typeDefinitions xsi:type="org-fortiss-af3-expression-definitions:Enumeration" xmi:id="10" id="10" name="IndicatorSignal">
      <members xmi:id="11" id="11" name="Off"/>
      <members xmi:id="12" id="12" name="On"/>
    </typeDefinitions>
    <typeDefinitions xsi:type="org-fortiss-af3-expression-definitions:Enumeration" xmi:id="13" id="13" name="PedestrianColor">
      <members xmi:id="14" id="14" name="Stop"/>
      <members xmi:id="15" id="15" name="Walk"/>
    </typeDefinitions>
    <typeDefinitions xsi:type="org-fortiss-af3-expression-definitions:Enumeration" xmi:id="16" id="16" name="Signal">
      <members xmi:id="17" id="17" name="Present"/>
    </typeDefinitions>
    <functions xmi:id="18" id="18">
      <function xmi:id="19" id="19" name="tGreen"/>
      <definition>
        <statements xsi:type="org-fortiss-af3-expression-terms-imperative:Return">
          <value xsi:type="org-fortiss-af3-expression-terms:IntConst" value="2"/>
        </statements>
      </definition>
      <returnType xsi:type="org-fortiss-af3-expression-types:TInt"/>
    </functions>
    <functions xmi:id="20" id="20">
      <function xmi:id="21" id="21" name="tRed"/>
      <definition>
        <statements xsi:type="org-fortiss-af3-expression-terms-imperative:Return">
          <value xsi:type="org-fortiss-af3-expression-terms:IntConst" value="5"/>
        </statements>
      </definition>
      <returnType xsi:type="org-fortiss-af3-expression-types:TInt"/>
    </functions>
    <functions xmi:id="22" id="22">
      <function xmi:id="23" id="23" name="tYellow"/>
      <definition>
        <statements xsi:type="org-fortiss-af3-expression-terms-imperative:Return">
          <value xsi:type="org-fortiss-af3-expression-terms:IntConst" value="1"/>
        </statements>
      </definition>
      <returnType xsi:type="org-fortiss-af3-expression-types:TInt"/>
    </functions>
  </rootElements>
  <rootElements xsi:type="org-fortiss-af3-component:ComponentArchitecture" xmi:id="24" id="24" name="TL-Component-Architecture">
    <containedElements xsi:type="org-fortiss-af3-component:Component" xmi:id="25" id="25" name="TL-Architecture" comment="">
      <containedElements xsi:type="org-fortiss-af3-component:Component" xmi:id="26" id="26" name="Merge" comment="">
        <specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification" xmi:id="27" id="27"/>
        <specifications xsi:type="org-fortiss-af3-component:VerifBehaviourComponentSpecification" xmi:id="28" id="28"/>
        <specifications xsi:type="org-fortiss-af3-state:StateAutomaton" xmi:id="29" id="29">
          <containedElements xsi:type="org-fortiss-af3-state:State" xmi:id="30" id="30" name="RootState" comment="">
            <containedElements xsi:type="org-fortiss-af3-state:State" xmi:id="31" id="31" name="Merge" comment="">
              <specifications xsi:type="org-fortiss-af3-state:StateSpecification" xmi:id="32" id="32" initial="true">
                <idleTransitionsSpecifications xmi:id="33" id="33"/>
              </specifications>
              <connectors xsi:type="org-fortiss-af3-state:TransitionSegmentExitConnector" xmi:id="34" id="34" name="Source" comment="" outgoing="42">
                <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos"/>
                <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="108" height="72"/>