blob: f7f4544a6140d5840ed555477b21d37259fb363e [file] [log] [blame]
<?xml version="1.0" encoding="UTF-8"?>
<am:Amalthea xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:am="http://app4mc.eclipse.org/amalthea/0.9.3" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
<swModel>
<tasks name="10ms_task" preemption="preemptive" multipleTaskActivationLimit="10">
<callGraph>
<graphEntries xsi:type="am:ModeSwitch">
<entries name="switch1">
<condition>
<entries xsi:type="am:ModeValue" valueProvider="ml-1?type=ModeLabel" value="Mode1/abc?type=ModeLiteral"/>
</condition>
</entries>
<defaultEntry>
<items xsi:type="am:ModeSwitch">
<entries name="switch1">
<condition>
<entries xsi:type="am:ModeValue" valueProvider="ml-1?type=ModeLabel" value="Mode1/abc?type=ModeLiteral"/>
</condition>
</entries>
</items>
</defaultEntry>
</graphEntries>
<graphEntries xsi:type="am:ProbabilitySwitch">
<entries probability="0.5">
<items xsi:type="am:ModeSwitch">
<entries name="switch1">
<condition>
<entries xsi:type="am:ModeValue" valueProvider="ml-1?type=ModeLabel" value="Mode1/abc?type=ModeLiteral"/>
</condition>
</entries>
</items>
</entries>
<entries probability="0.5"/>
</graphEntries>
<graphEntries xsi:type="am:CallSequence" name=""/>
</callGraph>
</tasks>
<tasks name="20_ms_task" multipleTaskActivationLimit="20">
<callGraph>
<graphEntries xsi:type="am:ModeSwitch">
<entries name="Switch2">
<condition>
<entries xsi:type="am:ModeValue">
<valueProvider href="amlt:/#XYZ?type=ModeLabel"/>
<value href="amlt:/#alphabet/A?type=ModeLiteral"/>
</entries>
</condition>
</entries>
</graphEntries>
</callGraph>
</tasks>
<runnables name="run1" callback="false" service="false">
<runnableItems xsi:type="am:ModeLabelAccess" data="ml-2a?type=ModeLabel" access="write" modeValue="Mode2/xyz?type=ModeLiteral"/>
<runnableItems xsi:type="am:ModeLabelAccess" access="read" modeValue="Mode2/pqr?type=ModeLiteral">
<data href="amlt:/#ml?type=ModeLabel"/>
</runnableItems>
<runnableItems xsi:type="am:RunnableModeSwitch">
<entries name="switch1">
<condition>
<entries xsi:type="am:ModeValue" valueProvider="ml-1?type=ModeLabel" value="Mode1/def?type=ModeLiteral"/>
<entries xsi:type="am:ModeValue">
<valueProvider href="amlt:/#alphabet%2Fenglish?type=ModeLabel"/>
<value href="amlt:/#alphabet+%2B+special+characters/letter+%3CA%3E?type=ModeLiteral"/>
</entries>
</condition>
</entries>
<entries name="switch2">
<items xsi:type="am:ModeLabelAccess" data="ml-1?type=ModeLabel" access="write" modeValue="Mode1/def?type=ModeLiteral"/>
</entries>
<entries name="switch3">
<condition>
<entries xsi:type="am:ModeValueConjunction">
<entries valueProvider="ml-2a?type=ModeLabel" value="Mode2/pqr?type=ModeLiteral"/>
<entries>
<valueProvider href="amlt:/#alphabet%2Fenglish?type=ModeLabel"/>
<value href="amlt:/#alphabet+%2B+special+characters/letter+%3CA%3E?type=ModeLiteral"/>
</entries>
</entries>
<entries xsi:type="am:ModeValue" valueProvider="ml-2a?type=ModeLabel" value="Mode2/xyz?type=ModeLiteral"/>
</condition>
</entries>
<entries name="switch4">
<condition>
<entries xsi:type="am:ModeValue" valueProvider="ml-1?type=ModeLabel">
<value href="amlt:/#alphabet/B?type=ModeLiteral"/>
</entries>
</condition>
<items xsi:type="am:RunnableModeSwitch">
<entries name="switch1">
<condition>
<entries xsi:type="am:ModeValue" valueProvider="ml-1?type=ModeLabel" value="Mode1/def?type=ModeLiteral"/>
<entries xsi:type="am:ModeValue">
<valueProvider href="amlt:/#alphabet%2Fenglish?type=ModeLabel"/>
<value href="amlt:/#alphabet+%2B+special+characters/letter+%3CA%3E?type=ModeLiteral"/>
</entries>
</condition>
</entries>
<entries name="switch2">
<items xsi:type="am:ModeLabelAccess" data="ml-1?type=ModeLabel" access="write" modeValue="Mode1/def?type=ModeLiteral"/>
</entries>
</items>
</entries>
<defaultEntry>
<items xsi:type="am:Group" name="" ordered="true">
<items xsi:type="am:ModeLabelAccess"/>
<items xsi:type="am:RunnableModeSwitch">
<entries name="nested">
<condition>
<entries xsi:type="am:ModeValue" valueProvider="ml-1?type=ModeLabel" value="Mode1/def?type=ModeLiteral"/>
<entries xsi:type="am:ModeValue">
<valueProvider href="amlt:/#alphabet%2Fenglish?type=ModeLabel"/>
<value href="amlt:/#alphabet+%2B+special+characters/letter+%3CA%3E?type=ModeLiteral"/>
</entries>
</condition>
</entries>
</items>
</items>
</defaultEntry>
</runnableItems>
<runnableItems xsi:type="am:Group" name="" ordered="true">
<items xsi:type="am:RunnableModeSwitch"/>
<items xsi:type="am:RunnableProbabilitySwitch">
<entries probability="0.3">
<items xsi:type="am:RunnableModeSwitch">
<entries name="switch1">
<condition>
<entries xsi:type="am:ModeValue" valueProvider="ml-1?type=ModeLabel" value="Mode1/def?type=ModeLiteral"/>
<entries xsi:type="am:ModeValue">
<valueProvider href="amlt:/#alphabet%2Fenglish?type=ModeLabel"/>
<value href="amlt:/#alphabet+%2B+special+characters/letter+%3CA%3E?type=ModeLiteral"/>
</entries>
</condition>
</entries>
<entries name="switch2">
<items xsi:type="am:ModeLabelAccess" data="ml-1?type=ModeLabel" access="write" modeValue="Mode1/def?type=ModeLiteral"/>
</entries>
<entries name="switch3">
<condition>
<entries xsi:type="am:ModeValueConjunction">
<entries valueProvider="ml-2a?type=ModeLabel" value="Mode2/pqr?type=ModeLiteral"/>
<entries>
<valueProvider href="amlt:/#alphabet%2Fenglish?type=ModeLabel"/>
<value href="amlt:/#alphabet+%2B+special+characters/letter+%3CA%3E?type=ModeLiteral"/>
</entries>
</entries>
<entries xsi:type="am:ModeValue" valueProvider="ml-2a?type=ModeLabel" value="Mode2/xyz?type=ModeLiteral"/>
</condition>
</entries>
<entries name="switch4">
<condition>
<entries xsi:type="am:ModeValue" valueProvider="ml-1?type=ModeLabel">
<value href="amlt:/#alphabet/B?type=ModeLiteral"/>
</entries>
</condition>
</entries>
</items>
</entries>
<entries probability="0.7"/>
</items>
</runnableItems>
</runnables>
<modes name="Mode1">
<literals name="abc"/>
<literals name="def"/>
</modes>
<modes name="Mode2">
<literals name="xyz"/>
<literals name="pqr"/>
</modes>
<modeLabels name="ml-1" displayName="" initialValue="Mode1/abc?type=ModeLiteral"/>
<modeLabels name="ml-2a" displayName="" initialValue="Mode1/abc?type=ModeLiteral"/>
<modeLabels name="ml-2b" displayName="" initialValue="Mode2/xyz?type=ModeLiteral"/>
</swModel>
<stimuliModel>
<stimuli xsi:type="am:SingleStimulus" name="">
<setModeValueList>
<entries valueProvider="ml-1?type=ModeLabel" value="Mode1/abc?type=ModeLiteral"/>
<entries>
<valueProvider href="amlt:/#alphabet%2Fenglish?type=ModeLabel"/>
<value href="amlt:/#alphabet+%2B+special+characters/letter+%3CB%3E?type=ModeLiteral"/>
</entries>
</setModeValueList>
<enablingModeValueList>
<entries xsi:type="am:ModeValue" valueProvider="ml-2a?type=ModeLabel" value="Mode1/def?type=ModeLiteral"/>
<entries xsi:type="am:ModeValueConjunction">
<entries valueProvider="ml-2a?type=ModeLabel" value="Mode2/pqr?type=ModeLiteral"/>
<entries>
<valueProvider href="amlt:/#alphabet%2Fenglish?type=ModeLabel"/>
<value href="amlt:/#alphabet+%2B+special+characters/letter+%3CA%3E?type=ModeLiteral"/>
</entries>
</entries>
</enablingModeValueList>
<disablingModeValueList>
<entries xsi:type="am:ModeValueConjunction">
<entries valueProvider="ml-2a?type=ModeLabel" value="Mode2/pqr?type=ModeLiteral"/>
<entries>
<valueProvider href="amlt:/#alphabet%2Fenglish?type=ModeLabel"/>
<value href="amlt:/#alphabet+%2B+special+characters/letter+%3CA%3E?type=ModeLiteral"/>
</entries>
</entries>
</disablingModeValueList>
</stimuli>
</stimuliModel>
</am:Amalthea>