Skip to content
This repository was archived by the owner on Oct 7, 2025. It is now read-only.

Commit a02db17

Browse files
Nicolas-BoltzNicolas-Boltz
committed
Add last seff behavior definitions
1 parent 554640b commit a02db17

File tree

2 files changed

+501
-86
lines changed

2 files changed

+501
-86
lines changed

‎bundles/org.dataflowanalysis.examplemodels/casestudies/CoCarNextGen_Base/AudiA6C8_base.repository‎

Lines changed: 97 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -2045,8 +2045,50 @@
20452045
<branches_Branch xsi:type="seff:ProbabilisticBranchTransition" id="_h_wMED0TEe-hSesFjA3W0w" entityName="initiate navigation with destination" branchProbability="0.2">
20462046
<branchBehaviour_BranchTransition id="_h_wMET0TEe-hSesFjA3W0w">
20472047
<steps_Behaviour xsi:type="seff:StartAction" id="_h_wMEj0TEe-hSesFjA3W0w" successor_AbstractAction="_i-kkwD0TEe-hSesFjA3W0w"/>
2048-
<steps_Behaviour xsi:type="seff:StopAction" id="_h_wMEz0TEe-hSesFjA3W0w" predecessor_AbstractAction="_i-kkwD0TEe-hSesFjA3W0w"/>
2049-
<steps_Behaviour xsi:type="seff:ExternalCallAction" id="_i-kkwD0TEe-hSesFjA3W0w" entityName="ExternalCallAction1" predecessor_AbstractAction="_h_wMEj0TEe-hSesFjA3W0w" successor_AbstractAction="_h_wMEz0TEe-hSesFjA3W0w" calledService_ExternalService="_kH8sEDn8Ee-uRP4Svlg0-Q" role_ExternalService="_aWCosD0TEe-hSesFjA3W0w"/>
2048+
<steps_Behaviour xsi:type="seff:StopAction" id="_h_wMEz0TEe-hSesFjA3W0w" predecessor_AbstractAction="_nTGuMD6WEe-jc7eH6da2TA"/>
2049+
<steps_Behaviour xsi:type="seff:ExternalCallAction" id="_i-kkwD0TEe-hSesFjA3W0w" entityName="ExternalCallAction1" predecessor_AbstractAction="_h_wMEj0TEe-hSesFjA3W0w" successor_AbstractAction="_nTGuMD6WEe-jc7eH6da2TA" calledService_ExternalService="_kH8sEDn8Ee-uRP4Svlg0-Q" role_ExternalService="_aWCosD0TEe-hSesFjA3W0w">
2050+
<inputVariableUsages__CallAction>
2051+
<variableCharacterisation_VariableUsage xsi:type="confidentiality:ConfidentialityVariableCharacterisation">
2052+
<specification_VariableCharacterisation specification="false"/>
2053+
<lhs xsi:type="expression:LhsEnumCharacteristicReference" id="_MO8kUD6WEe-jc7eH6da2TA">
2054+
<characteristicType xsi:type="DataDictionaryCharacterized:EnumCharacteristicType" href="AudiA6C8_base.pddc#_mkQXYD0mEe-hSesFjA3W0w-characteristicTypes@1"/>
2055+
<literal href="AudiA6C8_base.pddc#[email protected]@2"/>
2056+
</lhs>
2057+
<rhs xsi:type="expressions:True" id="_MO8kUT6WEe-jc7eH6da2TA"/>
2058+
</variableCharacterisation_VariableUsage>
2059+
<variableCharacterisation_VariableUsage xsi:type="confidentiality:ConfidentialityVariableCharacterisation">
2060+
<specification_VariableCharacterisation specification="false"/>
2061+
<lhs xsi:type="expression:LhsEnumCharacteristicReference" id="_MO8kUj6WEe-jc7eH6da2TA">
2062+
<characteristicType xsi:type="DataDictionaryCharacterized:EnumCharacteristicType" href="AudiA6C8_base.pddc#_mkQXYD0mEe-hSesFjA3W0w-characteristicTypes@2"/>
2063+
<literal href="AudiA6C8_base.pddc#[email protected]@0"/>
2064+
</lhs>
2065+
<rhs xsi:type="expressions:True" id="_MO8kUz6WEe-jc7eH6da2TA"/>
2066+
</variableCharacterisation_VariableUsage>
2067+
<namedReference__VariableUsage xsi:type="stoex:VariableReference" referenceName="destination"/>
2068+
</inputVariableUsages__CallAction>
2069+
<returnVariableUsage__CallReturnAction>
2070+
<variableCharacterisation_VariableUsage xsi:type="confidentiality:ConfidentialityVariableCharacterisation">
2071+
<specification_VariableCharacterisation specification="false"/>
2072+
<lhs xsi:type="expression:LhsEnumCharacteristicReference" id="_mBf8gz6WEe-jc7eH6da2TA"/>
2073+
<rhs xsi:type="expression:NamedEnumCharacteristicReference" id="_mBf8hD6WEe-jc7eH6da2TA">
2074+
<namedReference xsi:type="stoex:VariableReference" referenceName="RETURN"/>
2075+
</rhs>
2076+
</variableCharacterisation_VariableUsage>
2077+
<namedReference__VariableUsage xsi:type="stoex:VariableReference" referenceName="route"/>
2078+
</returnVariableUsage__CallReturnAction>
2079+
</steps_Behaviour>
2080+
<steps_Behaviour xsi:type="seff:SetVariableAction" id="_nTGuMD6WEe-jc7eH6da2TA" entityName="SetVariableAction1" predecessor_AbstractAction="_i-kkwD0TEe-hSesFjA3W0w" successor_AbstractAction="_h_wMEz0TEe-hSesFjA3W0w">
2081+
<localVariableUsages_SetVariableAction>
2082+
<variableCharacterisation_VariableUsage xsi:type="confidentiality:ConfidentialityVariableCharacterisation">
2083+
<specification_VariableCharacterisation specification="false"/>
2084+
<lhs xsi:type="expression:LhsEnumCharacteristicReference" id="_rW1paj6WEe-jc7eH6da2TA"/>
2085+
<rhs xsi:type="expression:NamedEnumCharacteristicReference" id="_rW1paz6WEe-jc7eH6da2TA">
2086+
<namedReference xsi:type="stoex:VariableReference" referenceName="route"/>
2087+
</rhs>
2088+
</variableCharacterisation_VariableUsage>
2089+
<namedReference__VariableUsage xsi:type="stoex:VariableReference" referenceName="RETURN"/>
2090+
</localVariableUsages_SetVariableAction>
2091+
</steps_Behaviour>
20502092
</branchBehaviour_BranchTransition>
20512093
</branches_Branch>
20522094
<branches_Branch xsi:type="seff:ProbabilisticBranchTransition" id="_omAHUD0TEe-hSesFjA3W0w" entityName="initiate navigation destination search" branchProbability="0.2">
@@ -2059,12 +2101,59 @@
20592101
<branches_Branch xsi:type="seff:ProbabilisticBranchTransition" id="_vnfNED0TEe-hSesFjA3W0w" entityName="search" branchProbability="0.2">
20602102
<branchBehaviour_BranchTransition id="_vnfNET0TEe-hSesFjA3W0w">
20612103
<steps_Behaviour xsi:type="seff:StartAction" id="_vnf0ID0TEe-hSesFjA3W0w" successor_AbstractAction="_xNStQD0TEe-hSesFjA3W0w"/>
2062-
<steps_Behaviour xsi:type="seff:StopAction" id="_vnf0IT0TEe-hSesFjA3W0w" predecessor_AbstractAction="_xNStQD0TEe-hSesFjA3W0w"/>
2063-
<steps_Behaviour xsi:type="seff:ExternalCallAction" id="_xNStQD0TEe-hSesFjA3W0w" entityName="ExternalCallAction1" predecessor_AbstractAction="_vnf0ID0TEe-hSesFjA3W0w" successor_AbstractAction="_vnf0IT0TEe-hSesFjA3W0w" calledService_ExternalService="_jIPikDn8Ee-uRP4Svlg0-Q" role_ExternalService="_aWCosD0TEe-hSesFjA3W0w"/>
2104+
<steps_Behaviour xsi:type="seff:StopAction" id="_vnf0IT0TEe-hSesFjA3W0w" predecessor_AbstractAction="_5YhqMD6QEe-jc7eH6da2TA"/>
2105+
<steps_Behaviour xsi:type="seff:ExternalCallAction" id="_xNStQD0TEe-hSesFjA3W0w" entityName="ExternalCallAction1" predecessor_AbstractAction="_vnf0ID0TEe-hSesFjA3W0w" successor_AbstractAction="_5YhqMD6QEe-jc7eH6da2TA" calledService_ExternalService="_jIPikDn8Ee-uRP4Svlg0-Q" role_ExternalService="_aWCosD0TEe-hSesFjA3W0w">
2106+
<inputVariableUsages__CallAction>
2107+
<namedReference__VariableUsage xsi:type="stoex:VariableReference" referenceName="searchTerm"/>
2108+
</inputVariableUsages__CallAction>
2109+
<returnVariableUsage__CallReturnAction>
2110+
<variableCharacterisation_VariableUsage xsi:type="confidentiality:ConfidentialityVariableCharacterisation">
2111+
<specification_VariableCharacterisation specification="false"/>
2112+
<lhs xsi:type="expression:LhsEnumCharacteristicReference" id="_EH9PGj6WEe-jc7eH6da2TA"/>
2113+
<rhs xsi:type="expression:NamedEnumCharacteristicReference" id="_EH9PGz6WEe-jc7eH6da2TA">
2114+
<namedReference xsi:type="stoex:VariableReference" referenceName="RETURN"/>
2115+
</rhs>
2116+
</variableCharacterisation_VariableUsage>
2117+
<namedReference__VariableUsage xsi:type="stoex:VariableReference" referenceName="result"/>
2118+
</returnVariableUsage__CallReturnAction>
2119+
</steps_Behaviour>
2120+
<steps_Behaviour xsi:type="seff:SetVariableAction" id="_5YhqMD6QEe-jc7eH6da2TA" entityName="SetVariableAction1" predecessor_AbstractAction="_xNStQD0TEe-hSesFjA3W0w" successor_AbstractAction="_vnf0IT0TEe-hSesFjA3W0w">
2121+
<localVariableUsages_SetVariableAction>
2122+
<variableCharacterisation_VariableUsage xsi:type="confidentiality:ConfidentialityVariableCharacterisation">
2123+
<specification_VariableCharacterisation specification="false"/>
2124+
<lhs xsi:type="expression:LhsEnumCharacteristicReference" id="_F-5ilT6WEe-jc7eH6da2TA"/>
2125+
<rhs xsi:type="expression:NamedEnumCharacteristicReference" id="_F-5ilj6WEe-jc7eH6da2TA">
2126+
<namedReference xsi:type="stoex:VariableReference" referenceName="result"/>
2127+
</rhs>
2128+
</variableCharacterisation_VariableUsage>
2129+
<namedReference__VariableUsage xsi:type="stoex:VariableReference" referenceName="RETURN"/>
2130+
</localVariableUsages_SetVariableAction>
2131+
</steps_Behaviour>
20642132
</branchBehaviour_BranchTransition>
20652133
</branches_Branch>
20662134
</steps_Behaviour>
2067-
<steps_Behaviour xsi:type="seff:ExternalCallAction" id="_C45o0D0TEe-hSesFjA3W0w" entityName="ExternalCallAction1" predecessor_AbstractAction="_v70tUTn9Ee-uRP4Svlg0-Q" successor_AbstractAction="_Ahd3YD0TEe-hSesFjA3W0w" calledService_ExternalService="_x7rvcDeQEe-Zh_B5eAtwMg" role_ExternalService="_-SQc0Dn8Ee-uRP4Svlg0-Q"/>
2135+
<steps_Behaviour xsi:type="seff:ExternalCallAction" id="_C45o0D0TEe-hSesFjA3W0w" entityName="ExternalCallAction1" predecessor_AbstractAction="_v70tUTn9Ee-uRP4Svlg0-Q" successor_AbstractAction="_Ahd3YD0TEe-hSesFjA3W0w" calledService_ExternalService="_x7rvcDeQEe-Zh_B5eAtwMg" role_ExternalService="_-SQc0Dn8Ee-uRP4Svlg0-Q">
2136+
<inputVariableUsages__CallAction>
2137+
<variableCharacterisation_VariableUsage xsi:type="confidentiality:ConfidentialityVariableCharacterisation">
2138+
<specification_VariableCharacterisation specification="false"/>
2139+
<lhs xsi:type="expression:LhsEnumCharacteristicReference" id="_d4SBQD6QEe-jc7eH6da2TA"/>
2140+
<rhs xsi:type="expression:NamedEnumCharacteristicReference" id="_d4SBQT6QEe-jc7eH6da2TA">
2141+
<namedReference xsi:type="stoex:VariableReference" referenceName="audio"/>
2142+
</rhs>
2143+
</variableCharacterisation_VariableUsage>
2144+
<namedReference__VariableUsage xsi:type="stoex:VariableReference" referenceName="speachSnippet"/>
2145+
</inputVariableUsages__CallAction>
2146+
<returnVariableUsage__CallReturnAction>
2147+
<variableCharacterisation_VariableUsage xsi:type="confidentiality:ConfidentialityVariableCharacterisation">
2148+
<specification_VariableCharacterisation specification="false"/>
2149+
<lhs xsi:type="expression:LhsEnumCharacteristicReference" id="_j7FRVD6QEe-jc7eH6da2TA"/>
2150+
<rhs xsi:type="expression:NamedEnumCharacteristicReference" id="_j7FRVT6QEe-jc7eH6da2TA">
2151+
<namedReference xsi:type="stoex:VariableReference" referenceName="RETURN"/>
2152+
</rhs>
2153+
</variableCharacterisation_VariableUsage>
2154+
<namedReference__VariableUsage xsi:type="stoex:VariableReference" referenceName="command"/>
2155+
</returnVariableUsage__CallReturnAction>
2156+
</steps_Behaviour>
20682157
</serviceEffectSpecifications__BasicComponent>
20692158
<serviceEffectSpecifications__BasicComponent xsi:type="seff:ResourceDemandingSEFF" id="_v76z8Dn9Ee-uRP4Svlg0-Q" describedService__SEFF="_kH8sEDn8Ee-uRP4Svlg0-Q">
20702159
<steps_Behaviour xsi:type="seff:StartAction" id="_v76z8Tn9Ee-uRP4Svlg0-Q" successor_AbstractAction="_4zgtMD0SEe-hSesFjA3W0w"/>
@@ -2537,6 +2626,9 @@
25372626
<returnType__OperationSignature xsi:type="repository:PrimitiveDataType" href="pathmap://PCM_MODELS/PrimitiveTypes.repository#//@dataTypes__Repository.2"/>
25382627
</signatures__OperationInterface>
25392628
<signatures__OperationInterface id="_wuv0gDn8Ee-uRP4Svlg0-Q" entityName="useVoiceControl">
2629+
<parameters__OperationSignature parameterName="audio">
2630+
<dataType__Parameter xsi:type="repository:PrimitiveDataType" href="pathmap://PCM_MODELS/PrimitiveTypes.repository#//@dataTypes__Repository.1"/>
2631+
</parameters__OperationSignature>
25402632
<returnType__OperationSignature xsi:type="repository:PrimitiveDataType" href="pathmap://PCM_MODELS/PrimitiveTypes.repository#//@dataTypes__Repository.2"/>
25412633
</signatures__OperationInterface>
25422634
<signatures__OperationInterface id="_dT2soDn9Ee-uRP4Svlg0-Q" entityName="triggerDriveAssist">

0 commit comments

Comments
 (0)