diff options
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.originalFiles/model/CD_Case_C.uml_')
-rw-r--r-- | Tests/MODELS2020-CaseStudies/case.study.pledge.originalFiles/model/CD_Case_C.uml_ | 2094 |
1 files changed, 2094 insertions, 0 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.originalFiles/model/CD_Case_C.uml_ b/Tests/MODELS2020-CaseStudies/case.study.pledge.originalFiles/model/CD_Case_C.uml_ new file mode 100644 index 00000000..29208a9a --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.originalFiles/model/CD_Case_C.uml_ | |||
@@ -0,0 +1,2094 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?> | ||
2 | <uml:Package xmi:version="2.1" xmlns:xmi="http://schema.omg.org/spec/XMI/2.1" xmlns:uml="http://www.eclipse.org/uml2/5.0.0/UML" xmi:id="GUID+fadc4ae9-265b-4361-8233-286c5b98ea06" name="inputData" URI="http:///inputData.ecore"> | ||
3 | <packageImport xmi:id="_Rvoi9FVUEeWRIqLs5_0Tzg"> | ||
4 | <importedPackage xmi:type="uml:Model" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#_0"/> | ||
5 | </packageImport> | ||
6 | <packagedElement xmi:type="uml:Class" xmi:id="_Rvoi9VVUEeWRIqLs5_0Tzg" name="XsveRtStps"> | ||
7 | <ownedAttribute xmi:id="_Rvoi9lVUEeWRIqLs5_0Tzg" name="extendedCadu" visibility="private" isUnique="false"> | ||
8 | <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> | ||
9 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvoi-FVUEeWRIqLs5_0Tzg" value="1"/> | ||
10 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvoi91VUEeWRIqLs5_0Tzg" value="1"/> | ||
11 | </ownedAttribute> | ||
12 | <ownedAttribute xmi:id="_Rvoi-VVUEeWRIqLs5_0Tzg" name="minimalBinaryOutput" visibility="private"> | ||
13 | <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> | ||
14 | </ownedAttribute> | ||
15 | <ownedAttribute xmi:id="_Rvoi-lVUEeWRIqLs5_0Tzg" name="frameLength" visibility="private" type="_Rvome1VUEeWRIqLs5_0Tzg" isUnique="false"> | ||
16 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvoi_FVUEeWRIqLs5_0Tzg" value="1"/> | ||
17 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvoi-1VUEeWRIqLs5_0Tzg" value="1"/> | ||
18 | </ownedAttribute> | ||
19 | <ownedAttribute xmi:id="_Rvoi_VVUEeWRIqLs5_0Tzg" name="site" visibility="private" isUnique="false"> | ||
20 | <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/> | ||
21 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvoi_1VUEeWRIqLs5_0Tzg" value="1"/> | ||
22 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvoi_lVUEeWRIqLs5_0Tzg" value="1"/> | ||
23 | </ownedAttribute> | ||
24 | <ownedAttribute xmi:id="_RvojAFVUEeWRIqLs5_0Tzg" name="fileClass" visibility="private" type="_RvojuFVUEeWRIqLs5_0Tzg" isUnique="false"> | ||
25 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojAlVUEeWRIqLs5_0Tzg" value="1"/> | ||
26 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojAVVUEeWRIqLs5_0Tzg" value="1"/> | ||
27 | </ownedAttribute> | ||
28 | <ownedAttribute xmi:id="_RvojA1VUEeWRIqLs5_0Tzg" name="missionName" visibility="private" type="_RvomgFVUEeWRIqLs5_0Tzg" isUnique="false"> | ||
29 | <ownedComment xmi:id="_RvojBFVUEeWRIqLs5_0Tzg" annotatedElement="_RvojA1VUEeWRIqLs5_0Tzg"> | ||
30 | <body><p>Mission name; value: three characters matching the following regular expression [S][1-3][A-B]</p></body> | ||
31 | </ownedComment> | ||
32 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojBlVUEeWRIqLs5_0Tzg" value="1"/> | ||
33 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojBVVUEeWRIqLs5_0Tzg" value="1"/> | ||
34 | </ownedAttribute> | ||
35 | <ownedAttribute xmi:id="_RvojB1VUEeWRIqLs5_0Tzg" name="rsCorrectHeader" visibility="private" isUnique="false"> | ||
36 | <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> | ||
37 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojCVVUEeWRIqLs5_0Tzg" value="1"/> | ||
38 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojCFVUEeWRIqLs5_0Tzg" value="1"/> | ||
39 | </ownedAttribute> | ||
40 | <ownedAttribute xmi:id="_RvojClVUEeWRIqLs5_0Tzg" name="checkCrc" visibility="private" isUnique="false"> | ||
41 | <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> | ||
42 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojDFVUEeWRIqLs5_0Tzg" value="1"/> | ||
43 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojC1VUEeWRIqLs5_0Tzg" value="1"/> | ||
44 | </ownedAttribute> | ||
45 | <ownedAttribute xmi:id="_RvojDVVUEeWRIqLs5_0Tzg" name="rsCorrectFrame" visibility="private" isUnique="false"> | ||
46 | <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> | ||
47 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojD1VUEeWRIqLs5_0Tzg" value="1"/> | ||
48 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojDlVUEeWRIqLs5_0Tzg" value="1"/> | ||
49 | </ownedAttribute> | ||
50 | <ownedAttribute xmi:id="_RvojEFVUEeWRIqLs5_0Tzg" name="rsCorrectSize" visibility="private" type="_Rvome1VUEeWRIqLs5_0Tzg" isUnique="false"> | ||
51 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojElVUEeWRIqLs5_0Tzg" value="1"/> | ||
52 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojEVVUEeWRIqLs5_0Tzg" value="1"/> | ||
53 | </ownedAttribute> | ||
54 | <ownedAttribute xmi:id="_RvojE1VUEeWRIqLs5_0Tzg" name="spacecraftId" visibility="private" isUnique="false"> | ||
55 | <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> | ||
56 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojFVVUEeWRIqLs5_0Tzg" value="1"/> | ||
57 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojFFVUEeWRIqLs5_0Tzg" value="1"/> | ||
58 | </ownedAttribute> | ||
59 | <ownedAttribute xmi:id="_RvojFlVUEeWRIqLs5_0Tzg" name="idleVcid" visibility="private" type="_RvomoVVUEeWRIqLs5_0Tzg"/> | ||
60 | <ownedAttribute xmi:id="_RvojF1VUEeWRIqLs5_0Tzg" name="idleApid" visibility="private" type="_RvomjVVUEeWRIqLs5_0Tzg"/> | ||
61 | <ownedAttribute xmi:id="_RvojGFVUEeWRIqLs5_0Tzg" name="discardIdle" visibility="private" isUnique="false"> | ||
62 | <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> | ||
63 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojGlVUEeWRIqLs5_0Tzg" value="1"/> | ||
64 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojGVVUEeWRIqLs5_0Tzg" value="1"/> | ||
65 | </ownedAttribute> | ||
66 | <ownedAttribute xmi:id="_RvojG1VUEeWRIqLs5_0Tzg" name="vcdusConfig" visibility="private" type="_RvojIlVUEeWRIqLs5_0Tzg" aggregation="composite" association="_RvomelVUEeWRIqLs5_0Tzg"> | ||
67 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojHVVUEeWRIqLs5_0Tzg" value="1"/> | ||
68 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojHFVUEeWRIqLs5_0Tzg" value="1"/> | ||
69 | </ownedAttribute> | ||
70 | <ownedAttribute xmi:id="_RvojHlVUEeWRIqLs5_0Tzg" name="ignoreIdlePattern" visibility="private"> | ||
71 | <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> | ||
72 | </ownedAttribute> | ||
73 | <ownedAttribute xmi:id="_RvojH1VUEeWRIqLs5_0Tzg" name="rtStpsConfig" visibility="private" type="_RvojPlVUEeWRIqLs5_0Tzg" association="_Rvomd1VUEeWRIqLs5_0Tzg"> | ||
74 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojIVVUEeWRIqLs5_0Tzg" value="1"/> | ||
75 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojIFVUEeWRIqLs5_0Tzg" value="1"/> | ||
76 | </ownedAttribute> | ||
77 | </packagedElement> | ||
78 | <packagedElement xmi:type="uml:Class" xmi:id="_RvojIlVUEeWRIqLs5_0Tzg" name="VcdusConfig"> | ||
79 | <ownedAttribute xmi:id="_RvojI1VUEeWRIqLs5_0Tzg" name="xsveRtStps" visibility="private" type="_Rvoi9VVUEeWRIqLs5_0Tzg" association="_RvomelVUEeWRIqLs5_0Tzg"> | ||
80 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojJVVUEeWRIqLs5_0Tzg" value="1"/> | ||
81 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojJFVUEeWRIqLs5_0Tzg" value="1"/> | ||
82 | </ownedAttribute> | ||
83 | <ownedAttribute xmi:id="_RvojJlVUEeWRIqLs5_0Tzg" name="vcduConfig" visibility="private" type="_RvojKVVUEeWRIqLs5_0Tzg" aggregation="composite" association="_RvomeVVUEeWRIqLs5_0Tzg"> | ||
84 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojKFVUEeWRIqLs5_0Tzg" value="1"/> | ||
85 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojJ1VUEeWRIqLs5_0Tzg" value="*"/> | ||
86 | </ownedAttribute> | ||
87 | </packagedElement> | ||
88 | <packagedElement xmi:type="uml:Class" xmi:id="_RvojKVVUEeWRIqLs5_0Tzg" name="VcduConfig"> | ||
89 | <ownedAttribute xmi:id="_RvojKlVUEeWRIqLs5_0Tzg" name="vcdusConfig" visibility="private" type="_RvojIlVUEeWRIqLs5_0Tzg" association="_RvomeVVUEeWRIqLs5_0Tzg"> | ||
90 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojLFVUEeWRIqLs5_0Tzg" value="1"/> | ||
91 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojK1VUEeWRIqLs5_0Tzg" value="1"/> | ||
92 | </ownedAttribute> | ||
93 | <ownedAttribute xmi:id="_RvojLVVUEeWRIqLs5_0Tzg" name="vcid" visibility="private" type="_RvomoVVUEeWRIqLs5_0Tzg"/> | ||
94 | <ownedAttribute xmi:id="_RvojLlVUEeWRIqLs5_0Tzg" name="minPacketSize" visibility="private" type="_Rvome1VUEeWRIqLs5_0Tzg" isUnique="false"> | ||
95 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojMFVUEeWRIqLs5_0Tzg" value="1"/> | ||
96 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojL1VUEeWRIqLs5_0Tzg" value="1"/> | ||
97 | </ownedAttribute> | ||
98 | <ownedAttribute xmi:id="_RvojMVVUEeWRIqLs5_0Tzg" name="maxPacketSize" visibility="private" type="_Rvome1VUEeWRIqLs5_0Tzg" isUnique="false"> | ||
99 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojM1VUEeWRIqLs5_0Tzg" value="1"/> | ||
100 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojMlVUEeWRIqLs5_0Tzg" value="1"/> | ||
101 | </ownedAttribute> | ||
102 | <ownedAttribute xmi:id="_RvojNFVUEeWRIqLs5_0Tzg" name="ispsConfig" visibility="private" type="_RvojTFVUEeWRIqLs5_0Tzg" aggregation="composite" association="_RvomdVVUEeWRIqLs5_0Tzg"> | ||
103 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojNlVUEeWRIqLs5_0Tzg" value="1"/> | ||
104 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojNVVUEeWRIqLs5_0Tzg" value="1"/> | ||
105 | </ownedAttribute> | ||
106 | </packagedElement> | ||
107 | <packagedElement xmi:type="uml:Class" xmi:id="_RvojN1VUEeWRIqLs5_0Tzg" name="ValidApidsConfig"> | ||
108 | <ownedAttribute xmi:id="_RvojOFVUEeWRIqLs5_0Tzg" name="configuration" visibility="private" type="_RvojclVUEeWRIqLs5_0Tzg" association="_RvomcVVUEeWRIqLs5_0Tzg"> | ||
109 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojOlVUEeWRIqLs5_0Tzg" value="1"/> | ||
110 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojOVVUEeWRIqLs5_0Tzg" value="1"/> | ||
111 | </ownedAttribute> | ||
112 | <ownedAttribute xmi:id="_RvojO1VUEeWRIqLs5_0Tzg" name="ispInfo" visibility="private" type="_RvojU1VUEeWRIqLs5_0Tzg" aggregation="composite" association="_RvomeFVUEeWRIqLs5_0Tzg"> | ||
113 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojPVVUEeWRIqLs5_0Tzg" value="1"/> | ||
114 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojPFVUEeWRIqLs5_0Tzg" value="*"/> | ||
115 | </ownedAttribute> | ||
116 | </packagedElement> | ||
117 | <packagedElement xmi:type="uml:Class" xmi:id="_RvojPlVUEeWRIqLs5_0Tzg" name="RtStpsConfig"> | ||
118 | <ownedAttribute xmi:id="_RvojP1VUEeWRIqLs5_0Tzg" name="configuration" visibility="private" type="_RvojclVUEeWRIqLs5_0Tzg" association="_Rvomc1VUEeWRIqLs5_0Tzg"> | ||
119 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojQVVUEeWRIqLs5_0Tzg" value="1"/> | ||
120 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojQFVUEeWRIqLs5_0Tzg" value="1"/> | ||
121 | </ownedAttribute> | ||
122 | <ownedAttribute xmi:id="_RvojQlVUEeWRIqLs5_0Tzg" name="xsveRtStps" visibility="private" type="_Rvoi9VVUEeWRIqLs5_0Tzg" aggregation="composite" association="_Rvomd1VUEeWRIqLs5_0Tzg"> | ||
123 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojRFVUEeWRIqLs5_0Tzg" value="1"/> | ||
124 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojQ1VUEeWRIqLs5_0Tzg" value="1"/> | ||
125 | </ownedAttribute> | ||
126 | </packagedElement> | ||
127 | <packagedElement xmi:type="uml:Class" xmi:id="_RvojRVVUEeWRIqLs5_0Tzg" name="MaxCounterPerApidSuffixConfig"> | ||
128 | <ownedAttribute xmi:id="_RvojRlVUEeWRIqLs5_0Tzg" name="apidSuffixAndMaxCounter" visibility="private" type="_Rvojf1VUEeWRIqLs5_0Tzg" aggregation="composite" association="_RvomdlVUEeWRIqLs5_0Tzg"> | ||
129 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojSFVUEeWRIqLs5_0Tzg" value="1"/> | ||
130 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojR1VUEeWRIqLs5_0Tzg" value="*"/> | ||
131 | </ownedAttribute> | ||
132 | <ownedAttribute xmi:id="_RvojSVVUEeWRIqLs5_0Tzg" name="configuration" visibility="private" type="_RvojclVUEeWRIqLs5_0Tzg" association="_RvomclVUEeWRIqLs5_0Tzg"> | ||
133 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojS1VUEeWRIqLs5_0Tzg" value="1"/> | ||
134 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojSlVUEeWRIqLs5_0Tzg" value="1"/> | ||
135 | </ownedAttribute> | ||
136 | </packagedElement> | ||
137 | <packagedElement xmi:type="uml:Class" xmi:id="_RvojTFVUEeWRIqLs5_0Tzg" name="IspsConfig"> | ||
138 | <ownedAttribute xmi:id="_RvojTVVUEeWRIqLs5_0Tzg" name="vcduConfig" visibility="private" type="_RvojKVVUEeWRIqLs5_0Tzg" association="_RvomdVVUEeWRIqLs5_0Tzg"> | ||
139 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojT1VUEeWRIqLs5_0Tzg" value="1"/> | ||
140 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojTlVUEeWRIqLs5_0Tzg" value="1"/> | ||
141 | </ownedAttribute> | ||
142 | <ownedAttribute xmi:id="_RvojUFVUEeWRIqLs5_0Tzg" name="ispConfig" visibility="private" type="_RvojbVVUEeWRIqLs5_0Tzg" aggregation="composite" association="_RvomdFVUEeWRIqLs5_0Tzg"> | ||
143 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojUlVUEeWRIqLs5_0Tzg" value="1"/> | ||
144 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojUVVUEeWRIqLs5_0Tzg" value="*"/> | ||
145 | </ownedAttribute> | ||
146 | </packagedElement> | ||
147 | <packagedElement xmi:type="uml:Class" xmi:id="_RvojU1VUEeWRIqLs5_0Tzg" name="IspInfo"> | ||
148 | <ownedAttribute xmi:id="_RvojVFVUEeWRIqLs5_0Tzg" name="missionName" visibility="private" type="_RvomgFVUEeWRIqLs5_0Tzg"/> | ||
149 | <ownedAttribute xmi:id="_RvojVVVUEeWRIqLs5_0Tzg" name="offset" visibility="private"> | ||
150 | <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> | ||
151 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojV1VUEeWRIqLs5_0Tzg" value="1"/> | ||
152 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojVlVUEeWRIqLs5_0Tzg" value="1"/> | ||
153 | </ownedAttribute> | ||
154 | <ownedAttribute xmi:id="_RvojWFVUEeWRIqLs5_0Tzg" name="packetType" visibility="private" type="_RvojnFVUEeWRIqLs5_0Tzg"> | ||
155 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojWlVUEeWRIqLs5_0Tzg" value="1"/> | ||
156 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojWVVUEeWRIqLs5_0Tzg" value="1"/> | ||
157 | </ownedAttribute> | ||
158 | <ownedAttribute xmi:id="_RvojW1VUEeWRIqLs5_0Tzg" name="seconds" visibility="private"> | ||
159 | <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> | ||
160 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojXVVUEeWRIqLs5_0Tzg" value="1"/> | ||
161 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojXFVUEeWRIqLs5_0Tzg" value="1"/> | ||
162 | </ownedAttribute> | ||
163 | <ownedAttribute xmi:id="_RvojXlVUEeWRIqLs5_0Tzg" name="subseconds" visibility="private"> | ||
164 | <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> | ||
165 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojYFVUEeWRIqLs5_0Tzg" value="1"/> | ||
166 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojX1VUEeWRIqLs5_0Tzg" value="1"/> | ||
167 | </ownedAttribute> | ||
168 | <ownedAttribute xmi:id="_RvojYVVUEeWRIqLs5_0Tzg" name="apidValue" visibility="private" type="_RvomjVVUEeWRIqLs5_0Tzg"> | ||
169 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojY1VUEeWRIqLs5_0Tzg"/> | ||
170 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojYlVUEeWRIqLs5_0Tzg" value="*"/> | ||
171 | </ownedAttribute> | ||
172 | <ownedAttribute xmi:id="_RvojZFVUEeWRIqLs5_0Tzg" name="validApidsConfig" visibility="private" type="_RvojN1VUEeWRIqLs5_0Tzg" association="_RvomeFVUEeWRIqLs5_0Tzg"> | ||
173 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojZlVUEeWRIqLs5_0Tzg" value="1"/> | ||
174 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojZVVUEeWRIqLs5_0Tzg" value="1"/> | ||
175 | </ownedAttribute> | ||
176 | <ownedAttribute xmi:id="_RvojZ1VUEeWRIqLs5_0Tzg" name="pidValue" visibility="private" type="_RvomilVUEeWRIqLs5_0Tzg"> | ||
177 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojaVVUEeWRIqLs5_0Tzg"/> | ||
178 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojaFVUEeWRIqLs5_0Tzg" value="*"/> | ||
179 | </ownedAttribute> | ||
180 | <ownedAttribute xmi:id="_RvojalVUEeWRIqLs5_0Tzg" name="pcatValue" visibility="private" type="_Rvomh1VUEeWRIqLs5_0Tzg"> | ||
181 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojbFVUEeWRIqLs5_0Tzg"/> | ||
182 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvoja1VUEeWRIqLs5_0Tzg" value="*"/> | ||
183 | </ownedAttribute> | ||
184 | </packagedElement> | ||
185 | <packagedElement xmi:type="uml:Class" xmi:id="_RvojbVVUEeWRIqLs5_0Tzg" name="IspConfig"> | ||
186 | <ownedAttribute xmi:id="_RvojblVUEeWRIqLs5_0Tzg" name="ispsConfig" visibility="private" type="_RvojTFVUEeWRIqLs5_0Tzg" association="_RvomdFVUEeWRIqLs5_0Tzg"> | ||
187 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojcFVUEeWRIqLs5_0Tzg" value="1"/> | ||
188 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvojb1VUEeWRIqLs5_0Tzg" value="1"/> | ||
189 | </ownedAttribute> | ||
190 | <ownedAttribute xmi:id="_RvojcVVUEeWRIqLs5_0Tzg" name="apid" visibility="private" type="_RvomjVVUEeWRIqLs5_0Tzg"/> | ||
191 | </packagedElement> | ||
192 | <packagedElement xmi:type="uml:Class" xmi:id="_RvojclVUEeWRIqLs5_0Tzg" name="Configuration"> | ||
193 | <ownedAttribute xmi:id="_Rvojc1VUEeWRIqLs5_0Tzg" name="transmission" visibility="private" type="_RvolTVVUEeWRIqLs5_0Tzg" association="_RvomTFVUEeWRIqLs5_0Tzg"> | ||
194 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojdVVUEeWRIqLs5_0Tzg" value="1"/> | ||
195 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojdFVUEeWRIqLs5_0Tzg" value="1"/> | ||
196 | </ownedAttribute> | ||
197 | <ownedAttribute xmi:id="_RvojdlVUEeWRIqLs5_0Tzg" name="maxCounterPerApidSuffixConfig" visibility="private" type="_RvojRVVUEeWRIqLs5_0Tzg" aggregation="composite" association="_RvomclVUEeWRIqLs5_0Tzg"> | ||
198 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojeFVUEeWRIqLs5_0Tzg" value="1"/> | ||
199 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvojd1VUEeWRIqLs5_0Tzg" value="1"/> | ||
200 | </ownedAttribute> | ||
201 | <ownedAttribute xmi:id="_RvojeVVUEeWRIqLs5_0Tzg" name="validApidsConfig" visibility="private" type="_RvojN1VUEeWRIqLs5_0Tzg" aggregation="composite" association="_RvomcVVUEeWRIqLs5_0Tzg"> | ||
202 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvoje1VUEeWRIqLs5_0Tzg" value="1"/> | ||
203 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojelVUEeWRIqLs5_0Tzg" value="1"/> | ||
204 | </ownedAttribute> | ||
205 | <ownedAttribute xmi:id="_RvojfFVUEeWRIqLs5_0Tzg" name="rtStpsConfig" visibility="private" type="_RvojPlVUEeWRIqLs5_0Tzg" aggregation="composite" association="_Rvomc1VUEeWRIqLs5_0Tzg"> | ||
206 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojflVUEeWRIqLs5_0Tzg" value="1"/> | ||
207 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojfVVUEeWRIqLs5_0Tzg" value="1"/> | ||
208 | </ownedAttribute> | ||
209 | </packagedElement> | ||
210 | <packagedElement xmi:type="uml:Class" xmi:id="_Rvojf1VUEeWRIqLs5_0Tzg" name="ApidSuffixAndMaxCounter"> | ||
211 | <ownedAttribute xmi:id="_RvojgFVUEeWRIqLs5_0Tzg" name="apidSuffix" visibility="private" type="_Rvomh1VUEeWRIqLs5_0Tzg"/> | ||
212 | <ownedAttribute xmi:id="_RvojgVVUEeWRIqLs5_0Tzg" name="maxSscCounterValue" visibility="private"> | ||
213 | <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> | ||
214 | </ownedAttribute> | ||
215 | <ownedAttribute xmi:id="_RvojglVUEeWRIqLs5_0Tzg" name="maxCounterPerApidSuffixConfig" visibility="private" type="_RvojRVVUEeWRIqLs5_0Tzg" association="_RvomdlVUEeWRIqLs5_0Tzg"> | ||
216 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojhFVUEeWRIqLs5_0Tzg" value="1"/> | ||
217 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvojg1VUEeWRIqLs5_0Tzg" value="1"/> | ||
218 | </ownedAttribute> | ||
219 | </packagedElement> | ||
220 | <packagedElement xmi:type="uml:Class" xmi:id="_RvojhVVUEeWRIqLs5_0Tzg" name="ByteSequence"> | ||
221 | <ownedAttribute xmi:id="_RvojhlVUEeWRIqLs5_0Tzg" name="byte" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg" isOrdered="true" isUnique="false"> | ||
222 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojiFVUEeWRIqLs5_0Tzg" value="1"/> | ||
223 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvojh1VUEeWRIqLs5_0Tzg" value="*"/> | ||
224 | </ownedAttribute> | ||
225 | </packagedElement> | ||
226 | <packagedElement xmi:type="uml:Class" xmi:id="_RvojiVVUEeWRIqLs5_0Tzg" name="BitSequence"> | ||
227 | <ownedAttribute xmi:id="_RvojilVUEeWRIqLs5_0Tzg" name="numberOfBits" visibility="private"> | ||
228 | <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> | ||
229 | </ownedAttribute> | ||
230 | <ownedAttribute xmi:id="_Rvoji1VUEeWRIqLs5_0Tzg" name="intValue" visibility="private"> | ||
231 | <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> | ||
232 | </ownedAttribute> | ||
233 | </packagedElement> | ||
234 | <packagedElement xmi:type="uml:Enumeration" xmi:id="_RvojjFVUEeWRIqLs5_0Tzg" name="VirtualChannelType"> | ||
235 | <ownedLiteral xmi:id="_RvojjVVUEeWRIqLs5_0Tzg" name="ACTIVE"> | ||
236 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvojjlVUEeWRIqLs5_0Tzg"> | ||
237 | <body>ACTIVE</body> | ||
238 | </specification> | ||
239 | </ownedLiteral> | ||
240 | <ownedLiteral xmi:id="_Rvojj1VUEeWRIqLs5_0Tzg" name="IDLE"> | ||
241 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvojkFVUEeWRIqLs5_0Tzg"> | ||
242 | <body>IDLE</body> | ||
243 | </specification> | ||
244 | </ownedLiteral> | ||
245 | </packagedElement> | ||
246 | <packagedElement xmi:type="uml:Enumeration" xmi:id="_RvojkVVUEeWRIqLs5_0Tzg" name="SubsystemTypes"> | ||
247 | <ownedLiteral xmi:id="_RvojklVUEeWRIqLs5_0Tzg" name="Xsve_Nss"/> | ||
248 | <ownedLiteral xmi:id="_Rvojk1VUEeWRIqLs5_0Tzg" name="Xsve_Hdr"/> | ||
249 | <ownedLiteral xmi:id="_RvojlFVUEeWRIqLs5_0Tzg" name="Xsve_Ucdc"/> | ||
250 | </packagedElement> | ||
251 | <packagedElement xmi:type="uml:Enumeration" xmi:id="_RvojlVVUEeWRIqLs5_0Tzg" name="PacketType"> | ||
252 | <ownedLiteral xmi:id="_RvojllVUEeWRIqLs5_0Tzg" name="ACTIVE"> | ||
253 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_Rvojl1VUEeWRIqLs5_0Tzg"> | ||
254 | <body>ACTIVE</body> | ||
255 | </specification> | ||
256 | </ownedLiteral> | ||
257 | <ownedLiteral xmi:id="_RvojmFVUEeWRIqLs5_0Tzg" name="IDLE"> | ||
258 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvojmVVUEeWRIqLs5_0Tzg"> | ||
259 | <body>IDLE</body> | ||
260 | </specification> | ||
261 | </ownedLiteral> | ||
262 | <ownedLiteral xmi:id="_RvojmlVUEeWRIqLs5_0Tzg" name="UNDEFINED"> | ||
263 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_Rvojm1VUEeWRIqLs5_0Tzg"> | ||
264 | <body>UNDEFINED</body> | ||
265 | </specification> | ||
266 | </ownedLiteral> | ||
267 | </packagedElement> | ||
268 | <packagedElement xmi:type="uml:Enumeration" xmi:id="_RvojnFVUEeWRIqLs5_0Tzg" name="IspPacketTypes"> | ||
269 | <ownedLiteral xmi:id="_RvojnVVUEeWRIqLs5_0Tzg" name="S1_SAR"> | ||
270 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvojnlVUEeWRIqLs5_0Tzg"> | ||
271 | <language> </language> | ||
272 | <body>S1_SAR</body> | ||
273 | </specification> | ||
274 | </ownedLiteral> | ||
275 | <ownedLiteral xmi:id="_Rvojn1VUEeWRIqLs5_0Tzg" name="S1_GPSR"> | ||
276 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvojoFVUEeWRIqLs5_0Tzg"> | ||
277 | <language></language> | ||
278 | <body>S1_GPSR</body> | ||
279 | </specification> | ||
280 | </ownedLiteral> | ||
281 | <ownedLiteral xmi:id="_RvojoVVUEeWRIqLs5_0Tzg" name="S2_MSI"> | ||
282 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvojolVUEeWRIqLs5_0Tzg"> | ||
283 | <language> </language> | ||
284 | <body>S2_MSI</body> | ||
285 | </specification> | ||
286 | </ownedLiteral> | ||
287 | <ownedLiteral xmi:id="_Rvojo1VUEeWRIqLs5_0Tzg" name="S2_GPSR"> | ||
288 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvojpFVUEeWRIqLs5_0Tzg"> | ||
289 | <language></language> | ||
290 | <body>S2_GPSR</body> | ||
291 | </specification> | ||
292 | </ownedLiteral> | ||
293 | <ownedLiteral xmi:id="_RvojpVVUEeWRIqLs5_0Tzg" name="S2_STR"> | ||
294 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvojplVUEeWRIqLs5_0Tzg"> | ||
295 | <language></language> | ||
296 | <body>S2_STR</body> | ||
297 | </specification> | ||
298 | </ownedLiteral> | ||
299 | <ownedLiteral xmi:id="_Rvojp1VUEeWRIqLs5_0Tzg" name="S2_CSW"> | ||
300 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvojqFVUEeWRIqLs5_0Tzg"> | ||
301 | <language></language> | ||
302 | <body>S2_CSW</body> | ||
303 | </specification> | ||
304 | </ownedLiteral> | ||
305 | <ownedLiteral xmi:id="_RvojqVVUEeWRIqLs5_0Tzg" name="S3_OLCI"> | ||
306 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvojqlVUEeWRIqLs5_0Tzg"> | ||
307 | <language> </language> | ||
308 | <body>S3_OLCI</body> | ||
309 | </specification> | ||
310 | </ownedLiteral> | ||
311 | <ownedLiteral xmi:id="_Rvojq1VUEeWRIqLs5_0Tzg" name="S3_SLSTR"> | ||
312 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvojrFVUEeWRIqLs5_0Tzg"> | ||
313 | <language> </language> | ||
314 | <body>S3_SLSTR</body> | ||
315 | </specification> | ||
316 | </ownedLiteral> | ||
317 | <ownedLiteral xmi:id="_RvojrVVUEeWRIqLs5_0Tzg" name="S3_DORIS"> | ||
318 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvojrlVUEeWRIqLs5_0Tzg"> | ||
319 | <language> </language> | ||
320 | <body>S3_DORIS</body> | ||
321 | </specification> | ||
322 | </ownedLiteral> | ||
323 | <ownedLiteral xmi:id="_Rvojr1VUEeWRIqLs5_0Tzg" name="S3_NAVATT"> | ||
324 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvojsFVUEeWRIqLs5_0Tzg"> | ||
325 | <language></language> | ||
326 | <body>S3_NAVATT</body> | ||
327 | </specification> | ||
328 | </ownedLiteral> | ||
329 | <ownedLiteral xmi:id="_RvojsVVUEeWRIqLs5_0Tzg" name="S3_MWR"> | ||
330 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvojslVUEeWRIqLs5_0Tzg"> | ||
331 | <language> </language> | ||
332 | <body>S3_MWR</body> | ||
333 | </specification> | ||
334 | </ownedLiteral> | ||
335 | <ownedLiteral xmi:id="_Rvojs1VUEeWRIqLs5_0Tzg" name="S3_SRAL"> | ||
336 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvojtFVUEeWRIqLs5_0Tzg"> | ||
337 | <language> </language> | ||
338 | <body>S3_SRAL</body> | ||
339 | </specification> | ||
340 | </ownedLiteral> | ||
341 | <ownedLiteral xmi:id="_RvojtVVUEeWRIqLs5_0Tzg" name="S3_GPSR"> | ||
342 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvojtlVUEeWRIqLs5_0Tzg"> | ||
343 | <language></language> | ||
344 | <body>S3_GPSR</body> | ||
345 | </specification> | ||
346 | </ownedLiteral> | ||
347 | <ownedLiteral xmi:id="_Rvojt1VUEeWRIqLs5_0Tzg" name="UNDEFINED"/> | ||
348 | </packagedElement> | ||
349 | <packagedElement xmi:type="uml:Enumeration" xmi:id="_RvojuFVUEeWRIqLs5_0Tzg" name="FileClassTypes"> | ||
350 | <ownedLiteral xmi:id="_RvojuVVUEeWRIqLs5_0Tzg" name="TEST"> | ||
351 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvojulVUEeWRIqLs5_0Tzg"> | ||
352 | <body>TEST</body> | ||
353 | </specification> | ||
354 | </ownedLiteral> | ||
355 | <ownedLiteral xmi:id="_Rvoju1VUEeWRIqLs5_0Tzg" name="OPER"> | ||
356 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvojvFVUEeWRIqLs5_0Tzg"> | ||
357 | <body>OPER</body> | ||
358 | </specification> | ||
359 | </ownedLiteral> | ||
360 | </packagedElement> | ||
361 | <packagedElement xmi:type="uml:Enumeration" xmi:id="_RvojvVVUEeWRIqLs5_0Tzg" name="ApidProfile"> | ||
362 | <ownedLiteral xmi:id="_RvojvlVUEeWRIqLs5_0Tzg" name="IDLE_TM_PACKET"> | ||
363 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_Rvojv1VUEeWRIqLs5_0Tzg"> | ||
364 | <language> </language> | ||
365 | <body>IDLE_TM_PACKET</body> | ||
366 | </specification> | ||
367 | </ownedLiteral> | ||
368 | <ownedLiteral xmi:id="_RvojwFVUEeWRIqLs5_0Tzg" name="HOUSEKEEPING"> | ||
369 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvojwVVUEeWRIqLs5_0Tzg"> | ||
370 | <body>HOUSEKEEPING</body> | ||
371 | </specification> | ||
372 | </ownedLiteral> | ||
373 | <ownedLiteral xmi:id="_RvojwlVUEeWRIqLs5_0Tzg" name="NON-REAL_TIME_HKTM"> | ||
374 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_Rvojw1VUEeWRIqLs5_0Tzg"> | ||
375 | <body>NON-REAL_TIME_HKTM</body> | ||
376 | </specification> | ||
377 | </ownedLiteral> | ||
378 | </packagedElement> | ||
379 | <packagedElement xmi:type="uml:Class" xmi:id="_RvojxFVUEeWRIqLs5_0Tzg" name="VcduHeader"> | ||
380 | <ownedComment xmi:id="_RvojxVVUEeWRIqLs5_0Tzg"> | ||
381 | <body>Transfer Frame Primary Header / Virtual Channel Data Unit Header</body> | ||
382 | </ownedComment> | ||
383 | <ownedRule xmi:id="_RvojxlVUEeWRIqLs5_0Tzg" name="input_masterChannelIdTransferFrameVersionNumber" constrainedElement="_RvojxFVUEeWRIqLs5_0Tzg"> | ||
384 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_Rvojx1VUEeWRIqLs5_0Tzg"> | ||
385 | <language>OCL</language> | ||
386 | <body>self.mcidTfVersionNumber.intValue = 1</body> | ||
387 | </specification> | ||
388 | </ownedRule> | ||
389 | <ownedRule xmi:id="_RvojyFVUEeWRIqLs5_0Tzg" name="input_masterChannelIdSpacecraftId" constrainedElement="_RvojxFVUEeWRIqLs5_0Tzg"> | ||
390 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvojyVVUEeWRIqLs5_0Tzg"> | ||
391 | <language>OCL</language> | ||
392 | <body>self.mcidSpacecraftId.intValue = self.vcdu.cadu.channelData.transmissionData.configuration.rtStpsConfig.xsveRtStps.spacecraftId</body> | ||
393 | </specification> | ||
394 | </ownedRule> | ||
395 | <ownedRule xmi:id="_RvojylVUEeWRIqLs5_0Tzg" name="input_virtualChannelIdInConfiguration" constrainedElement="_RvojxFVUEeWRIqLs5_0Tzg"> | ||
396 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_Rvojy1VUEeWRIqLs5_0Tzg"> | ||
397 | <language>OCL</language> | ||
398 | <body>let rtStpsConfig : XsveRtStps = self.vcdu.cadu.channelData.transmissionData.configuration.rtStpsConfig.xsveRtStps in 
 | ||
399 | 
 | ||
400 | rtStpsConfig.vcdusConfig.vcduConfig.vcid->exists(x | x = self.virtualChannelId) 
 | ||
401 | or 
 | ||
402 | self.virtualChannelId = rtStpsConfig.idleVcid
 | ||
403 | </body> | ||
404 | </specification> | ||
405 | </ownedRule> | ||
406 | <ownedRule xmi:id="_RvojzFVUEeWRIqLs5_0Tzg" name="input_signalingFieldReplayFlag" constrainedElement="_RvojxFVUEeWRIqLs5_0Tzg"> | ||
407 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvojzVVUEeWRIqLs5_0Tzg"> | ||
408 | <language>OCL</language> | ||
409 | <body>self.signFieldReplayFlag.intValue = 0</body> | ||
410 | </specification> | ||
411 | </ownedRule> | ||
412 | <ownedRule xmi:id="_RvojzlVUEeWRIqLs5_0Tzg" name="input_signalingFieldReservedSpare" constrainedElement="_RvojxFVUEeWRIqLs5_0Tzg"> | ||
413 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_Rvojz1VUEeWRIqLs5_0Tzg"> | ||
414 | <language>OCL</language> | ||
415 | <body>self.signFieldRsvdSpare.intValue = 0</body> | ||
416 | </specification> | ||
417 | </ownedRule> | ||
418 | <ownedRule xmi:id="_Rvoj0FVUEeWRIqLs5_0Tzg" name="input_virtualChannelIdInRange" constrainedElement="_RvojxFVUEeWRIqLs5_0Tzg"> | ||
419 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_Rvoj0VVUEeWRIqLs5_0Tzg"> | ||
420 | <language>OCL</language> | ||
421 | <body>self.virtualChannelId.value.intValue >= 0 and self.virtualChannelId.value.intValue <= 63</body> | ||
422 | </specification> | ||
423 | </ownedRule> | ||
424 | <ownedRule xmi:id="_Rvoj0lVUEeWRIqLs5_0Tzg" name="input_frameHeader" constrainedElement="_RvojxFVUEeWRIqLs5_0Tzg"> | ||
425 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_Rvoj01VUEeWRIqLs5_0Tzg"> | ||
426 | <language>OCL</language> | ||
427 | <body>self.vcdu.cadu.channelData.transmissionData.configuration.rtStpsConfig.xsveRtStps.rsCorrectHeader 
 | ||
428 | 
 | ||
429 | implies 
 | ||
430 | 
 | ||
431 | self.rsCrcHasErrors = false</body> | ||
432 | </specification> | ||
433 | </ownedRule> | ||
434 | <ownedRule xmi:id="_Rvoj1FVUEeWRIqLs5_0Tzg" name="input_frameHeaderCorrectable" constrainedElement="_RvojxFVUEeWRIqLs5_0Tzg"> | ||
435 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_Rvoj1VVUEeWRIqLs5_0Tzg"> | ||
436 | <language>OCL</language> | ||
437 | <body>self.vcdu.cadu.channelData.transmissionData.configuration.rtStpsConfig.xsveRtStps.rsCorrectHeader 
 | ||
438 | 
 | ||
439 | and 
 | ||
440 | 
 | ||
441 | self.rsCrcHasErrors = true 
 | ||
442 | 
 | ||
443 | implies 
 | ||
444 | 
 | ||
445 | self.rsCrcErrorsCorrectable = true</body> | ||
446 | </specification> | ||
447 | </ownedRule> | ||
448 | <ownedRule xmi:id="_Rvoj1lVUEeWRIqLs5_0Tzg" name="alloy_input_virtualChannelIdInConfiguration" constrainedElement="_RvojxFVUEeWRIqLs5_0Tzg"> | ||
449 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_Rvoj11VUEeWRIqLs5_0Tzg"> | ||
450 | <language>OCL</language> | ||
451 | <body>self.vcdu.cadu.channelData.transmissionData.configuration.rtStpsConfig.xsveRtStps.vcdusConfig.vcduConfig.vcid->exists(x | x = self.virtualChannelId) 
 | ||
452 | or 
 | ||
453 | self.virtualChannelId = self.vcdu.cadu.channelData.transmissionData.configuration.rtStpsConfig.xsveRtStps.idleVcid
 | ||
454 | </body> | ||
455 | </specification> | ||
456 | </ownedRule> | ||
457 | <ownedAttribute xmi:id="_Rvoj2FVUEeWRIqLs5_0Tzg" name="mcidTfVersionNumber" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"> | ||
458 | <eAnnotations xmi:id="_Rvoj2VVUEeWRIqLs5_0Tzg" source="http://www.eclipse.org/uml2/2.0.0/UML"/> | ||
459 | <ownedComment xmi:id="_Rvoj2lVUEeWRIqLs5_0Tzg" annotatedElement="_Rvoj2FVUEeWRIqLs5_0Tzg"> | ||
460 | <body><p>Master&nbsp;Channel&nbsp;ID&nbsp;-&nbsp;Transfer&nbsp;Frame&nbsp;Version&nbsp;Number</p><p>2&nbsp;bits</p></body> | ||
461 | </ownedComment> | ||
462 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvoj3FVUEeWRIqLs5_0Tzg" value="1"/> | ||
463 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvoj21VUEeWRIqLs5_0Tzg" value="1"/> | ||
464 | </ownedAttribute> | ||
465 | <ownedAttribute xmi:id="_Rvoj3VVUEeWRIqLs5_0Tzg" name="mcidSpacecraftId" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"> | ||
466 | <ownedComment xmi:id="_Rvoj3lVUEeWRIqLs5_0Tzg" annotatedElement="_Rvoj3VVUEeWRIqLs5_0Tzg"> | ||
467 | <body><p>Master&nbsp;Channel&nbsp;ID&nbsp;-&nbsp;Spacecraft&nbsp;ID</p><p>8&nbsp;bits</p></body> | ||
468 | </ownedComment> | ||
469 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvoj4FVUEeWRIqLs5_0Tzg" value="1"/> | ||
470 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvoj31VUEeWRIqLs5_0Tzg" value="1"/> | ||
471 | </ownedAttribute> | ||
472 | <ownedAttribute xmi:id="_Rvoj4VVUEeWRIqLs5_0Tzg" name="virtualChannelId" visibility="private" type="_RvomoVVUEeWRIqLs5_0Tzg"> | ||
473 | <ownedComment xmi:id="_Rvoj4lVUEeWRIqLs5_0Tzg" annotatedElement="_Rvoj4VVUEeWRIqLs5_0Tzg"> | ||
474 | <body><p>6&nbsp;bits</p></body> | ||
475 | </ownedComment> | ||
476 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvoj5FVUEeWRIqLs5_0Tzg" value="1"/> | ||
477 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvoj41VUEeWRIqLs5_0Tzg" value="1"/> | ||
478 | </ownedAttribute> | ||
479 | <ownedAttribute xmi:id="_Rvoj5VVUEeWRIqLs5_0Tzg" name="virtualChannelFrameCount" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"> | ||
480 | <ownedComment xmi:id="_Rvoj5lVUEeWRIqLs5_0Tzg" annotatedElement="_Rvoj5VVUEeWRIqLs5_0Tzg"> | ||
481 | <body><p>3&nbsp;bytes</p></body> | ||
482 | </ownedComment> | ||
483 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvoj6FVUEeWRIqLs5_0Tzg" value="1"/> | ||
484 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvoj51VUEeWRIqLs5_0Tzg" value="1"/> | ||
485 | </ownedAttribute> | ||
486 | <ownedAttribute xmi:id="_Rvoj6VVUEeWRIqLs5_0Tzg" name="signFieldReplayFlag" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"> | ||
487 | <ownedComment xmi:id="_Rvoj6lVUEeWRIqLs5_0Tzg" annotatedElement="_Rvoj6VVUEeWRIqLs5_0Tzg"> | ||
488 | <body><p>Signaling&nbsp;Field&nbsp;-&nbsp;Replay&nbsp;Flag</p><p>1&nbsp;bit</p></body> | ||
489 | </ownedComment> | ||
490 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvoj7FVUEeWRIqLs5_0Tzg" value="1"/> | ||
491 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvoj61VUEeWRIqLs5_0Tzg" value="1"/> | ||
492 | </ownedAttribute> | ||
493 | <ownedAttribute xmi:id="_Rvoj7VVUEeWRIqLs5_0Tzg" name="signFieldRsvdSpare" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"> | ||
494 | <ownedComment xmi:id="_Rvoj7lVUEeWRIqLs5_0Tzg" annotatedElement="_Rvoj7VVUEeWRIqLs5_0Tzg"> | ||
495 | <body><p>Signaling&nbsp;Field&nbsp;-&nbsp;Rsvd&nbsp;Fd</p><p>7&nbsp;bits</p></body> | ||
496 | </ownedComment> | ||
497 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvoj8FVUEeWRIqLs5_0Tzg" value="1"/> | ||
498 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvoj71VUEeWRIqLs5_0Tzg" value="1"/> | ||
499 | </ownedAttribute> | ||
500 | <ownedAttribute xmi:id="_Rvoj8VVUEeWRIqLs5_0Tzg" name="frameHeaderErrorControl" visibility="private" type="_RvojhVVUEeWRIqLs5_0Tzg"> | ||
501 | <ownedComment xmi:id="_Rvoj8lVUEeWRIqLs5_0Tzg" annotatedElement="_Rvoj8VVUEeWRIqLs5_0Tzg"> | ||
502 | <body><p>2&nbsp;bytes</p></body> | ||
503 | </ownedComment> | ||
504 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvoj9FVUEeWRIqLs5_0Tzg" value="1"/> | ||
505 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvoj81VUEeWRIqLs5_0Tzg" value="1"/> | ||
506 | </ownedAttribute> | ||
507 | <ownedAttribute xmi:id="_Rvoj9VVUEeWRIqLs5_0Tzg" name="vcdu" visibility="private" type="_RvokDVVUEeWRIqLs5_0Tzg" association="_RvomG1VUEeWRIqLs5_0Tzg"> | ||
508 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvoj91VUEeWRIqLs5_0Tzg" value="1"/> | ||
509 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvoj9lVUEeWRIqLs5_0Tzg" value="1"/> | ||
510 | </ownedAttribute> | ||
511 | <ownedAttribute xmi:id="_Rvoj-FVUEeWRIqLs5_0Tzg" name="vcduHeaderAsString" visibility="private"> | ||
512 | <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/> | ||
513 | </ownedAttribute> | ||
514 | <ownedAttribute xmi:id="_Rvoj-VVUEeWRIqLs5_0Tzg" name="rsCrcHasErrors" visibility="private"> | ||
515 | <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> | ||
516 | </ownedAttribute> | ||
517 | <ownedAttribute xmi:id="_Rvoj-lVUEeWRIqLs5_0Tzg" name="rsCrcErrorsCorrectable" visibility="private"> | ||
518 | <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> | ||
519 | </ownedAttribute> | ||
520 | <ownedOperation xmi:id="_Rvoj-1VUEeWRIqLs5_0Tzg" name="calculateRsCrc" visibility="public"> | ||
521 | <ownedComment xmi:id="_Rvoj_FVUEeWRIqLs5_0Tzg" annotatedElement="_Rvoj-1VUEeWRIqLs5_0Tzg"> | ||
522 | <body><p>return&nbsp;2&nbsp;byte&nbsp;array</p></body> | ||
523 | </ownedComment> | ||
524 | <ownedParameter xmi:id="_Rvoj_VVUEeWRIqLs5_0Tzg" name="Result" type="_RvojhVVUEeWRIqLs5_0Tzg" isUnique="false" direction="return" effect="update"> | ||
525 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvoj_1VUEeWRIqLs5_0Tzg"/> | ||
526 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvoj_lVUEeWRIqLs5_0Tzg" value="1"/> | ||
527 | </ownedParameter> | ||
528 | <ownedParameter xmi:id="_RvokAFVUEeWRIqLs5_0Tzg" name="tfVersionNumber"> | ||
529 | <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/EcorePrimitiveTypes.library.uml#EByte"/> | ||
530 | </ownedParameter> | ||
531 | <ownedParameter xmi:id="_RvokAVVUEeWRIqLs5_0Tzg" name="spaceCraftId"> | ||
532 | <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/EcorePrimitiveTypes.library.uml#EByte"/> | ||
533 | </ownedParameter> | ||
534 | <ownedParameter xmi:id="_RvokAlVUEeWRIqLs5_0Tzg" name="virtualChannelId"> | ||
535 | <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/EcorePrimitiveTypes.library.uml#EByte"/> | ||
536 | </ownedParameter> | ||
537 | <ownedParameter xmi:id="_RvokA1VUEeWRIqLs5_0Tzg" name="signFieldReplayFlag"> | ||
538 | <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/EcorePrimitiveTypes.library.uml#EByte"/> | ||
539 | </ownedParameter> | ||
540 | <ownedParameter xmi:id="_RvokBFVUEeWRIqLs5_0Tzg" name="signFieldRsvdSpare"> | ||
541 | <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/EcorePrimitiveTypes.library.uml#EByte"/> | ||
542 | </ownedParameter> | ||
543 | </ownedOperation> | ||
544 | <ownedOperation xmi:id="_RvokBVVUEeWRIqLs5_0Tzg" name="isUsingHeaderCorrection" bodyCondition="_RvokBlVUEeWRIqLs5_0Tzg" isQuery="true"> | ||
545 | <ownedRule xmi:id="_RvokBlVUEeWRIqLs5_0Tzg" name="isUsingHeaderCorrection" constrainedElement="_RvokBVVUEeWRIqLs5_0Tzg"> | ||
546 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvokB1VUEeWRIqLs5_0Tzg"> | ||
547 | <language>OCL</language> | ||
548 | <body>self.vcdu.cadu.channelData.transmissionData.configuration.rtStpsConfig.xsveRtStps.rsCorrectHeader</body> | ||
549 | </specification> | ||
550 | </ownedRule> | ||
551 | <ownedParameter xmi:id="_RvokCFVUEeWRIqLs5_0Tzg" name="Parameter1" direction="return"> | ||
552 | <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> | ||
553 | </ownedParameter> | ||
554 | </ownedOperation> | ||
555 | <ownedOperation xmi:id="_RvokCVVUEeWRIqLs5_0Tzg" name="getVirtualChannelId" bodyCondition="_RvokClVUEeWRIqLs5_0Tzg" isQuery="true"> | ||
556 | <ownedRule xmi:id="_RvokClVUEeWRIqLs5_0Tzg" name="getVirtualChannelId" constrainedElement="_RvokCVVUEeWRIqLs5_0Tzg"> | ||
557 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvokC1VUEeWRIqLs5_0Tzg"> | ||
558 | <language>OCL</language> | ||
559 | <body>self.virtualChannelId.value.intValue</body> | ||
560 | </specification> | ||
561 | </ownedRule> | ||
562 | <ownedParameter xmi:id="_RvokDFVUEeWRIqLs5_0Tzg" name="Parameter1" direction="return"> | ||
563 | <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> | ||
564 | </ownedParameter> | ||
565 | </ownedOperation> | ||
566 | </packagedElement> | ||
567 | <packagedElement xmi:type="uml:Class" xmi:id="_RvokDVVUEeWRIqLs5_0Tzg" name="Vcdu"> | ||
568 | <ownedComment xmi:id="_RvokDlVUEeWRIqLs5_0Tzg"> | ||
569 | <body>Frame / Virtual Channel Data Unit</body> | ||
570 | </ownedComment> | ||
571 | <ownedRule xmi:id="_RvokD1VUEeWRIqLs5_0Tzg" name="input_idleFrame" constrainedElement="_RvokDVVUEeWRIqLs5_0Tzg"> | ||
572 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvokEFVUEeWRIqLs5_0Tzg"> | ||
573 | <language>OCL</language> | ||
574 | <body>self.vcduHeader.virtualChannelId = self.cadu.channelData.transmissionData.configuration.rtStpsConfig.xsveRtStps.idleVcid
 | ||
575 | 
 | ||
576 | implies 
 | ||
577 | 
 | ||
578 | self.mpduHeader.oclIsTypeOf(MpduIdleHeader) 
 | ||
579 | and 
 | ||
580 | self.mpduHeader.oclAsType(MpduIdleHeader).value.byte->at(1).intValue = 7 
 | ||
581 | and 
 | ||
582 | self.mpduHeader.oclAsType(MpduIdleHeader).value.byte->at(2).intValue = -2 
 | ||
583 | and 
 | ||
584 | self.mpduPacketZone.oclIsTypeOf(MpduIdlePacketZone) 
 | ||
585 | and 
 | ||
586 | self.mpduPacketZone.oclAsType(MpduIdlePacketZone).value.byte->at(1).intValue = -1 
 | ||
587 | and 
 | ||
588 | self.mpduPacketZone.oclAsType(MpduIdlePacketZone).value.byte->at(2).intValue = -3 
 | ||
589 | and 
 | ||
590 | self.mpduPacketZone.oclAsType(MpduIdlePacketZone).value.byte->at(3).intValue = 89 
 | ||
591 | and 
 | ||
592 | self.mpduPacketZone.oclAsType(MpduIdlePacketZone).value.byte->at(4).intValue = 123 
 | ||
593 | </body> | ||
594 | </specification> | ||
595 | </ownedRule> | ||
596 | <ownedRule xmi:id="_RvokEVVUEeWRIqLs5_0Tzg" name="alloy_IsActiveCadu" constrainedElement="_RvokDVVUEeWRIqLs5_0Tzg"> | ||
597 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvokElVUEeWRIqLs5_0Tzg"> | ||
598 | <language>OCL</language> | ||
599 | <body>(self.vcduHeader.virtualChannelId = self.cadu.channelData.transmissionData.configuration.rtStpsConfig.xsveRtStps.idleVcid and self.mpduHeader.oclIsTypeOf(MpduIdleHeader) and self.mpduPacketZone.oclIsTypeOf(MpduIdlePacketZone)) 
 | ||
600 | or
 | ||
601 | (self.vcduHeader.virtualChannelId <> self.cadu.channelData.transmissionData.configuration.rtStpsConfig.xsveRtStps.idleVcid and self.mpduHeader.oclIsTypeOf(MpduActiveHeader) and self.mpduPacketZone.oclIsTypeOf(MpduActivePacketZone))</body> | ||
602 | </specification> | ||
603 | </ownedRule> | ||
604 | <ownedAttribute xmi:id="_RvokE1VUEeWRIqLs5_0Tzg" name="mpduPacketZone" visibility="private" type="_Rvok4FVUEeWRIqLs5_0Tzg" aggregation="composite" association="_RvomHFVUEeWRIqLs5_0Tzg"> | ||
605 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvokFVVUEeWRIqLs5_0Tzg" value="1"/> | ||
606 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvokFFVUEeWRIqLs5_0Tzg" value="1"/> | ||
607 | </ownedAttribute> | ||
608 | <ownedAttribute xmi:id="_RvokFlVUEeWRIqLs5_0Tzg" name="vcduHeader" visibility="private" type="_RvojxFVUEeWRIqLs5_0Tzg" aggregation="composite" association="_RvomG1VUEeWRIqLs5_0Tzg"> | ||
609 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvokGFVUEeWRIqLs5_0Tzg" value="1"/> | ||
610 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvokF1VUEeWRIqLs5_0Tzg" value="1"/> | ||
611 | </ownedAttribute> | ||
612 | <ownedAttribute xmi:id="_RvokGVVUEeWRIqLs5_0Tzg" name="cadu" visibility="private" type="_RvolZVVUEeWRIqLs5_0Tzg" association="_RvomKlVUEeWRIqLs5_0Tzg"> | ||
613 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvokG1VUEeWRIqLs5_0Tzg" value="1"/> | ||
614 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvokGlVUEeWRIqLs5_0Tzg" value="1"/> | ||
615 | </ownedAttribute> | ||
616 | <ownedAttribute xmi:id="_RvokHFVUEeWRIqLs5_0Tzg" name="mpduHeader" visibility="private" type="_Rvolm1VUEeWRIqLs5_0Tzg" aggregation="composite" association="_RvomM1VUEeWRIqLs5_0Tzg"> | ||
617 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvokHlVUEeWRIqLs5_0Tzg" value="1"/> | ||
618 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvokHVVUEeWRIqLs5_0Tzg" value="1"/> | ||
619 | </ownedAttribute> | ||
620 | <ownedOperation xmi:id="_RvokH1VUEeWRIqLs5_0Tzg" name="getVirtualChannelType" bodyCondition="_RvokIFVUEeWRIqLs5_0Tzg" isQuery="true"> | ||
621 | <ownedRule xmi:id="_RvokIFVUEeWRIqLs5_0Tzg" name="getVirtualChannelType" constrainedElement="_RvokH1VUEeWRIqLs5_0Tzg"> | ||
622 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvokIVVUEeWRIqLs5_0Tzg"> | ||
623 | <language>OCL</language> | ||
624 | <body>if self.vcduHeader.virtualChannelId = self.cadu.channelData.transmissionData.configuration.rtStpsConfig.xsveRtStps.idleVcid
 | ||
625 | then VirtualChannelType::IDLE 
 | ||
626 | else VirtualChannelType::ACTIVE 
 | ||
627 | endif 
 | ||
628 | </body> | ||
629 | </specification> | ||
630 | </ownedRule> | ||
631 | <ownedParameter xmi:id="_RvokIlVUEeWRIqLs5_0Tzg" name="Parameter1" type="_RvojjFVUEeWRIqLs5_0Tzg" direction="return"/> | ||
632 | </ownedOperation> | ||
633 | <ownedOperation xmi:id="_RvokI1VUEeWRIqLs5_0Tzg" name="getHeaderAsString" bodyCondition="_RvokJFVUEeWRIqLs5_0Tzg" isQuery="true"> | ||
634 | <ownedRule xmi:id="_RvokJFVUEeWRIqLs5_0Tzg" name="getHeaderAsString" constrainedElement="_RvokI1VUEeWRIqLs5_0Tzg"> | ||
635 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvokJVVUEeWRIqLs5_0Tzg"> | ||
636 | <language>OCL</language> | ||
637 | <body>if self.cadu.channelData.caduHeaderIncludesMpdu then
 | ||
638 | if self.getVirtualChannelType() = VirtualChannelType::IDLE then
 | ||
639 | self.vcduHeader.vcduHeaderAsString.concat(self.mpduHeader.oclAsType(MpduIdleHeader).mpduIdleHeaderAsString)
 | ||
640 | else
 | ||
641 | self.vcduHeader.vcduHeaderAsString.concat(self.mpduHeader.oclAsType(MpduActiveHeader).mpduActiveHeaderAsString)
 | ||
642 | endif
 | ||
643 | else
 | ||
644 | self.vcduHeader.vcduHeaderAsString
 | ||
645 | endif
 | ||
646 | </body> | ||
647 | </specification> | ||
648 | </ownedRule> | ||
649 | <ownedParameter xmi:id="_RvokJlVUEeWRIqLs5_0Tzg" name="Parameter1" direction="return"> | ||
650 | <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/> | ||
651 | </ownedParameter> | ||
652 | </ownedOperation> | ||
653 | </packagedElement> | ||
654 | <packagedElement xmi:type="uml:Class" xmi:id="_RvokJ1VUEeWRIqLs5_0Tzg" name="TmGpsrS1DataFieldHeader"> | ||
655 | <ownedComment xmi:id="_RvokKFVUEeWRIqLs5_0Tzg"> | ||
656 | <body>TM GPSR Data Field Header</body> | ||
657 | </ownedComment> | ||
658 | <generalization xmi:id="_RvokKVVUEeWRIqLs5_0Tzg" general="_Rvokf1VUEeWRIqLs5_0Tzg"/> | ||
659 | <ownedAttribute xmi:id="_RvokKlVUEeWRIqLs5_0Tzg" name="fillerA" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"> | ||
660 | <ownedComment xmi:id="_RvokK1VUEeWRIqLs5_0Tzg" annotatedElement="_RvokKlVUEeWRIqLs5_0Tzg"> | ||
661 | <body><p>1&nbsp;bit</p></body> | ||
662 | </ownedComment> | ||
663 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvokLVVUEeWRIqLs5_0Tzg" value="1"/> | ||
664 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvokLFVUEeWRIqLs5_0Tzg" value="1"/> | ||
665 | </ownedAttribute> | ||
666 | <ownedAttribute xmi:id="_RvokLlVUEeWRIqLs5_0Tzg" name="version" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"> | ||
667 | <ownedComment xmi:id="_RvokL1VUEeWRIqLs5_0Tzg" annotatedElement="_RvokLlVUEeWRIqLs5_0Tzg"> | ||
668 | <body><p>3&nbsp;bits</p></body> | ||
669 | </ownedComment> | ||
670 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvokMVVUEeWRIqLs5_0Tzg" value="1"/> | ||
671 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvokMFVUEeWRIqLs5_0Tzg" value="1"/> | ||
672 | </ownedAttribute> | ||
673 | <ownedAttribute xmi:id="_RvokMlVUEeWRIqLs5_0Tzg" name="fillerB" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"> | ||
674 | <ownedComment xmi:id="_RvokM1VUEeWRIqLs5_0Tzg" annotatedElement="_RvokMlVUEeWRIqLs5_0Tzg"> | ||
675 | <body><p>4&nbsp;bits</p></body> | ||
676 | </ownedComment> | ||
677 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvokNVVUEeWRIqLs5_0Tzg" value="1"/> | ||
678 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvokNFVUEeWRIqLs5_0Tzg" value="1"/> | ||
679 | </ownedAttribute> | ||
680 | <ownedAttribute xmi:id="_RvokNlVUEeWRIqLs5_0Tzg" name="type" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"> | ||
681 | <ownedComment xmi:id="_RvokN1VUEeWRIqLs5_0Tzg" annotatedElement="_RvokNlVUEeWRIqLs5_0Tzg"> | ||
682 | <body><p>8&nbsp;bits</p></body> | ||
683 | </ownedComment> | ||
684 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvokOVVUEeWRIqLs5_0Tzg" value="1"/> | ||
685 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvokOFVUEeWRIqLs5_0Tzg" value="1"/> | ||
686 | </ownedAttribute> | ||
687 | <ownedAttribute xmi:id="_RvokOlVUEeWRIqLs5_0Tzg" name="subtype" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"> | ||
688 | <ownedComment xmi:id="_RvokO1VUEeWRIqLs5_0Tzg" annotatedElement="_RvokOlVUEeWRIqLs5_0Tzg"> | ||
689 | <body><p>8&nbsp;bits</p></body> | ||
690 | </ownedComment> | ||
691 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvokPVVUEeWRIqLs5_0Tzg" value="1"/> | ||
692 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvokPFVUEeWRIqLs5_0Tzg" value="1"/> | ||
693 | </ownedAttribute> | ||
694 | <ownedAttribute xmi:id="_RvokPlVUEeWRIqLs5_0Tzg" name="destinationId" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"> | ||
695 | <ownedComment xmi:id="_RvokP1VUEeWRIqLs5_0Tzg" annotatedElement="_RvokPlVUEeWRIqLs5_0Tzg"> | ||
696 | <body><p>Destination&nbsp;ID</p><p>8&nbsp;bits</p></body> | ||
697 | </ownedComment> | ||
698 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvokQVVUEeWRIqLs5_0Tzg" value="1"/> | ||
699 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvokQFVUEeWRIqLs5_0Tzg" value="1"/> | ||
700 | </ownedAttribute> | ||
701 | <ownedAttribute xmi:id="_RvokQlVUEeWRIqLs5_0Tzg" name="tfUndefinedA" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"> | ||
702 | <ownedComment xmi:id="_RvokQ1VUEeWRIqLs5_0Tzg" annotatedElement="_RvokQlVUEeWRIqLs5_0Tzg"> | ||
703 | <body><p>8&nbsp;bits</p></body> | ||
704 | </ownedComment> | ||
705 | </ownedAttribute> | ||
706 | <ownedAttribute xmi:id="_RvokRFVUEeWRIqLs5_0Tzg" name="tfSeconds" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"> | ||
707 | <ownedComment xmi:id="_RvokRVVUEeWRIqLs5_0Tzg" annotatedElement="_RvokRFVUEeWRIqLs5_0Tzg"> | ||
708 | <body><p>4&nbsp;bytes</p></body> | ||
709 | </ownedComment> | ||
710 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvokR1VUEeWRIqLs5_0Tzg" value="1"/> | ||
711 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvokRlVUEeWRIqLs5_0Tzg" value="1"/> | ||
712 | </ownedAttribute> | ||
713 | <ownedAttribute xmi:id="_RvokSFVUEeWRIqLs5_0Tzg" name="tfSubSeconds" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"> | ||
714 | <ownedComment xmi:id="_RvokSVVUEeWRIqLs5_0Tzg" annotatedElement="_RvokSFVUEeWRIqLs5_0Tzg"> | ||
715 | <body><p>8&nbsp;bits</p></body> | ||
716 | </ownedComment> | ||
717 | </ownedAttribute> | ||
718 | <ownedAttribute xmi:id="_RvokSlVUEeWRIqLs5_0Tzg" name="tfUndefinedB" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"> | ||
719 | <ownedComment xmi:id="_RvokS1VUEeWRIqLs5_0Tzg" annotatedElement="_RvokSlVUEeWRIqLs5_0Tzg"> | ||
720 | <body><p>2&nbsp;bytes</p></body> | ||
721 | </ownedComment> | ||
722 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvokTVVUEeWRIqLs5_0Tzg" value="1"/> | ||
723 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvokTFVUEeWRIqLs5_0Tzg" value="1"/> | ||
724 | </ownedAttribute> | ||
725 | </packagedElement> | ||
726 | <packagedElement xmi:type="uml:Class" xmi:id="_RvokTlVUEeWRIqLs5_0Tzg" name="Sync"> | ||
727 | <ownedComment xmi:id="_RvokT1VUEeWRIqLs5_0Tzg"> | ||
728 | <body>Sync Marker</body> | ||
729 | </ownedComment> | ||
730 | <ownedRule xmi:id="_RvokUFVUEeWRIqLs5_0Tzg" name="input_syncMarker" constrainedElement="_RvokTlVUEeWRIqLs5_0Tzg"> | ||
731 | <ownedComment xmi:id="_RvokUVVUEeWRIqLs5_0Tzg" annotatedElement="_RvokUFVUEeWRIqLs5_0Tzg"> | ||
732 | <body><p>We&nbsp;expect&nbsp;that&nbsp;the&nbsp;4&nbsp;byte&nbsp;Sync&nbsp;field&nbsp;should&nbsp;be&nbsp;equal&nbsp;to&nbsp;0x1ACFFC1D</p><p>0x1A&nbsp;=&nbsp;26&nbsp;</p><p>0xCF&nbsp;=&nbsp;207</p><p>0xFC&nbsp;=&nbsp;252</p><p>0x1D&nbsp;=&nbsp;29</p></body> | ||
733 | </ownedComment> | ||
734 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvokUlVUEeWRIqLs5_0Tzg"> | ||
735 | <language>OCL</language> | ||
736 | <body>self.value.byte->at(1).intValue = 26 and 
 | ||
737 | self.value.byte->at(2).intValue = -49 and 
 | ||
738 | self.value.byte->at(3).intValue = -4 and 
 | ||
739 | self.value.byte->at(4).intValue = 29</body> | ||
740 | </specification> | ||
741 | </ownedRule> | ||
742 | <ownedAttribute xmi:id="_RvokU1VUEeWRIqLs5_0Tzg" name="value" visibility="private" type="_RvojhVVUEeWRIqLs5_0Tzg"> | ||
743 | <ownedComment xmi:id="_RvokVFVUEeWRIqLs5_0Tzg" annotatedElement="_RvokU1VUEeWRIqLs5_0Tzg"> | ||
744 | <body><p>4&nbsp;bytes</p></body> | ||
745 | </ownedComment> | ||
746 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvokVlVUEeWRIqLs5_0Tzg" value="1"/> | ||
747 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvokVVVUEeWRIqLs5_0Tzg" value="1"/> | ||
748 | </ownedAttribute> | ||
749 | <ownedAttribute xmi:id="_RvokV1VUEeWRIqLs5_0Tzg" name="cadu" visibility="private" type="_RvolZVVUEeWRIqLs5_0Tzg" association="_RvomHVVUEeWRIqLs5_0Tzg"> | ||
750 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvokWVVUEeWRIqLs5_0Tzg" value="1"/> | ||
751 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvokWFVUEeWRIqLs5_0Tzg" value="1"/> | ||
752 | </ownedAttribute> | ||
753 | </packagedElement> | ||
754 | <packagedElement xmi:type="uml:Class" xmi:id="_RvokWlVUEeWRIqLs5_0Tzg" name="SarS1DataFieldHeader"> | ||
755 | <ownedComment xmi:id="_RvokW1VUEeWRIqLs5_0Tzg"> | ||
756 | <body>SAR Data Field Header</body> | ||
757 | </ownedComment> | ||
758 | <generalization xmi:id="_RvokXFVUEeWRIqLs5_0Tzg" general="_Rvokf1VUEeWRIqLs5_0Tzg"/> | ||
759 | <ownedAttribute xmi:id="_RvokXVVUEeWRIqLs5_0Tzg" name="tcCoarseTime" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"> | ||
760 | <ownedComment xmi:id="_RvokXlVUEeWRIqLs5_0Tzg" annotatedElement="_RvokXVVUEeWRIqLs5_0Tzg"> | ||
761 | <body><p>32&nbsp;bits</p></body> | ||
762 | </ownedComment> | ||
763 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvokYFVUEeWRIqLs5_0Tzg" value="1"/> | ||
764 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvokX1VUEeWRIqLs5_0Tzg" value="1"/> | ||
765 | </ownedAttribute> | ||
766 | <ownedAttribute xmi:id="_RvokYVVUEeWRIqLs5_0Tzg" name="tcFineTime" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"> | ||
767 | <ownedComment xmi:id="_RvokYlVUEeWRIqLs5_0Tzg" annotatedElement="_RvokYVVUEeWRIqLs5_0Tzg"> | ||
768 | <body><p>16&nbsp;bits</p></body> | ||
769 | </ownedComment> | ||
770 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvokZFVUEeWRIqLs5_0Tzg" value="1"/> | ||
771 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvokY1VUEeWRIqLs5_0Tzg" value="1"/> | ||
772 | </ownedAttribute> | ||
773 | <ownedAttribute xmi:id="_RvokZVVUEeWRIqLs5_0Tzg" name="ancillaryData" visibility="private" type="_RvojhVVUEeWRIqLs5_0Tzg"> | ||
774 | <ownedComment xmi:id="_RvokZlVUEeWRIqLs5_0Tzg" annotatedElement="_RvokZVVUEeWRIqLs5_0Tzg"> | ||
775 | <body><p>56Â Â bytes</p></body> | ||
776 | </ownedComment> | ||
777 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvokaFVUEeWRIqLs5_0Tzg" value="1"/> | ||
778 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvokZ1VUEeWRIqLs5_0Tzg" value="1"/> | ||
779 | </ownedAttribute> | ||
780 | </packagedElement> | ||
781 | <packagedElement xmi:type="uml:Class" xmi:id="_RvokaVVUEeWRIqLs5_0Tzg" name="ReedSolomonCoding"> | ||
782 | <ownedComment xmi:id="_RvokalVUEeWRIqLs5_0Tzg"> | ||
783 | <body>Reed Solomon check symbols</body> | ||
784 | </ownedComment> | ||
785 | <ownedRule xmi:id="_Rvoka1VUEeWRIqLs5_0Tzg" name="input_reedSolomonCheckSymbols" constrainedElement="_RvolZVVUEeWRIqLs5_0Tzg"> | ||
786 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvokbFVUEeWRIqLs5_0Tzg"> | ||
787 | <language>OCL</language> | ||
788 | <body>self.cadu.channelData.transmissionData.configuration.rtStpsConfig.xsveRtStps.rsCorrectFrame = true 
 | ||
789 | 
 | ||
790 | implies 
 | ||
791 | 
 | ||
792 | self.rsActualCheckSymbols.byte = self.rsCalculatedCheckSymbols.byte
 | ||
793 | </body> | ||
794 | </specification> | ||
795 | </ownedRule> | ||
796 | <ownedAttribute xmi:id="_RvokbVVUEeWRIqLs5_0Tzg" name="rsActualCheckSymbols" visibility="private" type="_RvojhVVUEeWRIqLs5_0Tzg"> | ||
797 | <ownedComment xmi:id="_RvokblVUEeWRIqLs5_0Tzg"> | ||
798 | <body>128 bytes</body> | ||
799 | </ownedComment> | ||
800 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvokcFVUEeWRIqLs5_0Tzg" value="1"/> | ||
801 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvokb1VUEeWRIqLs5_0Tzg" value="1"/> | ||
802 | </ownedAttribute> | ||
803 | <ownedAttribute xmi:id="_RvokcVVUEeWRIqLs5_0Tzg" name="rsCalculatedCheckSymbols" visibility="private" type="_RvojhVVUEeWRIqLs5_0Tzg"> | ||
804 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvokc1VUEeWRIqLs5_0Tzg" value="1"/> | ||
805 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvokclVUEeWRIqLs5_0Tzg" value="1"/> | ||
806 | </ownedAttribute> | ||
807 | <ownedAttribute xmi:id="_RvokdFVUEeWRIqLs5_0Tzg" name="cadu" visibility="private" type="_RvolZVVUEeWRIqLs5_0Tzg" association="_RvomKVVUEeWRIqLs5_0Tzg"> | ||
808 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvokdlVUEeWRIqLs5_0Tzg" value="1"/> | ||
809 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvokdVVUEeWRIqLs5_0Tzg" value="1"/> | ||
810 | </ownedAttribute> | ||
811 | <ownedOperation xmi:id="_Rvokd1VUEeWRIqLs5_0Tzg" name="calculateRsCoding" visibility="public"> | ||
812 | <ownedComment xmi:id="_RvokeFVUEeWRIqLs5_0Tzg"> | ||
813 | <body>return a byte array of 128 bytes</body> | ||
814 | </ownedComment> | ||
815 | <ownedParameter xmi:id="_RvokeVVUEeWRIqLs5_0Tzg" name="Result" isUnique="false" direction="return" effect="update"> | ||
816 | <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/EcorePrimitiveTypes.library.uml#EByteArray"/> | ||
817 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvoke1VUEeWRIqLs5_0Tzg"/> | ||
818 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvokelVUEeWRIqLs5_0Tzg" value="*"/> | ||
819 | </ownedParameter> | ||
820 | <ownedParameter xmi:id="_RvokfFVUEeWRIqLs5_0Tzg" name="vcduBytes" isUnique="false" effect="read"> | ||
821 | <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/EcorePrimitiveTypes.library.uml#EByteArray"/> | ||
822 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvokflVUEeWRIqLs5_0Tzg"/> | ||
823 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvokfVVUEeWRIqLs5_0Tzg" value="*"/> | ||
824 | </ownedParameter> | ||
825 | </ownedOperation> | ||
826 | </packagedElement> | ||
827 | <packagedElement xmi:type="uml:Class" xmi:id="_Rvokf1VUEeWRIqLs5_0Tzg" name="PacketSecondaryHeader" isAbstract="true"> | ||
828 | <ownedComment xmi:id="_RvokgFVUEeWRIqLs5_0Tzg"> | ||
829 | <body>Packet Secondary Header / Data Field Header</body> | ||
830 | </ownedComment> | ||
831 | <ownedRule xmi:id="_RvokgVVUEeWRIqLs5_0Tzg" name="alloy_isUsingCorrectMissionIspInfo" constrainedElement="_Rvokf1VUEeWRIqLs5_0Tzg"> | ||
832 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvokglVUEeWRIqLs5_0Tzg"> | ||
833 | <language>OCL</language> | ||
834 | <body>self.activePacketDataField.isp.mpduActivePacketZone.vcdu.cadu.channelData.transmissionData.configuration.validApidsConfig.ispInfo->exists(x : IspInfo | 
 | ||
835 | self.activePacketDataField.isp.mpduActivePacketZone.vcdu.cadu.channelData.transmissionData.configuration.rtStpsConfig.xsveRtStps.missionName->exists(y: MissionName |
 | ||
836 | y = x.missionName
 | ||
837 | )
 | ||
838 | )
 | ||
839 | </body> | ||
840 | </specification> | ||
841 | </ownedRule> | ||
842 | <ownedRule xmi:id="_Rvokg1VUEeWRIqLs5_0Tzg" name="alloy_isSecondaryHeaderMatchingIspInfo" constrainedElement="_Rvokf1VUEeWRIqLs5_0Tzg"> | ||
843 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvokhFVUEeWRIqLs5_0Tzg"> | ||
844 | <language>OCL</language> | ||
845 | <body>self.activePacketDataField.isp.mpduActivePacketZone.vcdu.cadu.channelData.transmissionData.configuration.validApidsConfig.ispInfo->exists(x : IspInfo | 
 | ||
846 | (
 | ||
847 | self.activePacketDataField.isp.mpduActivePacketZone.vcdu.cadu.channelData.transmissionData.configuration.rtStpsConfig.xsveRtStps.missionName->exists(y: MissionName | 
 | ||
848 | y = x.missionName) 
 | ||
849 | ) 
 | ||
850 | and 
 | ||
851 | ( 
 | ||
852 | ( 
 | ||
853 | (x.missionName = MissionName::Sentinel1 or x.missionName = MissionName::Sentinel2) 
 | ||
854 | and 
 | ||
855 | x.apidValue->exists(y : Apid | 
 | ||
856 | y.apidPid = self.activePacketDataField.isp.packetPrimaryHeader.apidPid 
 | ||
857 | and 
 | ||
858 | y.apidPcat = self.activePacketDataField.isp.packetPrimaryHeader.apidPcat
 | ||
859 | ) 
 | ||
860 | )
 | ||
861 | or 
 | ||
862 | ( 
 | ||
863 | x.missionName = MissionName::Sentinel3
 | ||
864 | and 
 | ||
865 | x.pidValue->exists(pid : ApidPid | pid = self.activePacketDataField.isp.packetPrimaryHeader.apidPid) 
 | ||
866 | and 
 | ||
867 | x.pcatValue->exists(pcat : ApidPcat | pcat = self.activePacketDataField.isp.packetPrimaryHeader.apidPcat)
 | ||
868 | )
 | ||
869 | ) 
 | ||
870 | and
 | ||
871 | (
 | ||
872 | ( (x.packetType = IspPacketTypes::S1_SAR) and self.oclIsTypeOf(SarS1DataFieldHeader) ) or 
 | ||
873 | ( (x.packetType = IspPacketTypes::S1_GPSR) and self.oclIsTypeOf(TmGpsrS1DataFieldHeader) ) or 
 | ||
874 | ( (x.packetType = IspPacketTypes::S2_CSW) and self.oclIsTypeOf(TmCswS2DataFieldHeader) ) or 
 | ||
875 | ( (x.packetType = IspPacketTypes::S2_GPSR) and self.oclIsTypeOf(TmGpsrS2DataFieldHeader) ) or 
 | ||
876 | ( (x.packetType = IspPacketTypes::S2_MSI) and self.oclIsTypeOf(MsiS2DataFieldHeader) ) or 
 | ||
877 | ( (x.packetType = IspPacketTypes::S2_STR) and self.oclIsTypeOf(TmStrS2DataFieldHeader) ) or 
 | ||
878 | ( (x.packetType = IspPacketTypes::S3_OLCI) and self.oclIsTypeOf(OlciS3DataFieldHeader) ) or 
 | ||
879 | ( (x.packetType = IspPacketTypes::S3_DORIS) and self.oclIsTypeOf(DorisS3DateFieldHeader) ) or 
 | ||
880 | ( (x.packetType = IspPacketTypes::S3_MWR) and self.oclIsTypeOf(MwrS3DataFieldHeader) ) or 
 | ||
881 | ( (x.packetType = IspPacketTypes::S3_GPSR) and self.oclIsTypeOf(TmGpsrS3DataFieldHeader) ) or 
 | ||
882 | ( (x.packetType = IspPacketTypes::S3_SLSTR) and self.oclIsTypeOf(SlstrS3DataFieldHeader) ) or 
 | ||
883 | ( (x.packetType = IspPacketTypes::S3_NAVATT) and self.oclIsTypeOf(TmNavattS3DataFieldHeader) ) or 
 | ||
884 | ( (x.packetType = IspPacketTypes::S3_SRAL) and self.oclIsTypeOf(SralS3DataFieldHeader) ) 
 | ||
885 | ) 
 | ||
886 | ) </body> | ||
887 | </specification> | ||
888 | </ownedRule> | ||
889 | <ownedRule xmi:id="_RvokhVVUEeWRIqLs5_0Tzg" name="alloy_isSecondaryHeaderMatchingPacketType" constrainedElement="_Rvokf1VUEeWRIqLs5_0Tzg"> | ||
890 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvokhlVUEeWRIqLs5_0Tzg"> | ||
891 | <language>OCL</language> | ||
892 | <body>self.activePacketDataField.isp.mpduActivePacketZone.vcdu.cadu.channelData.transmissionData.configuration.validApidsConfig.ispInfo->exists(x : IspInfo | 
 | ||
893 | ((x.packetType = IspPacketTypes::S1_SAR) and self.oclIsTypeOf(SarS1DataFieldHeader)) or 
 | ||
894 | ((x.packetType = IspPacketTypes::S1_GPSR) and self.oclIsTypeOf(TmGpsrS1DataFieldHeader)) or
 | ||
895 | 
 | ||
896 | ((x.packetType = IspPacketTypes::S2_CSW) and self.oclIsTypeOf(TmCswS2DataFieldHeader)) or
 | ||
897 | ((x.packetType = IspPacketTypes::S2_GPSR) and self.oclIsTypeOf(TmGpsrS2DataFieldHeader)) or
 | ||
898 | ((x.packetType = IspPacketTypes::S2_MSI) and self.oclIsTypeOf(MsiS2DataFieldHeader)) or 
 | ||
899 | ((x.packetType = IspPacketTypes::S2_STR) and self.oclIsTypeOf(TmStrS2DataFieldHeader)) or
 | ||
900 | 
 | ||
901 | ((x.packetType = IspPacketTypes::S3_OLCI) and self.oclIsTypeOf(OlciS3DataFieldHeader)) or
 | ||
902 | ((x.packetType = IspPacketTypes::S3_DORIS) and self.oclIsTypeOf(DorisS3DateFieldHeader)) or
 | ||
903 | ((x.packetType = IspPacketTypes::S3_MWR) and self.oclIsTypeOf(MwrS3DataFieldHeader)) or 
 | ||
904 | ((x.packetType = IspPacketTypes::S3_GPSR) and self.oclIsTypeOf(TmGpsrS3DataFieldHeader)) or
 | ||
905 | ((x.packetType = IspPacketTypes::S3_SLSTR) and self.oclIsTypeOf(SlstrS3DataFieldHeader)) or
 | ||
906 | ((x.packetType = IspPacketTypes::S3_NAVATT) and self.oclIsTypeOf(TmNavattS3DataFieldHeader)) or
 | ||
907 | ((x.packetType = IspPacketTypes::S3_SRAL) and self.oclIsTypeOf(SralS3DataFieldHeader))
 | ||
908 | )
 | ||
909 | </body> | ||
910 | </specification> | ||
911 | </ownedRule> | ||
912 | <ownedAttribute xmi:id="_Rvokh1VUEeWRIqLs5_0Tzg" name="activePacketDataField" visibility="private" type="_RvomNFVUEeWRIqLs5_0Tzg" association="_RvomSVVUEeWRIqLs5_0Tzg"> | ||
913 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvokiVVUEeWRIqLs5_0Tzg" value="1"/> | ||
914 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvokiFVUEeWRIqLs5_0Tzg" value="1"/> | ||
915 | </ownedAttribute> | ||
916 | </packagedElement> | ||
917 | <packagedElement xmi:type="uml:Class" xmi:id="_RvokilVUEeWRIqLs5_0Tzg" name="PacketPrimaryHeader"> | ||
918 | <ownedComment xmi:id="_Rvoki1VUEeWRIqLs5_0Tzg"> | ||
919 | <body>Packet Primary Header</body> | ||
920 | </ownedComment> | ||
921 | <ownedRule xmi:id="_RvokjFVUEeWRIqLs5_0Tzg" name="input_packetIdentificationApid" constrainedElement="_Rvok_VVUEeWRIqLs5_0Tzg"> | ||
922 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvokjVVUEeWRIqLs5_0Tzg"> | ||
923 | <language>OCL</language> | ||
924 | <body>let rtstpsConfig : XsveRtStps = self.isp.mpduActivePacketZone->first().vcdu.cadu.channelData.transmissionData.configuration.rtStpsConfig.xsveRtStps in 
 | ||
925 | 
 | ||
926 | rtstpsConfig.vcdusConfig.vcduConfig->select(y | y.vcid = self.isp.mpduActivePacketZone->first().vcdu.vcduHeader.virtualChannelId).ispsConfig.ispConfig.apid->exists(x | 
 | ||
927 | x.apidPid = self.apidPid and x.apidPcat = self.apidPcat) 
 | ||
928 | or 
 | ||
929 | self.apidPid = rtstpsConfig.idleApid.apidPid and self.apidPcat = rtstpsConfig.idleApid.apidPcat
 | ||
930 | </body> | ||
931 | </specification> | ||
932 | </ownedRule> | ||
933 | <ownedRule xmi:id="_RvokjlVUEeWRIqLs5_0Tzg" name="input_packetVersionNumber" constrainedElement="_RvokilVUEeWRIqLs5_0Tzg"> | ||
934 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_Rvokj1VUEeWRIqLs5_0Tzg"> | ||
935 | <language>OCL</language> | ||
936 | <body>self.versionNumber.intValue = 0</body> | ||
937 | </specification> | ||
938 | </ownedRule> | ||
939 | <ownedRule xmi:id="_RvokkFVUEeWRIqLs5_0Tzg" name="input_packetIdentificationType" constrainedElement="_RvokilVUEeWRIqLs5_0Tzg"> | ||
940 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvokkVVUEeWRIqLs5_0Tzg"> | ||
941 | <language>OCL</language> | ||
942 | <body>self.type.intValue = 0</body> | ||
943 | </specification> | ||
944 | </ownedRule> | ||
945 | <ownedRule xmi:id="_RvokklVUEeWRIqLs5_0Tzg" name="input_packetActiveIdentificationShf" constrainedElement="_RvokilVUEeWRIqLs5_0Tzg"> | ||
946 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_Rvokk1VUEeWRIqLs5_0Tzg"> | ||
947 | <language>OCL</language> | ||
948 | <body>let transmissionData : TransmissionData = self.isp.mpduActivePacketZone->first().vcdu.cadu.channelData.transmissionData in 
 | ||
949 | 
 | ||
950 | self.apidPid <> transmissionData.configuration.rtStpsConfig.xsveRtStps.idleApid.apidPid
 | ||
951 | or
 | ||
952 | self.apidPcat <> transmissionData.configuration.rtStpsConfig.xsveRtStps.idleApid.apidPcat
 | ||
953 | 
 | ||
954 | implies 
 | ||
955 | 
 | ||
956 | self.shf.intValue = 1
 | ||
957 | </body> | ||
958 | </specification> | ||
959 | </ownedRule> | ||
960 | <ownedRule xmi:id="_RvoklFVUEeWRIqLs5_0Tzg" name="input_packetSequenceControlGroupingFlags" constrainedElement="_RvokilVUEeWRIqLs5_0Tzg"> | ||
961 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvoklVVUEeWRIqLs5_0Tzg"> | ||
962 | <language>OCL</language> | ||
963 | <body>self.sequenceFlags.intValue = 3</body> | ||
964 | </specification> | ||
965 | </ownedRule> | ||
966 | <ownedRule xmi:id="_RvokllVUEeWRIqLs5_0Tzg" name="input_packetDataLength" constrainedElement="_RvokilVUEeWRIqLs5_0Tzg"> | ||
967 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_Rvokl1VUEeWRIqLs5_0Tzg"> | ||
968 | <language>OCL</language> | ||
969 | <body>self.isp.isTypeOfPacket(IspPacketTypes::S1_SAR)
 | ||
970 | 
 | ||
971 | implies
 | ||
972 | 
 | ||
973 | (self.dataLength.intValue + 6 +1).mod(4) = 0 
 | ||
974 | </body> | ||
975 | </specification> | ||
976 | </ownedRule> | ||
977 | <ownedRule xmi:id="_RvokmFVUEeWRIqLs5_0Tzg" name="input_packetIdleIdentificationShf" constrainedElement="_RvokilVUEeWRIqLs5_0Tzg"> | ||
978 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvokmVVUEeWRIqLs5_0Tzg"> | ||
979 | <language>OCL</language> | ||
980 | <body>let transmissionData : TransmissionData = self.isp.mpduActivePacketZone->first().vcdu.cadu.channelData.transmissionData in 
 | ||
981 | 
 | ||
982 | self.apidPid = transmissionData.configuration.rtStpsConfig.xsveRtStps.idleApid.apidPid
 | ||
983 | and
 | ||
984 | self.apidPcat = transmissionData.configuration.rtStpsConfig.xsveRtStps.idleApid.apidPcat
 | ||
985 | 
 | ||
986 | implies 
 | ||
987 | 
 | ||
988 | self.shf.intValue = 0
 | ||
989 | </body> | ||
990 | </specification> | ||
991 | </ownedRule> | ||
992 | <ownedRule xmi:id="_RvokmlVUEeWRIqLs5_0Tzg" name="input_validPacketType" constrainedElement="_RvokilVUEeWRIqLs5_0Tzg"> | ||
993 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_Rvokm1VUEeWRIqLs5_0Tzg"> | ||
994 | <language>OCL</language> | ||
995 | <body>let transmissionData : TransmissionData = self.isp.mpduActivePacketZone->first().vcdu.cadu.channelData.transmissionData, 
 | ||
996 | ispInfoSet : Set(IspInfo) = transmissionData.configuration.validApidsConfig.ispInfo 
 | ||
997 | in 
 | ||
998 | 
 | ||
999 | self.apidPid = transmissionData.configuration.rtStpsConfig.xsveRtStps.idleApid.apidPid
 | ||
1000 | and
 | ||
1001 | self.apidPcat = transmissionData.configuration.rtStpsConfig.xsveRtStps.idleApid.apidPcat
 | ||
1002 | 
 | ||
1003 | or 
 | ||
1004 | 
 | ||
1005 | if transmissionData.configuration.rtStpsConfig.xsveRtStps.missionName = 'S3A' then
 | ||
1006 | (ispInfoSet.apidValue.apidPid->exists(x : ApidPid | x = self.apidPid) and 
 | ||
1007 | ispInfoSet.apidValue.apidPcat->exists(x : ApidPcat | x = self.apidPcat))
 | ||
1008 | else
 | ||
1009 | ispInfoSet.apidValue->exists(x : Apid | x.apidPid = self.apidPid and x.apidPcat = self.apidPcat) 
 | ||
1010 | endif 
 | ||
1011 | </body> | ||
1012 | </specification> | ||
1013 | </ownedRule> | ||
1014 | <ownedAttribute xmi:id="_RvoknFVUEeWRIqLs5_0Tzg" name="versionNumber" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"> | ||
1015 | <ownedComment xmi:id="_RvoknVVUEeWRIqLs5_0Tzg" annotatedElement="_RvoknFVUEeWRIqLs5_0Tzg"> | ||
1016 | <body><p>3&nbsp;bits</p></body> | ||
1017 | </ownedComment> | ||
1018 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvokn1VUEeWRIqLs5_0Tzg" value="1"/> | ||
1019 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvoknlVUEeWRIqLs5_0Tzg" value="1"/> | ||
1020 | </ownedAttribute> | ||
1021 | <ownedAttribute xmi:id="_RvokoFVUEeWRIqLs5_0Tzg" name="type" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"> | ||
1022 | <ownedComment xmi:id="_RvokoVVUEeWRIqLs5_0Tzg" annotatedElement="_RvokoFVUEeWRIqLs5_0Tzg"> | ||
1023 | <body><p>1&nbsp;bit</p></body> | ||
1024 | </ownedComment> | ||
1025 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvoko1VUEeWRIqLs5_0Tzg" value="1"/> | ||
1026 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvokolVUEeWRIqLs5_0Tzg" value="1"/> | ||
1027 | </ownedAttribute> | ||
1028 | <ownedAttribute xmi:id="_RvokpFVUEeWRIqLs5_0Tzg" name="shf" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"> | ||
1029 | <ownedComment xmi:id="_RvokpVVUEeWRIqLs5_0Tzg" annotatedElement="_RvokpFVUEeWRIqLs5_0Tzg"> | ||
1030 | <body><p>Secondary&nbsp;Header&nbsp;Flag</p><p>1&nbsp;bit</p></body> | ||
1031 | </ownedComment> | ||
1032 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvokp1VUEeWRIqLs5_0Tzg" value="1"/> | ||
1033 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvokplVUEeWRIqLs5_0Tzg" value="1"/> | ||
1034 | </ownedAttribute> | ||
1035 | <ownedAttribute xmi:id="_RvokqFVUEeWRIqLs5_0Tzg" name="apidPid" visibility="private" type="_RvomilVUEeWRIqLs5_0Tzg"> | ||
1036 | <ownedComment xmi:id="_RvokqVVUEeWRIqLs5_0Tzg" annotatedElement="_RvokqFVUEeWRIqLs5_0Tzg"> | ||
1037 | <body><p>7&nbsp;bits</p></body> | ||
1038 | </ownedComment> | ||
1039 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvokq1VUEeWRIqLs5_0Tzg" value="1"/> | ||
1040 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvokqlVUEeWRIqLs5_0Tzg" value="1"/> | ||
1041 | </ownedAttribute> | ||
1042 | <ownedAttribute xmi:id="_RvokrFVUEeWRIqLs5_0Tzg" name="apidPcat" visibility="private" type="_Rvomh1VUEeWRIqLs5_0Tzg"/> | ||
1043 | <ownedAttribute xmi:id="_RvokrVVUEeWRIqLs5_0Tzg" name="sequenceFlags" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"> | ||
1044 | <ownedComment xmi:id="_RvokrlVUEeWRIqLs5_0Tzg" annotatedElement="_RvokrVVUEeWRIqLs5_0Tzg"> | ||
1045 | <body><p>2&nbsp;bits</p></body> | ||
1046 | </ownedComment> | ||
1047 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvoksFVUEeWRIqLs5_0Tzg" value="1"/> | ||
1048 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvokr1VUEeWRIqLs5_0Tzg" value="1"/> | ||
1049 | </ownedAttribute> | ||
1050 | <ownedAttribute xmi:id="_RvoksVVUEeWRIqLs5_0Tzg" name="sequenceCount" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"> | ||
1051 | <ownedComment xmi:id="_RvokslVUEeWRIqLs5_0Tzg" annotatedElement="_RvoksVVUEeWRIqLs5_0Tzg"> | ||
1052 | <body><p>14&nbsp;bits</p></body> | ||
1053 | </ownedComment> | ||
1054 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvoktFVUEeWRIqLs5_0Tzg" value="1"/> | ||
1055 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvoks1VUEeWRIqLs5_0Tzg" value="1"/> | ||
1056 | </ownedAttribute> | ||
1057 | <ownedAttribute xmi:id="_RvoktVVUEeWRIqLs5_0Tzg" name="dataLength" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"> | ||
1058 | <ownedComment xmi:id="_RvoktlVUEeWRIqLs5_0Tzg" annotatedElement="_RvoktVVUEeWRIqLs5_0Tzg"> | ||
1059 | <body><p>2&nbsp;bytes</p></body> | ||
1060 | </ownedComment> | ||
1061 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvokuFVUEeWRIqLs5_0Tzg" value="1"/> | ||
1062 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvokt1VUEeWRIqLs5_0Tzg" value="1"/> | ||
1063 | </ownedAttribute> | ||
1064 | <ownedAttribute xmi:id="_RvokuVVUEeWRIqLs5_0Tzg" name="isp" visibility="private" type="_Rvok_VVUEeWRIqLs5_0Tzg" association="_RvomH1VUEeWRIqLs5_0Tzg"> | ||
1065 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvoku1VUEeWRIqLs5_0Tzg" value="1"/> | ||
1066 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvokulVUEeWRIqLs5_0Tzg" value="1"/> | ||
1067 | </ownedAttribute> | ||
1068 | <ownedAttribute xmi:id="_RvokvFVUEeWRIqLs5_0Tzg" name="headerAsString" visibility="private"> | ||
1069 | <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/> | ||
1070 | </ownedAttribute> | ||
1071 | </packagedElement> | ||
1072 | <packagedElement xmi:type="uml:Class" xmi:id="_RvokvVVUEeWRIqLs5_0Tzg" name="PacketErrorControl"> | ||
1073 | <ownedComment xmi:id="_RvokvlVUEeWRIqLs5_0Tzg"> | ||
1074 | <body>Packet Error Control (CRC)</body> | ||
1075 | </ownedComment> | ||
1076 | <ownedRule xmi:id="_Rvokv1VUEeWRIqLs5_0Tzg" name="input_packetErrorControl" constrainedElement="_Rvok_VVUEeWRIqLs5_0Tzg"> | ||
1077 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvokwFVUEeWRIqLs5_0Tzg"> | ||
1078 | <language>OCL</language> | ||
1079 | <body>let rtstpsConfig : XsveRtStps = self.activePacketDataField.isp.mpduActivePacketZone->first().vcdu.cadu.channelData.transmissionData.configuration.rtStpsConfig.xsveRtStps in 
 | ||
1080 | 
 | ||
1081 | rtstpsConfig.checkCrc 
 | ||
1082 | and (rtstpsConfig.missionName <> 'S1A' 
 | ||
1083 | or (self.activePacketDataField.isp.packetPrimaryHeader.apidPid.value.intValue*16 
 | ||
1084 | + self.activePacketDataField.isp.packetPrimaryHeader.apidPcat.value.intValue) <> 1052) 
 | ||
1085 | 
 | ||
1086 | implies 
 | ||
1087 | 
 | ||
1088 | self.actualValue.byte = self.calculatedValue.byte
 | ||
1089 | </body> | ||
1090 | </specification> | ||
1091 | </ownedRule> | ||
1092 | <ownedAttribute xmi:id="_RvokwVVUEeWRIqLs5_0Tzg" name="actualValue" visibility="private" type="_RvojhVVUEeWRIqLs5_0Tzg"> | ||
1093 | <ownedComment xmi:id="_RvokwlVUEeWRIqLs5_0Tzg" annotatedElement="_RvokwVVUEeWRIqLs5_0Tzg"> | ||
1094 | <body><p>2Â Â bytes</p></body> | ||
1095 | </ownedComment> | ||
1096 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvokxFVUEeWRIqLs5_0Tzg" value="1"/> | ||
1097 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvokw1VUEeWRIqLs5_0Tzg" value="1"/> | ||
1098 | </ownedAttribute> | ||
1099 | <ownedAttribute xmi:id="_RvokxVVUEeWRIqLs5_0Tzg" name="calculatedValue" visibility="private" type="_RvojhVVUEeWRIqLs5_0Tzg"> | ||
1100 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvokx1VUEeWRIqLs5_0Tzg" value="1"/> | ||
1101 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvokxlVUEeWRIqLs5_0Tzg" value="1"/> | ||
1102 | </ownedAttribute> | ||
1103 | <ownedAttribute xmi:id="_RvokyFVUEeWRIqLs5_0Tzg" name="activePacketDataField" visibility="private" type="_RvomNFVUEeWRIqLs5_0Tzg" association="_RvomS1VUEeWRIqLs5_0Tzg"> | ||
1104 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvokylVUEeWRIqLs5_0Tzg" value="1"/> | ||
1105 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvokyVVUEeWRIqLs5_0Tzg" value="1"/> | ||
1106 | </ownedAttribute> | ||
1107 | <ownedOperation xmi:id="_Rvoky1VUEeWRIqLs5_0Tzg" name="calculateCrc" visibility="public"> | ||
1108 | <ownedParameter xmi:id="_RvokzFVUEeWRIqLs5_0Tzg" name="Result" isUnique="false" direction="return" effect="update"> | ||
1109 | <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/EcorePrimitiveTypes.library.uml#EByteArray"/> | ||
1110 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvokzlVUEeWRIqLs5_0Tzg"/> | ||
1111 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvokzVVUEeWRIqLs5_0Tzg" value="1"/> | ||
1112 | </ownedParameter> | ||
1113 | <ownedParameter xmi:id="_Rvokz1VUEeWRIqLs5_0Tzg" name="dataFieldHeader" isUnique="false" effect="read"> | ||
1114 | <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/EcorePrimitiveTypes.library.uml#EByteArray"/> | ||
1115 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvok0VVUEeWRIqLs5_0Tzg"/> | ||
1116 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvok0FVUEeWRIqLs5_0Tzg" value="*"/> | ||
1117 | </ownedParameter> | ||
1118 | <ownedParameter xmi:id="_Rvok0lVUEeWRIqLs5_0Tzg" name="dataFieldHeaderLength" isUnique="false" effect="read"> | ||
1119 | <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> | ||
1120 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvok1FVUEeWRIqLs5_0Tzg"/> | ||
1121 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvok01VUEeWRIqLs5_0Tzg" value="1"/> | ||
1122 | </ownedParameter> | ||
1123 | <ownedParameter xmi:id="_Rvok1VVUEeWRIqLs5_0Tzg" name="data" isUnique="false" effect="read"> | ||
1124 | <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/EcorePrimitiveTypes.library.uml#EByteArray"/> | ||
1125 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvok11VUEeWRIqLs5_0Tzg"/> | ||
1126 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvok1lVUEeWRIqLs5_0Tzg" value="*"/> | ||
1127 | </ownedParameter> | ||
1128 | <ownedParameter xmi:id="_Rvok2FVUEeWRIqLs5_0Tzg" name="dataLength" isUnique="false" effect="read"> | ||
1129 | <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> | ||
1130 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvok2lVUEeWRIqLs5_0Tzg"/> | ||
1131 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvok2VVUEeWRIqLs5_0Tzg" value="1"/> | ||
1132 | </ownedParameter> | ||
1133 | </ownedOperation> | ||
1134 | </packagedElement> | ||
1135 | <packagedElement xmi:type="uml:Class" xmi:id="_Rvok21VUEeWRIqLs5_0Tzg" name="PacketDataField" isAbstract="true"> | ||
1136 | <ownedComment xmi:id="_Rvok3FVUEeWRIqLs5_0Tzg"> | ||
1137 | <body>Packet Data Field</body> | ||
1138 | </ownedComment> | ||
1139 | <ownedAttribute xmi:id="_Rvok3VVUEeWRIqLs5_0Tzg" name="isp" visibility="private" type="_Rvok_VVUEeWRIqLs5_0Tzg" association="_RvomHlVUEeWRIqLs5_0Tzg"> | ||
1140 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvok31VUEeWRIqLs5_0Tzg" value="1"/> | ||
1141 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvok3lVUEeWRIqLs5_0Tzg" value="1"/> | ||
1142 | </ownedAttribute> | ||
1143 | </packagedElement> | ||
1144 | <packagedElement xmi:type="uml:Class" xmi:id="_Rvok4FVUEeWRIqLs5_0Tzg" name="MpduPacketZone" isAbstract="true"> | ||
1145 | <ownedComment xmi:id="_Rvok4VVUEeWRIqLs5_0Tzg"> | ||
1146 | <body>Multiplexing Protocol Data Unit (M_PDU) Packet Zone</body> | ||
1147 | </ownedComment> | ||
1148 | <ownedAttribute xmi:id="_Rvok4lVUEeWRIqLs5_0Tzg" name="vcdu" visibility="private" type="_RvokDVVUEeWRIqLs5_0Tzg" association="_RvomHFVUEeWRIqLs5_0Tzg"> | ||
1149 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvok5FVUEeWRIqLs5_0Tzg" value="1"/> | ||
1150 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvok41VUEeWRIqLs5_0Tzg" value="1"/> | ||
1151 | </ownedAttribute> | ||
1152 | </packagedElement> | ||
1153 | <packagedElement xmi:type="uml:Class" xmi:id="_Rvok5VVUEeWRIqLs5_0Tzg" name="MpduIdleHeader"> | ||
1154 | <ownedComment xmi:id="_Rvok5lVUEeWRIqLs5_0Tzg"> | ||
1155 | <body>MPDU Idle Header</body> | ||
1156 | </ownedComment> | ||
1157 | <generalization xmi:id="_Rvok51VUEeWRIqLs5_0Tzg" general="_Rvolm1VUEeWRIqLs5_0Tzg"/> | ||
1158 | <ownedAttribute xmi:id="_Rvok6FVUEeWRIqLs5_0Tzg" name="value" visibility="private" type="_RvojhVVUEeWRIqLs5_0Tzg"> | ||
1159 | <ownedComment xmi:id="_Rvok6VVUEeWRIqLs5_0Tzg" annotatedElement="_Rvok6FVUEeWRIqLs5_0Tzg"> | ||
1160 | <body><p>2&nbsp;bytes</p></body> | ||
1161 | </ownedComment> | ||
1162 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvok61VUEeWRIqLs5_0Tzg" value="1"/> | ||
1163 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvok6lVUEeWRIqLs5_0Tzg" value="1"/> | ||
1164 | </ownedAttribute> | ||
1165 | <ownedAttribute xmi:id="_Rvok7FVUEeWRIqLs5_0Tzg" name="mpduIdleHeaderAsString" visibility="private"> | ||
1166 | <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/> | ||
1167 | </ownedAttribute> | ||
1168 | </packagedElement> | ||
1169 | <packagedElement xmi:type="uml:Class" xmi:id="_Rvok7VVUEeWRIqLs5_0Tzg" name="MpduActiveHeader"> | ||
1170 | <ownedComment xmi:id="_Rvok7lVUEeWRIqLs5_0Tzg"> | ||
1171 | <body>Multiplexing Protocol Data Unit (M_PDU) Header</body> | ||
1172 | </ownedComment> | ||
1173 | <ownedRule xmi:id="_Rvok71VUEeWRIqLs5_0Tzg" name="input_reservedSpare" constrainedElement="_Rvok7VVUEeWRIqLs5_0Tzg"> | ||
1174 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_Rvok8FVUEeWRIqLs5_0Tzg"> | ||
1175 | <language>OCL</language> | ||
1176 | <body>self.rsvdSpare.intValue = 0</body> | ||
1177 | </specification> | ||
1178 | </ownedRule> | ||
1179 | <ownedRule xmi:id="_Rvok8VVUEeWRIqLs5_0Tzg" name="input_firstHeaderPointer" constrainedElement="_Rvok7VVUEeWRIqLs5_0Tzg"> | ||
1180 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_Rvok8lVUEeWRIqLs5_0Tzg"> | ||
1181 | <language>OCL</language> | ||
1182 | <body>self.firstHeaderPointer.intValue = 2047 
 | ||
1183 | or 
 | ||
1184 | self.firstHeaderPointer.intValue < 1902</body> | ||
1185 | </specification> | ||
1186 | </ownedRule> | ||
1187 | <generalization xmi:id="_Rvok81VUEeWRIqLs5_0Tzg" general="_Rvolm1VUEeWRIqLs5_0Tzg"/> | ||
1188 | <ownedAttribute xmi:id="_Rvok9FVUEeWRIqLs5_0Tzg" name="rsvdSpare" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"> | ||
1189 | <ownedComment xmi:id="_Rvok9VVUEeWRIqLs5_0Tzg" annotatedElement="_Rvok9FVUEeWRIqLs5_0Tzg"> | ||
1190 | <body><p>5&nbsp;bits</p></body> | ||
1191 | </ownedComment> | ||
1192 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvok91VUEeWRIqLs5_0Tzg" value="1"/> | ||
1193 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvok9lVUEeWRIqLs5_0Tzg" value="1"/> | ||
1194 | </ownedAttribute> | ||
1195 | <ownedAttribute xmi:id="_Rvok-FVUEeWRIqLs5_0Tzg" name="firstHeaderPointer" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"> | ||
1196 | <ownedComment xmi:id="_Rvok-VVUEeWRIqLs5_0Tzg" annotatedElement="_Rvok-FVUEeWRIqLs5_0Tzg"> | ||
1197 | <body><p>11&nbsp;bits</p></body> | ||
1198 | </ownedComment> | ||
1199 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvok-1VUEeWRIqLs5_0Tzg" value="1"/> | ||
1200 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvok-lVUEeWRIqLs5_0Tzg" value="1"/> | ||
1201 | </ownedAttribute> | ||
1202 | <ownedAttribute xmi:id="_Rvok_FVUEeWRIqLs5_0Tzg" name="mpduActiveHeaderAsString" visibility="private"> | ||
1203 | <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/> | ||
1204 | </ownedAttribute> | ||
1205 | </packagedElement> | ||
1206 | <packagedElement xmi:type="uml:Class" xmi:id="_Rvok_VVUEeWRIqLs5_0Tzg" name="Isp"> | ||
1207 | <ownedComment xmi:id="_Rvok_lVUEeWRIqLs5_0Tzg"> | ||
1208 | <body>Instrument Source Packet</body> | ||
1209 | </ownedComment> | ||
1210 | <ownedRule xmi:id="_Rvok_1VUEeWRIqLs5_0Tzg" name="input_packetSequenceControlSourceSequenceCountMax" constrainedElement="_Rvok_VVUEeWRIqLs5_0Tzg"> | ||
1211 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvolAFVUEeWRIqLs5_0Tzg"> | ||
1212 | <language>OCL</language> | ||
1213 | <body>let 
 | ||
1214 | config : Configuration = self.mpduActivePacketZone->first().vcdu.cadu.channelData.transmissionData.configuration, 
 | ||
1215 | counterWrapValue : Set(ApidSuffixAndMaxCounter) = config.maxCounterPerApidSuffixConfig.apidSuffixAndMaxCounter->select(x : ApidSuffixAndMaxCounter | x.apidSuffix = self.packetPrimaryHeader.apidPcat) 
 | ||
1216 | in 
 | ||
1217 | 
 | ||
1218 | config.rtStpsConfig.xsveRtStps.missionName = 'S2A' 
 | ||
1219 | and 
 | ||
1220 | self.packetDataField.oclIsTypeOf(IdlePacketDataField) = false 
 | ||
1221 | 
 | ||
1222 | implies 
 | ||
1223 | 
 | ||
1224 | counterWrapValue->size() = 1 
 | ||
1225 | 
 | ||
1226 | and 
 | ||
1227 | 
 | ||
1228 | self.packetPrimaryHeader.sequenceCount.intValue <= counterWrapValue->asOrderedSet()->first().maxSscCounterValue
 | ||
1229 | </body> | ||
1230 | </specification> | ||
1231 | </ownedRule> | ||
1232 | <ownedRule xmi:id="_RvolAVVUEeWRIqLs5_0Tzg" name="input_idleIspMarker" constrainedElement="_Rvok_VVUEeWRIqLs5_0Tzg"> | ||
1233 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvolAlVUEeWRIqLs5_0Tzg"> | ||
1234 | <language>OCL</language> | ||
1235 | <body>let transmissionData : TransmissionData = self.mpduActivePacketZone->first().vcdu.cadu.channelData.transmissionData, 
 | ||
1236 | rtStpsConfig : XsveRtStps = transmissionData.configuration.rtStpsConfig.xsveRtStps 
 | ||
1237 | in 
 | ||
1238 | 
 | ||
1239 | self.packetPrimaryHeader->notEmpty() 
 | ||
1240 | and 
 | ||
1241 | self.packetPrimaryHeader.apidPid = rtStpsConfig.idleApid.apidPid and self.packetPrimaryHeader.apidPcat = rtStpsConfig.idleApid.apidPcat 
 | ||
1242 | 
 | ||
1243 | and
 | ||
1244 | 
 | ||
1245 | self.packetDataField.oclIsTypeOf(IdlePacketDataField) 
 | ||
1246 | 
 | ||
1247 | and 
 | ||
1248 | 
 | ||
1249 | self.packetPrimaryHeader.versionNumber.intValue = 0 
 | ||
1250 | and self.packetPrimaryHeader.type.intValue = 0 
 | ||
1251 | and self.packetPrimaryHeader.shf.intValue = 0 
 | ||
1252 | and self.packetPrimaryHeader.sequenceFlags.intValue = 3 
 | ||
1253 | and self.packetPrimaryHeader.sequenceCount.intValue = 0 
 | ||
1254 | and self.packetDataField.oclAsType(IdlePacketDataField).idleDataArray.byte->at(1).intValue = 85
 | ||
1255 | and self.packetDataField.oclAsType(IdlePacketDataField).idleDataArray.byte->at(2).intValue = 85
 | ||
1256 | and self.packetDataField.oclAsType(IdlePacketDataField).idleDataArray.byte->at(3).intValue = 85
 | ||
1257 | and self.packetDataField.oclAsType(IdlePacketDataField).idleDataArray.byte->at(4).intValue = 85
 | ||
1258 | </body> | ||
1259 | </specification> | ||
1260 | </ownedRule> | ||
1261 | <ownedRule xmi:id="_RvolA1VUEeWRIqLs5_0Tzg" name="input_packetSequenceControlSourceSequenceCount" constrainedElement="_RvolTVVUEeWRIqLs5_0Tzg"> | ||
1262 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvolBFVUEeWRIqLs5_0Tzg"> | ||
1263 | <language>OCL</language> | ||
1264 | <body>let 
 | ||
1265 | ispSequenceCount : Integer = self.packetPrimaryHeader.sequenceCount.intValue, 
 | ||
1266 | prevIsp : Isp = self.prevOnChannelOfSameApid, 
 | ||
1267 | prevSequenceCount : Integer = prevIsp.packetPrimaryHeader.sequenceCount.intValue, 
 | ||
1268 | config : Configuration = self.mpduActivePacketZone->first().vcdu.cadu.channelData.transmissionData.configuration, 
 | ||
1269 | apidCountWrapList : Set(ApidSuffixAndMaxCounter) = config.maxCounterPerApidSuffixConfig.apidSuffixAndMaxCounter, 
 | ||
1270 | maxSscCounterValue : Integer = apidCountWrapList->select(i : ApidSuffixAndMaxCounter | i.apidSuffix = prevIsp.packetPrimaryHeader.apidPcat)->asOrderedSet()->first().maxSscCounterValue 
 | ||
1271 | in 
 | ||
1272 | 
 | ||
1273 | not self.prevOnChannelOfSameApid->isEmpty() 
 | ||
1274 | and 
 | ||
1275 | (self.packetPrimaryHeader.apidPid <> config.rtStpsConfig.xsveRtStps.idleApid.apidPid or self.packetPrimaryHeader.apidPcat <>config.rtStpsConfig.xsveRtStps.idleApid.apidPcat)
 | ||
1276 | 
 | ||
1277 | implies 
 | ||
1278 | 
 | ||
1279 | if config.rtStpsConfig.xsveRtStps.missionName = 'S2A' 
 | ||
1280 | then 
 | ||
1281 | if prevSequenceCount < maxSscCounterValue 
 | ||
1282 | then ispSequenceCount = prevSequenceCount + 1 
 | ||
1283 | else prevSequenceCount = maxSscCounterValue and ispSequenceCount = 0 
 | ||
1284 | endif 
 | ||
1285 | else 
 | ||
1286 | if prevSequenceCount < 16383 
 | ||
1287 | then ispSequenceCount = prevSequenceCount + 1 
 | ||
1288 | else prevSequenceCount = 16383 and ispSequenceCount = 0 
 | ||
1289 | endif 
 | ||
1290 | endif 
 | ||
1291 | </body> | ||
1292 | </specification> | ||
1293 | </ownedRule> | ||
1294 | <ownedRule xmi:id="_RvolBVVUEeWRIqLs5_0Tzg" name="input_timeCodeCoarseTimeAndFineTime" constrainedElement="_RvokWlVUEeWRIqLs5_0Tzg"> | ||
1295 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvolBlVUEeWRIqLs5_0Tzg"> | ||
1296 | <language>OCL</language> | ||
1297 | <body>let 
 | ||
1298 | prevIsp : Isp = self.prevOnChannelOfSameApid 
 | ||
1299 | in 
 | ||
1300 | 
 | ||
1301 | prevIsp.packetDataField.oclIsTypeOf(ActivePacketDataField) = true and 
 | ||
1302 | self.packetDataField.oclIsTypeOf(ActivePacketDataField) = true and 
 | ||
1303 | prevIsp.packetDataField.oclAsType(ActivePacketDataField).packetSecondaryHeader.oclIsTypeOf(SarS1DataFieldHeader) = true and 
 | ||
1304 | self.packetDataField.oclAsType(ActivePacketDataField).packetSecondaryHeader.oclIsTypeOf(SarS1DataFieldHeader) = true 
 | ||
1305 | 
 | ||
1306 | implies 
 | ||
1307 | 
 | ||
1308 | prevIsp.packetDataField.oclAsType(ActivePacketDataField).packetSecondaryHeader.oclAsType(SarS1DataFieldHeader).tcCoarseTime.intValue < 
 | ||
1309 | self.packetDataField.oclAsType(ActivePacketDataField).packetSecondaryHeader.oclAsType(SarS1DataFieldHeader).tcCoarseTime.intValue 
 | ||
1310 | or 
 | ||
1311 | ( 
 | ||
1312 | prevIsp.packetDataField.oclAsType(ActivePacketDataField).packetSecondaryHeader.oclAsType(SarS1DataFieldHeader).tcCoarseTime.intValue = 
 | ||
1313 | self.packetDataField.oclAsType(ActivePacketDataField).packetSecondaryHeader.oclAsType(SarS1DataFieldHeader).tcCoarseTime.intValue 
 | ||
1314 | and 
 | ||
1315 | prevIsp.packetDataField.oclAsType(ActivePacketDataField).packetSecondaryHeader.oclAsType(SarS1DataFieldHeader).tcFineTime.intValue <= 
 | ||
1316 | self.packetDataField.oclAsType(ActivePacketDataField).packetSecondaryHeader.oclAsType(SarS1DataFieldHeader).tcFineTime.intValue 
 | ||
1317 | ) 
 | ||
1318 | </body> | ||
1319 | </specification> | ||
1320 | </ownedRule> | ||
1321 | <ownedRule xmi:id="_RvolB1VUEeWRIqLs5_0Tzg" name="input_packetAssembly" constrainedElement="_RvolTVVUEeWRIqLs5_0Tzg"> | ||
1322 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvolCFVUEeWRIqLs5_0Tzg"> | ||
1323 | <language>OCL</language> | ||
1324 | <body>if self.lastPacket = false then
 | ||
1325 | self.isPacketComplete() = true
 | ||
1326 | else
 | ||
1327 | true
 | ||
1328 | endif</body> | ||
1329 | </specification> | ||
1330 | </ownedRule> | ||
1331 | <ownedRule xmi:id="_RvolCVVUEeWRIqLs5_0Tzg" name="alloy_IsActivePacket" constrainedElement="_Rvok_VVUEeWRIqLs5_0Tzg"> | ||
1332 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvolClVUEeWRIqLs5_0Tzg"> | ||
1333 | <language>OCL</language> | ||
1334 | <body>(self.mpduActivePacketZone.vcdu.cadu.channelData.transmissionData.configuration.rtStpsConfig.xsveRtStps.idleApid->exists(x : Apid | x.apidPid = self.packetPrimaryHeader.apidPid and x.apidPcat = self.packetPrimaryHeader.apidPcat) and self.packetDataField.oclIsTypeOf(IdlePacketDataField))
 | ||
1335 | or
 | ||
1336 | (self.mpduActivePacketZone.vcdu.cadu.channelData.transmissionData.configuration.rtStpsConfig.xsveRtStps.idleApid->exists(x : Apid | x.apidPid <> self.packetPrimaryHeader.apidPid or x.apidPcat <> self.packetPrimaryHeader.apidPcat) and self.packetDataField.oclIsTypeOf(ActivePacketDataField))
 | ||
1337 | </body> | ||
1338 | </specification> | ||
1339 | </ownedRule> | ||
1340 | <ownedAttribute xmi:id="_RvolC1VUEeWRIqLs5_0Tzg" name="packetPrimaryHeader" visibility="private" type="_RvokilVUEeWRIqLs5_0Tzg" aggregation="composite" association="_RvomH1VUEeWRIqLs5_0Tzg"> | ||
1341 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvolDVVUEeWRIqLs5_0Tzg"/> | ||
1342 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvolDFVUEeWRIqLs5_0Tzg" value="1"/> | ||
1343 | </ownedAttribute> | ||
1344 | <ownedAttribute xmi:id="_RvolDlVUEeWRIqLs5_0Tzg" name="packetDataField" visibility="private" type="_Rvok21VUEeWRIqLs5_0Tzg" aggregation="composite" association="_RvomHlVUEeWRIqLs5_0Tzg"> | ||
1345 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvolEFVUEeWRIqLs5_0Tzg" value="1"/> | ||
1346 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvolD1VUEeWRIqLs5_0Tzg" value="1"/> | ||
1347 | </ownedAttribute> | ||
1348 | <ownedAttribute xmi:id="_RvolEVVUEeWRIqLs5_0Tzg" name="mpduActivePacketZone" visibility="private" type="_Rvolh1VUEeWRIqLs5_0Tzg" isOrdered="true" association="_RvomIFVUEeWRIqLs5_0Tzg"> | ||
1349 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvolE1VUEeWRIqLs5_0Tzg" value="1"/> | ||
1350 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvolElVUEeWRIqLs5_0Tzg" value="*"/> | ||
1351 | </ownedAttribute> | ||
1352 | <ownedAttribute xmi:id="_RvolFFVUEeWRIqLs5_0Tzg" name="prevOnChannel" visibility="private" type="_Rvok_VVUEeWRIqLs5_0Tzg" association="_RvomIVVUEeWRIqLs5_0Tzg"> | ||
1353 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvolFlVUEeWRIqLs5_0Tzg"/> | ||
1354 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvolFVVUEeWRIqLs5_0Tzg" value="1"/> | ||
1355 | </ownedAttribute> | ||
1356 | <ownedAttribute xmi:id="_RvolF1VUEeWRIqLs5_0Tzg" name="prevOnChannelOfSameApid" visibility="private" type="_Rvok_VVUEeWRIqLs5_0Tzg" association="_RvomJVVUEeWRIqLs5_0Tzg"> | ||
1357 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvolGVVUEeWRIqLs5_0Tzg"/> | ||
1358 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvolGFVUEeWRIqLs5_0Tzg" value="1"/> | ||
1359 | </ownedAttribute> | ||
1360 | <ownedAttribute xmi:id="_RvolGlVUEeWRIqLs5_0Tzg" name="completedLoading" visibility="private"> | ||
1361 | <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> | ||
1362 | </ownedAttribute> | ||
1363 | <ownedAttribute xmi:id="_RvolG1VUEeWRIqLs5_0Tzg" name="firstSpanStartIndex" visibility="private"> | ||
1364 | <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> | ||
1365 | </ownedAttribute> | ||
1366 | <ownedAttribute xmi:id="_RvolHFVUEeWRIqLs5_0Tzg" name="firstSpanLength" visibility="private"> | ||
1367 | <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> | ||
1368 | </ownedAttribute> | ||
1369 | <ownedAttribute xmi:id="_RvolHVVUEeWRIqLs5_0Tzg" name="lastPacket" visibility="private"> | ||
1370 | <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> | ||
1371 | </ownedAttribute> | ||
1372 | <ownedAttribute xmi:id="_RvolHlVUEeWRIqLs5_0Tzg" name="loadedFromStart" visibility="private"> | ||
1373 | <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> | ||
1374 | </ownedAttribute> | ||
1375 | <ownedAttribute xmi:id="_RvolH1VUEeWRIqLs5_0Tzg" name="channelDataPerVcid" visibility="private" type="_RvomYVVUEeWRIqLs5_0Tzg" association="_RvomalVUEeWRIqLs5_0Tzg"> | ||
1376 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvolIVVUEeWRIqLs5_0Tzg" value="1"/> | ||
1377 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvolIFVUEeWRIqLs5_0Tzg" value="1"/> | ||
1378 | </ownedAttribute> | ||
1379 | <ownedAttribute xmi:id="_RvolIlVUEeWRIqLs5_0Tzg" name="packetTime" visibility="private"> | ||
1380 | <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/> | ||
1381 | </ownedAttribute> | ||
1382 | <ownedOperation xmi:id="_RvolI1VUEeWRIqLs5_0Tzg" name="getPacketType" bodyCondition="_RvolJFVUEeWRIqLs5_0Tzg" isQuery="true"> | ||
1383 | <ownedRule xmi:id="_RvolJFVUEeWRIqLs5_0Tzg" name="getPacketType" constrainedElement="_RvolI1VUEeWRIqLs5_0Tzg"> | ||
1384 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvolJVVUEeWRIqLs5_0Tzg"> | ||
1385 | <language>OCL</language> | ||
1386 | <body>let transmissionData : TransmissionData = self.mpduActivePacketZone->first().vcdu.cadu.channelData.transmissionData, 
 | ||
1387 | rtStpsConfig : XsveRtStps = transmissionData.configuration.rtStpsConfig.xsveRtStps
 | ||
1388 | in 
 | ||
1389 | 
 | ||
1390 | if self.packetPrimaryHeader->notEmpty() and (self.completedLoading = true)
 | ||
1391 | then
 | ||
1392 | if (self.packetPrimaryHeader.apidPid = rtStpsConfig.idleApid.apidPid) and (self.packetPrimaryHeader.apidPcat = rtStpsConfig.idleApid.apidPcat)
 | ||
1393 | then PacketType::IDLE
 | ||
1394 | else PacketType::ACTIVE
 | ||
1395 | endif
 | ||
1396 | else PacketType::UNDEFINED
 | ||
1397 | endif
 | ||
1398 | </body> | ||
1399 | </specification> | ||
1400 | </ownedRule> | ||
1401 | <ownedParameter xmi:id="_RvolJlVUEeWRIqLs5_0Tzg" name="Parameter1" type="_RvojlVVUEeWRIqLs5_0Tzg" direction="return"/> | ||
1402 | </ownedOperation> | ||
1403 | <ownedOperation xmi:id="_RvolJ1VUEeWRIqLs5_0Tzg" name="getSpanNumber" bodyCondition="_RvolKFVUEeWRIqLs5_0Tzg" isQuery="true"> | ||
1404 | <ownedRule xmi:id="_RvolKFVUEeWRIqLs5_0Tzg" name="getSpanNumber" constrainedElement="_RvolJ1VUEeWRIqLs5_0Tzg"> | ||
1405 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvolKVVUEeWRIqLs5_0Tzg"> | ||
1406 | <language>OCL</language> | ||
1407 | <body>self.mpduActivePacketZone->indexOf(packetZone)</body> | ||
1408 | </specification> | ||
1409 | </ownedRule> | ||
1410 | <ownedParameter xmi:id="_RvolKlVUEeWRIqLs5_0Tzg" name="Parameter1" direction="return"> | ||
1411 | <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> | ||
1412 | </ownedParameter> | ||
1413 | <ownedParameter xmi:id="_RvolK1VUEeWRIqLs5_0Tzg" name="packetZone" type="_Rvolh1VUEeWRIqLs5_0Tzg"/> | ||
1414 | </ownedOperation> | ||
1415 | <ownedOperation xmi:id="_RvolLFVUEeWRIqLs5_0Tzg" name="hasPrimaryHeader" bodyCondition="_RvolLVVUEeWRIqLs5_0Tzg" isQuery="true"> | ||
1416 | <ownedRule xmi:id="_RvolLVVUEeWRIqLs5_0Tzg" name="hasPrimaryHeader" constrainedElement="_RvolLFVUEeWRIqLs5_0Tzg"> | ||
1417 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvolLlVUEeWRIqLs5_0Tzg"> | ||
1418 | <language>OCL</language> | ||
1419 | <body>self.loadedFromStart and ((self.firstSpanLength >= 6) or self.completedLoading)</body> | ||
1420 | </specification> | ||
1421 | </ownedRule> | ||
1422 | <ownedParameter xmi:id="_RvolL1VUEeWRIqLs5_0Tzg" name="Parameter1" direction="return"> | ||
1423 | <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> | ||
1424 | </ownedParameter> | ||
1425 | </ownedOperation> | ||
1426 | <ownedOperation xmi:id="_RvolMFVUEeWRIqLs5_0Tzg" name="isPacketComplete" bodyCondition="_RvolMVVUEeWRIqLs5_0Tzg" isQuery="true"> | ||
1427 | <ownedRule xmi:id="_RvolMVVUEeWRIqLs5_0Tzg" name="isPacketComplete" constrainedElement="_RvolMFVUEeWRIqLs5_0Tzg"> | ||
1428 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvolMlVUEeWRIqLs5_0Tzg"> | ||
1429 | <language>OCL</language> | ||
1430 | <body>self.packetPrimaryHeader->size() > 0 and (self.packetDataField.oclIsTypeOf(IdlePacketDataField) or self.packetDataField.oclIsTypeOf(ActivePacketDataField))
 | ||
1431 | </body> | ||
1432 | </specification> | ||
1433 | </ownedRule> | ||
1434 | <ownedParameter xmi:id="_RvolM1VUEeWRIqLs5_0Tzg" name="Parameter1" direction="return"> | ||
1435 | <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> | ||
1436 | </ownedParameter> | ||
1437 | </ownedOperation> | ||
1438 | <ownedOperation xmi:id="_RvolNFVUEeWRIqLs5_0Tzg" name="isTypeOfPacket" bodyCondition="_RvolNVVUEeWRIqLs5_0Tzg" isQuery="true"> | ||
1439 | <ownedRule xmi:id="_RvolNVVUEeWRIqLs5_0Tzg" name="isTypeOfPacket" constrainedElement="_RvolNFVUEeWRIqLs5_0Tzg"> | ||
1440 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvolNlVUEeWRIqLs5_0Tzg"> | ||
1441 | <language>OCL</language> | ||
1442 | <body>self.mpduActivePacketZone->first().vcdu.cadu.channelData.transmissionData.configuration.validApidsConfig.ispInfo->exists(x : IspInfo | 
 | ||
1443 | x.packetType = packetType and 
 | ||
1444 | x.missionName = self.mpduActivePacketZone->first().vcdu.cadu.channelData.transmissionData.configuration.rtStpsConfig.xsveRtStps.missionName and 
 | ||
1445 | x.apidValue->exists(y : Apid | y.apidPid = self.packetPrimaryHeader.apidPid and y.apidPcat = self.packetPrimaryHeader.apidPcat) 
 | ||
1446 | )
 | ||
1447 | </body> | ||
1448 | </specification> | ||
1449 | </ownedRule> | ||
1450 | <ownedParameter xmi:id="_RvolN1VUEeWRIqLs5_0Tzg" name="Parameter1" direction="return"> | ||
1451 | <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> | ||
1452 | </ownedParameter> | ||
1453 | <ownedParameter xmi:id="_RvolOFVUEeWRIqLs5_0Tzg" name="packetType" type="_RvojnFVUEeWRIqLs5_0Tzg"/> | ||
1454 | </ownedOperation> | ||
1455 | <ownedOperation xmi:id="_RvolOVVUEeWRIqLs5_0Tzg" name="getFirstSpanStartIndex" bodyCondition="_RvolOlVUEeWRIqLs5_0Tzg" isQuery="true"> | ||
1456 | <ownedRule xmi:id="_RvolOlVUEeWRIqLs5_0Tzg" name="getFirstSpanStartIndex" constrainedElement="_RvolOVVUEeWRIqLs5_0Tzg"> | ||
1457 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvolO1VUEeWRIqLs5_0Tzg"> | ||
1458 | <language>OCL</language> | ||
1459 | <body>self.firstSpanStartIndex</body> | ||
1460 | </specification> | ||
1461 | </ownedRule> | ||
1462 | <ownedParameter xmi:id="_RvolPFVUEeWRIqLs5_0Tzg" name="Parameter1" direction="return"> | ||
1463 | <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> | ||
1464 | </ownedParameter> | ||
1465 | </ownedOperation> | ||
1466 | <ownedOperation xmi:id="_RvolPVVUEeWRIqLs5_0Tzg" name="getPacketLength" bodyCondition="_RvolPlVUEeWRIqLs5_0Tzg" isQuery="true"> | ||
1467 | <ownedRule xmi:id="_RvolPlVUEeWRIqLs5_0Tzg" name="getPacketLength" constrainedElement="_RvolPVVUEeWRIqLs5_0Tzg"> | ||
1468 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvolP1VUEeWRIqLs5_0Tzg"> | ||
1469 | <language>OCL</language> | ||
1470 | <body>if self.packetPrimaryHeader->size() > 0 then
 | ||
1471 | self.packetPrimaryHeader.dataLength.intValue
 | ||
1472 | else -1
 | ||
1473 | endif
 | ||
1474 | </body> | ||
1475 | </specification> | ||
1476 | </ownedRule> | ||
1477 | <ownedParameter xmi:id="_RvolQFVUEeWRIqLs5_0Tzg" name="Parameter1" direction="return"> | ||
1478 | <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> | ||
1479 | </ownedParameter> | ||
1480 | </ownedOperation> | ||
1481 | <ownedOperation xmi:id="_RvolQVVUEeWRIqLs5_0Tzg" name="getApidValue" bodyCondition="_RvolQlVUEeWRIqLs5_0Tzg" isQuery="true"> | ||
1482 | <ownedRule xmi:id="_RvolQlVUEeWRIqLs5_0Tzg" name="getApidValue" constrainedElement="_RvolQVVUEeWRIqLs5_0Tzg"> | ||
1483 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvolQ1VUEeWRIqLs5_0Tzg"> | ||
1484 | <language>OCL</language> | ||
1485 | <body>if self.packetPrimaryHeader->size() >0 then
 | ||
1486 | self.packetPrimaryHeader.apidPid.value.intValue * 16 + self.packetPrimaryHeader.apidPcat.value.intValue
 | ||
1487 | else
 | ||
1488 | -1
 | ||
1489 | endif
 | ||
1490 | </body> | ||
1491 | </specification> | ||
1492 | </ownedRule> | ||
1493 | <ownedParameter xmi:id="_RvolRFVUEeWRIqLs5_0Tzg" name="Parameter1" direction="return"> | ||
1494 | <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> | ||
1495 | </ownedParameter> | ||
1496 | </ownedOperation> | ||
1497 | <ownedOperation xmi:id="_RvolRVVUEeWRIqLs5_0Tzg" name="getIdleApidValue" bodyCondition="_RvolRlVUEeWRIqLs5_0Tzg" isQuery="true"> | ||
1498 | <ownedRule xmi:id="_RvolRlVUEeWRIqLs5_0Tzg" name="getIdleApidValue" constrainedElement="_RvolRVVUEeWRIqLs5_0Tzg"> | ||
1499 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvolR1VUEeWRIqLs5_0Tzg"> | ||
1500 | <language>OCL</language> | ||
1501 | <body>self.mpduActivePacketZone->first().vcdu.cadu.channelData.transmissionData.configuration.rtStpsConfig.xsveRtStps.idleApid.apidPid.value.intValue*16 
 | ||
1502 | + self.mpduActivePacketZone->first().vcdu.cadu.channelData.transmissionData.configuration.rtStpsConfig.xsveRtStps.idleApid.apidPcat.value.intValue</body> | ||
1503 | </specification> | ||
1504 | </ownedRule> | ||
1505 | <ownedParameter xmi:id="_RvolSFVUEeWRIqLs5_0Tzg" name="Parameter1" direction="return"> | ||
1506 | <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> | ||
1507 | </ownedParameter> | ||
1508 | </ownedOperation> | ||
1509 | <ownedOperation xmi:id="_RvolSVVUEeWRIqLs5_0Tzg" name="getStartCaduIndex" bodyCondition="_RvolSlVUEeWRIqLs5_0Tzg" isQuery="true"> | ||
1510 | <ownedRule xmi:id="_RvolSlVUEeWRIqLs5_0Tzg" name="getStartCaduIndex" constrainedElement="_RvolSVVUEeWRIqLs5_0Tzg"> | ||
1511 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvolS1VUEeWRIqLs5_0Tzg"> | ||
1512 | <language>OCL</language> | ||
1513 | <body>self.mpduActivePacketZone->first().vcdu.cadu.index</body> | ||
1514 | </specification> | ||
1515 | </ownedRule> | ||
1516 | <ownedParameter xmi:id="_RvolTFVUEeWRIqLs5_0Tzg" name="Parameter1" direction="return"> | ||
1517 | <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> | ||
1518 | </ownedParameter> | ||
1519 | </ownedOperation> | ||
1520 | </packagedElement> | ||
1521 | <packagedElement xmi:type="uml:Class" xmi:id="_RvolTVVUEeWRIqLs5_0Tzg" name="TransmissionData"> | ||
1522 | <ownedComment xmi:id="_RvolTlVUEeWRIqLs5_0Tzg"> | ||
1523 | <body>X-Band System Validation Equipment (XSVE) System Input File</body> | ||
1524 | </ownedComment> | ||
1525 | <ownedRule xmi:id="_RvolT1VUEeWRIqLs5_0Tzg" name="input_channelDataExists" constrainedElement="_RvolTVVUEeWRIqLs5_0Tzg"> | ||
1526 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvolUFVUEeWRIqLs5_0Tzg"> | ||
1527 | <language>OCL</language> | ||
1528 | <body>self.channelData->size() > 0</body> | ||
1529 | </specification> | ||
1530 | </ownedRule> | ||
1531 | <ownedAttribute xmi:id="_RvolUVVUEeWRIqLs5_0Tzg" name="configuration" visibility="private" type="_RvojclVUEeWRIqLs5_0Tzg" association="_RvomTFVUEeWRIqLs5_0Tzg"> | ||
1532 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvolU1VUEeWRIqLs5_0Tzg" value="1"/> | ||
1533 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvolUlVUEeWRIqLs5_0Tzg" value="1"/> | ||
1534 | </ownedAttribute> | ||
1535 | <ownedAttribute xmi:id="_RvolVFVUEeWRIqLs5_0Tzg" name="channelData" visibility="private" type="_RvomTVVUEeWRIqLs5_0Tzg" isOrdered="true" aggregation="composite" association="_RvomXVVUEeWRIqLs5_0Tzg"> | ||
1536 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvolVlVUEeWRIqLs5_0Tzg"/> | ||
1537 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvolVVVUEeWRIqLs5_0Tzg" value="*"/> | ||
1538 | </ownedAttribute> | ||
1539 | </packagedElement> | ||
1540 | <packagedElement xmi:type="uml:Class" xmi:id="_RvolV1VUEeWRIqLs5_0Tzg" name="MpduIdlePacketZone"> | ||
1541 | <generalization xmi:id="_RvolWFVUEeWRIqLs5_0Tzg" general="_Rvok4FVUEeWRIqLs5_0Tzg"/> | ||
1542 | <ownedAttribute xmi:id="_RvolWVVUEeWRIqLs5_0Tzg" name="value" visibility="private" type="_RvojhVVUEeWRIqLs5_0Tzg"> | ||
1543 | <ownedComment xmi:id="_RvolWlVUEeWRIqLs5_0Tzg" annotatedElement="_RvolWVVUEeWRIqLs5_0Tzg"> | ||
1544 | <body><p>1902&nbsp;&nbsp;bytes</p></body> | ||
1545 | </ownedComment> | ||
1546 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvolXFVUEeWRIqLs5_0Tzg" value="1"/> | ||
1547 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvolW1VUEeWRIqLs5_0Tzg" value="1"/> | ||
1548 | </ownedAttribute> | ||
1549 | </packagedElement> | ||
1550 | <packagedElement xmi:type="uml:Class" xmi:id="_RvolXVVUEeWRIqLs5_0Tzg" name="PacketData"> | ||
1551 | <ownedAttribute xmi:id="_RvolXlVUEeWRIqLs5_0Tzg" name="dataArray" visibility="private" type="_RvojhVVUEeWRIqLs5_0Tzg"> | ||
1552 | <ownedComment xmi:id="_RvolX1VUEeWRIqLs5_0Tzg" annotatedElement="_RvolXlVUEeWRIqLs5_0Tzg"> | ||
1553 | <body><p>variable&nbsp;length&nbsp;byte&nbsp;array</p></body> | ||
1554 | </ownedComment> | ||
1555 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvolYVVUEeWRIqLs5_0Tzg" value="1"/> | ||
1556 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvolYFVUEeWRIqLs5_0Tzg" value="1"/> | ||
1557 | </ownedAttribute> | ||
1558 | <ownedAttribute xmi:id="_RvolYlVUEeWRIqLs5_0Tzg" name="activePacketDataField" visibility="private" type="_RvomNFVUEeWRIqLs5_0Tzg" association="_RvomSlVUEeWRIqLs5_0Tzg"> | ||
1559 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvolZFVUEeWRIqLs5_0Tzg" value="1"/> | ||
1560 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvolY1VUEeWRIqLs5_0Tzg" value="1"/> | ||
1561 | </ownedAttribute> | ||
1562 | </packagedElement> | ||
1563 | <packagedElement xmi:type="uml:Class" xmi:id="_RvolZVVUEeWRIqLs5_0Tzg" name="Cadu"> | ||
1564 | <ownedComment xmi:id="_RvolZlVUEeWRIqLs5_0Tzg" annotatedElement="_RvolZVVUEeWRIqLs5_0Tzg"> | ||
1565 | <body><p>Channel&nbsp;Access&nbsp;Data&nbsp;Unit</p><p>2044&nbsp;bytes</p></body> | ||
1566 | </ownedComment> | ||
1567 | <ownedRule xmi:id="_RvolZ1VUEeWRIqLs5_0Tzg" name="input_virtualChannelFrameCount" constrainedElement="_RvolZVVUEeWRIqLs5_0Tzg"> | ||
1568 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvolaFVUEeWRIqLs5_0Tzg"> | ||
1569 | <language>OCL</language> | ||
1570 | <body>let 
 | ||
1571 | caduFrameCount : Integer = self.vcdu.vcduHeader.virtualChannelFrameCount.intValue, 
 | ||
1572 | prevCaduFrameCount : Integer = self.prevOnChannel.vcdu.vcduHeader.virtualChannelFrameCount.intValue 
 | ||
1573 | in 
 | ||
1574 | 
 | ||
1575 | not self.prevOnChannel->isEmpty() 
 | ||
1576 | 
 | ||
1577 | implies 
 | ||
1578 | 
 | ||
1579 | if prevCaduFrameCount < 16777215 
 | ||
1580 | then caduFrameCount = prevCaduFrameCount + 1 
 | ||
1581 | else prevCaduFrameCount = 16777215 and caduFrameCount = 0 
 | ||
1582 | endif
 | ||
1583 | </body> | ||
1584 | </specification> | ||
1585 | </ownedRule> | ||
1586 | <ownedAttribute xmi:id="_RvolaVVUEeWRIqLs5_0Tzg" name="sync" visibility="private" type="_RvokTlVUEeWRIqLs5_0Tzg" aggregation="composite" association="_RvomHVVUEeWRIqLs5_0Tzg"> | ||
1587 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvola1VUEeWRIqLs5_0Tzg" value="1"/> | ||
1588 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvolalVUEeWRIqLs5_0Tzg" value="1"/> | ||
1589 | </ownedAttribute> | ||
1590 | <ownedAttribute xmi:id="_RvolbFVUEeWRIqLs5_0Tzg" name="reedSolomonCoding" visibility="private" type="_RvokaVVUEeWRIqLs5_0Tzg" aggregation="composite" association="_RvomKVVUEeWRIqLs5_0Tzg"> | ||
1591 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvolblVUEeWRIqLs5_0Tzg" value="1"/> | ||
1592 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvolbVVUEeWRIqLs5_0Tzg" value="1"/> | ||
1593 | </ownedAttribute> | ||
1594 | <ownedAttribute xmi:id="_Rvolb1VUEeWRIqLs5_0Tzg" name="vcdu" visibility="private" type="_RvokDVVUEeWRIqLs5_0Tzg" aggregation="composite" association="_RvomKlVUEeWRIqLs5_0Tzg"> | ||
1595 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvolcVVUEeWRIqLs5_0Tzg" value="1"/> | ||
1596 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvolcFVUEeWRIqLs5_0Tzg" value="1"/> | ||
1597 | </ownedAttribute> | ||
1598 | <ownedAttribute xmi:id="_RvolclVUEeWRIqLs5_0Tzg" name="prev" visibility="private" type="_RvolZVVUEeWRIqLs5_0Tzg" association="_RvomK1VUEeWRIqLs5_0Tzg"> | ||
1599 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvoldFVUEeWRIqLs5_0Tzg"/> | ||
1600 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvolc1VUEeWRIqLs5_0Tzg" value="1"/> | ||
1601 | </ownedAttribute> | ||
1602 | <ownedAttribute xmi:id="_RvoldVVUEeWRIqLs5_0Tzg" name="prevOnChannel" visibility="private" type="_RvolZVVUEeWRIqLs5_0Tzg" association="_RvomL1VUEeWRIqLs5_0Tzg"> | ||
1603 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvold1VUEeWRIqLs5_0Tzg"/> | ||
1604 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvoldlVUEeWRIqLs5_0Tzg" value="1"/> | ||
1605 | </ownedAttribute> | ||
1606 | <ownedAttribute xmi:id="_RvoleFVUEeWRIqLs5_0Tzg" name="channelData" visibility="private" type="_RvomTVVUEeWRIqLs5_0Tzg" association="_RvomXFVUEeWRIqLs5_0Tzg"> | ||
1607 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvolelVUEeWRIqLs5_0Tzg" value="1"/> | ||
1608 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvoleVVUEeWRIqLs5_0Tzg" value="1"/> | ||
1609 | </ownedAttribute> | ||
1610 | <ownedAttribute xmi:id="_Rvole1VUEeWRIqLs5_0Tzg" name="extendedCaduInfo" visibility="private" type="_Rvoma1VUEeWRIqLs5_0Tzg" aggregation="composite" association="_RvomcFVUEeWRIqLs5_0Tzg"> | ||
1611 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvolfVVUEeWRIqLs5_0Tzg"/> | ||
1612 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvolfFVUEeWRIqLs5_0Tzg" value="1"/> | ||
1613 | </ownedAttribute> | ||
1614 | <ownedAttribute xmi:id="_RvolflVUEeWRIqLs5_0Tzg" name="index" visibility="private"> | ||
1615 | <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> | ||
1616 | </ownedAttribute> | ||
1617 | <ownedOperation xmi:id="_Rvolf1VUEeWRIqLs5_0Tzg" name="hasExtendedCadu" bodyCondition="_RvolgFVUEeWRIqLs5_0Tzg" isQuery="true"> | ||
1618 | <ownedRule xmi:id="_RvolgFVUEeWRIqLs5_0Tzg" name="hasExtendedCadu" constrainedElement="_Rvolf1VUEeWRIqLs5_0Tzg"> | ||
1619 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvolgVVUEeWRIqLs5_0Tzg"> | ||
1620 | <language>OCL</language> | ||
1621 | <body>self.channelData.hasExtendedCadu
 | ||
1622 | </body> | ||
1623 | </specification> | ||
1624 | </ownedRule> | ||
1625 | <ownedParameter xmi:id="_RvolglVUEeWRIqLs5_0Tzg" name="Parameter1" direction="return"> | ||
1626 | <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> | ||
1627 | </ownedParameter> | ||
1628 | </ownedOperation> | ||
1629 | <ownedOperation xmi:id="_Rvolg1VUEeWRIqLs5_0Tzg" name="getCaduIndex" bodyCondition="_RvolhFVUEeWRIqLs5_0Tzg" isQuery="true"> | ||
1630 | <ownedRule xmi:id="_RvolhFVUEeWRIqLs5_0Tzg" name="getCaduIndex" constrainedElement="_Rvolg1VUEeWRIqLs5_0Tzg"> | ||
1631 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvolhVVUEeWRIqLs5_0Tzg"> | ||
1632 | <language>OCL</language> | ||
1633 | <body>self.index</body> | ||
1634 | </specification> | ||
1635 | </ownedRule> | ||
1636 | <ownedParameter xmi:id="_RvolhlVUEeWRIqLs5_0Tzg" name="Parameter1" direction="return"> | ||
1637 | <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> | ||
1638 | </ownedParameter> | ||
1639 | </ownedOperation> | ||
1640 | </packagedElement> | ||
1641 | <packagedElement xmi:type="uml:Class" xmi:id="_Rvolh1VUEeWRIqLs5_0Tzg" name="MpduActivePacketZone"> | ||
1642 | <ownedRule xmi:id="_RvoliFVUEeWRIqLs5_0Tzg" name="alloy_checkVcidAndApid" constrainedElement="_Rvolh1VUEeWRIqLs5_0Tzg"> | ||
1643 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvoliVVUEeWRIqLs5_0Tzg"> | ||
1644 | <language>OCL</language> | ||
1645 | <body>self.isp->forAll(x : Isp | 
 | ||
1646 | self.vcdu.cadu.channelData.transmissionData.configuration.rtStpsConfig.xsveRtStps.vcdusConfig.vcduConfig->select(y | 
 | ||
1647 | y.vcid = self.vcdu.vcduHeader.virtualChannelId).ispsConfig.ispConfig.apid->exists(z | 
 | ||
1648 | z.apidPid = x.packetPrimaryHeader.apidPid and z.apidPcat = x.packetPrimaryHeader.apidPcat)
 | ||
1649 | or 
 | ||
1650 | (x.packetPrimaryHeader.apidPid = self.vcdu.cadu.channelData.transmissionData.configuration.rtStpsConfig.xsveRtStps.idleApid.apidPid and 
 | ||
1651 | x.packetPrimaryHeader.apidPcat = self.vcdu.cadu.channelData.transmissionData.configuration.rtStpsConfig.xsveRtStps.idleApid.apidPcat)
 | ||
1652 | )
 | ||
1653 | </body> | ||
1654 | </specification> | ||
1655 | </ownedRule> | ||
1656 | <generalization xmi:id="_RvolilVUEeWRIqLs5_0Tzg" general="_Rvok4FVUEeWRIqLs5_0Tzg"/> | ||
1657 | <ownedAttribute xmi:id="_Rvoli1VUEeWRIqLs5_0Tzg" name="isp" visibility="private" type="_Rvok_VVUEeWRIqLs5_0Tzg" isOrdered="true" association="_RvomIFVUEeWRIqLs5_0Tzg"> | ||
1658 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvoljVVUEeWRIqLs5_0Tzg" value="1"/> | ||
1659 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvoljFVUEeWRIqLs5_0Tzg" value="*"/> | ||
1660 | </ownedAttribute> | ||
1661 | <ownedAttribute xmi:id="_RvoljlVUEeWRIqLs5_0Tzg" name="value" visibility="private" type="_RvojhVVUEeWRIqLs5_0Tzg"/> | ||
1662 | <ownedOperation xmi:id="_Rvolj1VUEeWRIqLs5_0Tzg" name="getStartingIsps" bodyCondition="_RvolkFVUEeWRIqLs5_0Tzg" isQuery="true"> | ||
1663 | <ownedRule xmi:id="_RvolkFVUEeWRIqLs5_0Tzg" name="getStartingIsps" constrainedElement="_Rvolj1VUEeWRIqLs5_0Tzg"> | ||
1664 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvolkVVUEeWRIqLs5_0Tzg"> | ||
1665 | <language>OCL</language> | ||
1666 | <body>self.isp->select(i : Isp | i.mpduActivePacketZone->at(1) = self)</body> | ||
1667 | </specification> | ||
1668 | </ownedRule> | ||
1669 | <ownedParameter xmi:id="_RvolklVUEeWRIqLs5_0Tzg" name="Parameter1" type="_Rvok_VVUEeWRIqLs5_0Tzg" isOrdered="true" direction="return"> | ||
1670 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvollFVUEeWRIqLs5_0Tzg"/> | ||
1671 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvolk1VUEeWRIqLs5_0Tzg" value="*"/> | ||
1672 | </ownedParameter> | ||
1673 | </ownedOperation> | ||
1674 | <ownedOperation xmi:id="_RvollVVUEeWRIqLs5_0Tzg" name="getAssociatedIsps" bodyCondition="_RvolllVUEeWRIqLs5_0Tzg" isQuery="true"> | ||
1675 | <ownedRule xmi:id="_RvolllVUEeWRIqLs5_0Tzg" name="getAssociatedIsps" constrainedElement="_RvollVVUEeWRIqLs5_0Tzg"> | ||
1676 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_Rvoll1VUEeWRIqLs5_0Tzg"> | ||
1677 | <language>OCL</language> | ||
1678 | <body>self.isp</body> | ||
1679 | </specification> | ||
1680 | </ownedRule> | ||
1681 | <ownedParameter xmi:id="_RvolmFVUEeWRIqLs5_0Tzg" name="Parameter1" type="_Rvok_VVUEeWRIqLs5_0Tzg" isOrdered="true" direction="return"> | ||
1682 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvolmlVUEeWRIqLs5_0Tzg"/> | ||
1683 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvolmVVUEeWRIqLs5_0Tzg" value="*"/> | ||
1684 | </ownedParameter> | ||
1685 | </ownedOperation> | ||
1686 | </packagedElement> | ||
1687 | <packagedElement xmi:type="uml:Class" xmi:id="_Rvolm1VUEeWRIqLs5_0Tzg" name="MpduHeader" isAbstract="true"> | ||
1688 | <ownedAttribute xmi:id="_RvolnFVUEeWRIqLs5_0Tzg" name="vcdu" visibility="private" type="_RvokDVVUEeWRIqLs5_0Tzg" association="_RvomM1VUEeWRIqLs5_0Tzg"> | ||
1689 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvolnlVUEeWRIqLs5_0Tzg" value="1"/> | ||
1690 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvolnVVUEeWRIqLs5_0Tzg" value="1"/> | ||
1691 | </ownedAttribute> | ||
1692 | </packagedElement> | ||
1693 | <packagedElement xmi:type="uml:Class" xmi:id="_Rvoln1VUEeWRIqLs5_0Tzg" name="MsiS2DataFieldHeader"> | ||
1694 | <generalization xmi:id="_RvoloFVUEeWRIqLs5_0Tzg" general="_Rvokf1VUEeWRIqLs5_0Tzg"/> | ||
1695 | <ownedAttribute xmi:id="_RvoloVVUEeWRIqLs5_0Tzg" name="startTimeCoarse" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1696 | <ownedAttribute xmi:id="_RvololVUEeWRIqLs5_0Tzg" name="startTimeFine" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1697 | <ownedAttribute xmi:id="_Rvolo1VUEeWRIqLs5_0Tzg" name="timeCorrectionValue" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1698 | <ownedAttribute xmi:id="_RvolpFVUEeWRIqLs5_0Tzg" name="syncStatusValidity" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1699 | <ownedAttribute xmi:id="_RvolpVVUEeWRIqLs5_0Tzg" name="syncStatusFlag" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1700 | <ownedAttribute xmi:id="_RvolplVUEeWRIqLs5_0Tzg" name="systemOperationMode" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1701 | <ownedAttribute xmi:id="_Rvolp1VUEeWRIqLs5_0Tzg" name="compressionStatus" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1702 | </packagedElement> | ||
1703 | <packagedElement xmi:type="uml:Class" xmi:id="_RvolqFVUEeWRIqLs5_0Tzg" name="TmGpsrS2DataFieldHeader"> | ||
1704 | <generalization xmi:id="_RvolqVVUEeWRIqLs5_0Tzg" general="_Rvokf1VUEeWRIqLs5_0Tzg"/> | ||
1705 | <ownedAttribute xmi:id="_RvolqlVUEeWRIqLs5_0Tzg" name="fillerA" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1706 | <ownedAttribute xmi:id="_Rvolq1VUEeWRIqLs5_0Tzg" name="version" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1707 | <ownedAttribute xmi:id="_RvolrFVUEeWRIqLs5_0Tzg" name="fillerB" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1708 | <ownedAttribute xmi:id="_RvolrVVUEeWRIqLs5_0Tzg" name="type" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1709 | <ownedAttribute xmi:id="_RvolrlVUEeWRIqLs5_0Tzg" name="subtype" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1710 | <ownedAttribute xmi:id="_Rvolr1VUEeWRIqLs5_0Tzg" name="destinationId" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1711 | <ownedAttribute xmi:id="_RvolsFVUEeWRIqLs5_0Tzg" name="tfSeconds" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1712 | <ownedAttribute xmi:id="_RvolsVVUEeWRIqLs5_0Tzg" name="tfSubSeconds" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1713 | <ownedAttribute xmi:id="_RvolslVUEeWRIqLs5_0Tzg" name="tfUndefinedA" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1714 | </packagedElement> | ||
1715 | <packagedElement xmi:type="uml:Class" xmi:id="_Rvols1VUEeWRIqLs5_0Tzg" name="TmStrS2DataFieldHeader"> | ||
1716 | <generalization xmi:id="_RvoltFVUEeWRIqLs5_0Tzg" general="_Rvokf1VUEeWRIqLs5_0Tzg"/> | ||
1717 | <ownedAttribute xmi:id="_RvoltVVUEeWRIqLs5_0Tzg" name="fillerA" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1718 | <ownedAttribute xmi:id="_RvoltlVUEeWRIqLs5_0Tzg" name="version" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1719 | <ownedAttribute xmi:id="_Rvolt1VUEeWRIqLs5_0Tzg" name="fillerB" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1720 | <ownedAttribute xmi:id="_RvoluFVUEeWRIqLs5_0Tzg" name="type" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1721 | <ownedAttribute xmi:id="_RvoluVVUEeWRIqLs5_0Tzg" name="subtype" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1722 | <ownedAttribute xmi:id="_RvolulVUEeWRIqLs5_0Tzg" name="destinationId" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1723 | <ownedAttribute xmi:id="_Rvolu1VUEeWRIqLs5_0Tzg" name="tfSeconds" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1724 | <ownedAttribute xmi:id="_RvolvFVUEeWRIqLs5_0Tzg" name="tfSubSeconds" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1725 | <ownedAttribute xmi:id="_RvolvVVUEeWRIqLs5_0Tzg" name="syncA" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1726 | <ownedAttribute xmi:id="_RvolvlVUEeWRIqLs5_0Tzg" name="syncB" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1727 | </packagedElement> | ||
1728 | <packagedElement xmi:type="uml:Class" xmi:id="_Rvolv1VUEeWRIqLs5_0Tzg" name="TmCswS2DataFieldHeader"> | ||
1729 | <generalization xmi:id="_RvolwFVUEeWRIqLs5_0Tzg" general="_Rvokf1VUEeWRIqLs5_0Tzg"/> | ||
1730 | <ownedAttribute xmi:id="_RvolwVVUEeWRIqLs5_0Tzg" name="fillerA" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1731 | <ownedAttribute xmi:id="_RvolwlVUEeWRIqLs5_0Tzg" name="version" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1732 | <ownedAttribute xmi:id="_Rvolw1VUEeWRIqLs5_0Tzg" name="fillerB" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1733 | <ownedAttribute xmi:id="_RvolxFVUEeWRIqLs5_0Tzg" name="type" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1734 | <ownedAttribute xmi:id="_RvolxVVUEeWRIqLs5_0Tzg" name="subtype" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1735 | <ownedAttribute xmi:id="_RvolxlVUEeWRIqLs5_0Tzg" name="destinationId" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1736 | <ownedAttribute xmi:id="_Rvolx1VUEeWRIqLs5_0Tzg" name="tfSeconds" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1737 | <ownedAttribute xmi:id="_RvolyFVUEeWRIqLs5_0Tzg" name="tfSubSeconds" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1738 | <ownedAttribute xmi:id="_RvolyVVUEeWRIqLs5_0Tzg" name="syncA" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1739 | <ownedAttribute xmi:id="_RvolylVUEeWRIqLs5_0Tzg" name="syncB" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1740 | </packagedElement> | ||
1741 | <packagedElement xmi:type="uml:Class" xmi:id="_Rvoly1VUEeWRIqLs5_0Tzg" name="OlciS3DataFieldHeader"> | ||
1742 | <generalization xmi:id="_RvolzFVUEeWRIqLs5_0Tzg" general="_Rvokf1VUEeWRIqLs5_0Tzg"/> | ||
1743 | <ownedAttribute xmi:id="_RvolzVVUEeWRIqLs5_0Tzg" name="fillerA" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1744 | <ownedAttribute xmi:id="_RvolzlVUEeWRIqLs5_0Tzg" name="version" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1745 | <ownedAttribute xmi:id="_Rvolz1VUEeWRIqLs5_0Tzg" name="fillerB" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1746 | <ownedAttribute xmi:id="_Rvol0FVUEeWRIqLs5_0Tzg" name="type" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1747 | <ownedAttribute xmi:id="_Rvol0VVUEeWRIqLs5_0Tzg" name="subtype" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1748 | <ownedAttribute xmi:id="_Rvol0lVUEeWRIqLs5_0Tzg" name="destinationId" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1749 | <ownedAttribute xmi:id="_Rvol01VUEeWRIqLs5_0Tzg" name="tfScienceTimeMsp" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1750 | <ownedAttribute xmi:id="_Rvol1FVUEeWRIqLs5_0Tzg" name="tfScienceTimeLsp" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1751 | <ownedAttribute xmi:id="_Rvol1VVUEeWRIqLs5_0Tzg" name="tfStat" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1752 | </packagedElement> | ||
1753 | <packagedElement xmi:type="uml:Class" xmi:id="_Rvol1lVUEeWRIqLs5_0Tzg" name="SlstrS3DataFieldHeader"> | ||
1754 | <generalization xmi:id="_Rvol11VUEeWRIqLs5_0Tzg" general="_Rvokf1VUEeWRIqLs5_0Tzg"/> | ||
1755 | <ownedAttribute xmi:id="_Rvol2FVUEeWRIqLs5_0Tzg" name="fillerA" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1756 | <ownedAttribute xmi:id="_Rvol2VVUEeWRIqLs5_0Tzg" name="version" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1757 | <ownedAttribute xmi:id="_Rvol2lVUEeWRIqLs5_0Tzg" name="fillerB" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1758 | <ownedAttribute xmi:id="_Rvol21VUEeWRIqLs5_0Tzg" name="type" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1759 | <ownedAttribute xmi:id="_Rvol3FVUEeWRIqLs5_0Tzg" name="subtype" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1760 | <ownedAttribute xmi:id="_Rvol3VVUEeWRIqLs5_0Tzg" name="destinationId" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1761 | <ownedAttribute xmi:id="_Rvol3lVUEeWRIqLs5_0Tzg" name="tfTime" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1762 | <ownedAttribute xmi:id="_Rvol31VUEeWRIqLs5_0Tzg" name="tfStat" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1763 | </packagedElement> | ||
1764 | <packagedElement xmi:type="uml:Class" xmi:id="_Rvol4FVUEeWRIqLs5_0Tzg" name="DorisS3DateFieldHeader"> | ||
1765 | <generalization xmi:id="_Rvol4VVUEeWRIqLs5_0Tzg" general="_Rvokf1VUEeWRIqLs5_0Tzg"/> | ||
1766 | <ownedAttribute xmi:id="_Rvol4lVUEeWRIqLs5_0Tzg" name="fillerA" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1767 | <ownedAttribute xmi:id="_Rvol41VUEeWRIqLs5_0Tzg" name="version" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1768 | <ownedAttribute xmi:id="_Rvol5FVUEeWRIqLs5_0Tzg" name="fillerB" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1769 | <ownedAttribute xmi:id="_Rvol5VVUEeWRIqLs5_0Tzg" name="type" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1770 | <ownedAttribute xmi:id="_Rvol5lVUEeWRIqLs5_0Tzg" name="subtype" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1771 | <ownedAttribute xmi:id="_Rvol51VUEeWRIqLs5_0Tzg" name="destinationId" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1772 | <ownedAttribute xmi:id="_Rvol6FVUEeWRIqLs5_0Tzg" name="tfTime" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1773 | <ownedAttribute xmi:id="_Rvol6VVUEeWRIqLs5_0Tzg" name="spare" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1774 | </packagedElement> | ||
1775 | <packagedElement xmi:type="uml:Class" xmi:id="_Rvol6lVUEeWRIqLs5_0Tzg" name="TmNavattS3DataFieldHeader"> | ||
1776 | <generalization xmi:id="_Rvol61VUEeWRIqLs5_0Tzg" general="_Rvokf1VUEeWRIqLs5_0Tzg"/> | ||
1777 | <ownedAttribute xmi:id="_Rvol7FVUEeWRIqLs5_0Tzg" name="fillerA" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1778 | <ownedAttribute xmi:id="_Rvol7VVUEeWRIqLs5_0Tzg" name="version" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1779 | <ownedAttribute xmi:id="_Rvol7lVUEeWRIqLs5_0Tzg" name="fillerB" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1780 | <ownedAttribute xmi:id="_Rvol71VUEeWRIqLs5_0Tzg" name="type" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1781 | <ownedAttribute xmi:id="_Rvol8FVUEeWRIqLs5_0Tzg" name="subtype" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1782 | <ownedAttribute xmi:id="_Rvol8VVUEeWRIqLs5_0Tzg" name="destinationId" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1783 | <ownedAttribute xmi:id="_Rvol8lVUEeWRIqLs5_0Tzg" name="tfCoarse" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1784 | <ownedAttribute xmi:id="_Rvol81VUEeWRIqLs5_0Tzg" name="tfFine" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1785 | <ownedAttribute xmi:id="_Rvol9FVUEeWRIqLs5_0Tzg" name="tfStat" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1786 | </packagedElement> | ||
1787 | <packagedElement xmi:type="uml:Class" xmi:id="_Rvol9VVUEeWRIqLs5_0Tzg" name="MwrS3DataFieldHeader"> | ||
1788 | <generalization xmi:id="_Rvol9lVUEeWRIqLs5_0Tzg" general="_Rvokf1VUEeWRIqLs5_0Tzg"/> | ||
1789 | <ownedAttribute xmi:id="_Rvol91VUEeWRIqLs5_0Tzg" name="fillerA" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1790 | <ownedAttribute xmi:id="_Rvol-FVUEeWRIqLs5_0Tzg" name="version" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1791 | <ownedAttribute xmi:id="_Rvol-VVUEeWRIqLs5_0Tzg" name="fillerB" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1792 | <ownedAttribute xmi:id="_Rvol-lVUEeWRIqLs5_0Tzg" name="type" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1793 | <ownedAttribute xmi:id="_Rvol-1VUEeWRIqLs5_0Tzg" name="subtype" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1794 | <ownedAttribute xmi:id="_Rvol_FVUEeWRIqLs5_0Tzg" name="destinationId" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1795 | <ownedAttribute xmi:id="_Rvol_VVUEeWRIqLs5_0Tzg" name="tfOverSecond" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1796 | <ownedAttribute xmi:id="_Rvol_lVUEeWRIqLs5_0Tzg" name="tfSubSecond" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1797 | <ownedAttribute xmi:id="_Rvol_1VUEeWRIqLs5_0Tzg" name="tfStat" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1798 | </packagedElement> | ||
1799 | <packagedElement xmi:type="uml:Class" xmi:id="_RvomAFVUEeWRIqLs5_0Tzg" name="SralS3DataFieldHeader"> | ||
1800 | <generalization xmi:id="_RvomAVVUEeWRIqLs5_0Tzg" general="_Rvokf1VUEeWRIqLs5_0Tzg"/> | ||
1801 | <ownedAttribute xmi:id="_RvomAlVUEeWRIqLs5_0Tzg" name="fillerA" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1802 | <ownedAttribute xmi:id="_RvomA1VUEeWRIqLs5_0Tzg" name="version" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1803 | <ownedAttribute xmi:id="_RvomBFVUEeWRIqLs5_0Tzg" name="fillerB" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1804 | <ownedAttribute xmi:id="_RvomBVVUEeWRIqLs5_0Tzg" name="type" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1805 | <ownedAttribute xmi:id="_RvomBlVUEeWRIqLs5_0Tzg" name="subtype" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1806 | <ownedAttribute xmi:id="_RvomB1VUEeWRIqLs5_0Tzg" name="destinationId" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1807 | <ownedAttribute xmi:id="_RvomCFVUEeWRIqLs5_0Tzg" name="tfCoarse" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1808 | <ownedAttribute xmi:id="_RvomCVVUEeWRIqLs5_0Tzg" name="tfFine" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1809 | <ownedAttribute xmi:id="_RvomClVUEeWRIqLs5_0Tzg" name="tfStat" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1810 | </packagedElement> | ||
1811 | <packagedElement xmi:type="uml:Class" xmi:id="_RvomC1VUEeWRIqLs5_0Tzg" name="TmGpsrS3DataFieldHeader"> | ||
1812 | <generalization xmi:id="_RvomDFVUEeWRIqLs5_0Tzg" general="_Rvokf1VUEeWRIqLs5_0Tzg"/> | ||
1813 | <ownedAttribute xmi:id="_RvomDVVUEeWRIqLs5_0Tzg" name="fillerA" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1814 | <ownedAttribute xmi:id="_RvomDlVUEeWRIqLs5_0Tzg" name="version" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1815 | <ownedAttribute xmi:id="_RvomD1VUEeWRIqLs5_0Tzg" name="fillerB" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1816 | <ownedAttribute xmi:id="_RvomEFVUEeWRIqLs5_0Tzg" name="type" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1817 | <ownedAttribute xmi:id="_RvomEVVUEeWRIqLs5_0Tzg" name="subtype" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1818 | <ownedAttribute xmi:id="_RvomElVUEeWRIqLs5_0Tzg" name="destinationId" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1819 | <ownedAttribute xmi:id="_RvomE1VUEeWRIqLs5_0Tzg" name="tfSeconds" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1820 | <ownedAttribute xmi:id="_RvomFFVUEeWRIqLs5_0Tzg" name="tfSubSeconds" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1821 | <ownedAttribute xmi:id="_RvomFVVUEeWRIqLs5_0Tzg" name="tfBlank" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
1822 | </packagedElement> | ||
1823 | <packagedElement xmi:type="uml:Class" xmi:id="_RvomFlVUEeWRIqLs5_0Tzg" name="IdlePacketDataField"> | ||
1824 | <generalization xmi:id="_RvomF1VUEeWRIqLs5_0Tzg" general="_Rvok21VUEeWRIqLs5_0Tzg"/> | ||
1825 | <ownedAttribute xmi:id="_RvomGFVUEeWRIqLs5_0Tzg" name="idleDataArray" visibility="private" type="_RvojhVVUEeWRIqLs5_0Tzg"> | ||
1826 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvomGlVUEeWRIqLs5_0Tzg" value="1"/> | ||
1827 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvomGVVUEeWRIqLs5_0Tzg" value="1"/> | ||
1828 | </ownedAttribute> | ||
1829 | </packagedElement> | ||
1830 | <packagedElement xmi:type="uml:Association" xmi:id="_RvomG1VUEeWRIqLs5_0Tzg" memberEnd="_Rvoj9VVUEeWRIqLs5_0Tzg _RvokFlVUEeWRIqLs5_0Tzg"/> | ||
1831 | <packagedElement xmi:type="uml:Association" xmi:id="_RvomHFVUEeWRIqLs5_0Tzg" memberEnd="_Rvok4lVUEeWRIqLs5_0Tzg _RvokE1VUEeWRIqLs5_0Tzg"/> | ||
1832 | <packagedElement xmi:type="uml:Association" xmi:id="_RvomHVVUEeWRIqLs5_0Tzg" memberEnd="_RvokV1VUEeWRIqLs5_0Tzg _RvolaVVUEeWRIqLs5_0Tzg"/> | ||
1833 | <packagedElement xmi:type="uml:Association" xmi:id="_RvomHlVUEeWRIqLs5_0Tzg" memberEnd="_Rvok3VVUEeWRIqLs5_0Tzg _RvolDlVUEeWRIqLs5_0Tzg"/> | ||
1834 | <packagedElement xmi:type="uml:Association" xmi:id="_RvomH1VUEeWRIqLs5_0Tzg" memberEnd="_RvokuVVUEeWRIqLs5_0Tzg _RvolC1VUEeWRIqLs5_0Tzg"/> | ||
1835 | <packagedElement xmi:type="uml:Association" xmi:id="_RvomIFVUEeWRIqLs5_0Tzg" memberEnd="_RvolEVVUEeWRIqLs5_0Tzg _Rvoli1VUEeWRIqLs5_0Tzg"/> | ||
1836 | <packagedElement xmi:type="uml:Association" xmi:id="_RvomIVVUEeWRIqLs5_0Tzg" memberEnd="_RvolFFVUEeWRIqLs5_0Tzg _RvomIlVUEeWRIqLs5_0Tzg"> | ||
1837 | <ownedEnd xmi:id="_RvomIlVUEeWRIqLs5_0Tzg" name="" visibility="private" type="_Rvok_VVUEeWRIqLs5_0Tzg" association="_RvomIVVUEeWRIqLs5_0Tzg"> | ||
1838 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvomJFVUEeWRIqLs5_0Tzg" value="1"/> | ||
1839 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvomI1VUEeWRIqLs5_0Tzg" value="1"/> | ||
1840 | </ownedEnd> | ||
1841 | </packagedElement> | ||
1842 | <packagedElement xmi:type="uml:Association" xmi:id="_RvomJVVUEeWRIqLs5_0Tzg" memberEnd="_RvolF1VUEeWRIqLs5_0Tzg _RvomJlVUEeWRIqLs5_0Tzg"> | ||
1843 | <ownedEnd xmi:id="_RvomJlVUEeWRIqLs5_0Tzg" name="" visibility="private" type="_Rvok_VVUEeWRIqLs5_0Tzg" association="_RvomJVVUEeWRIqLs5_0Tzg"> | ||
1844 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvomKFVUEeWRIqLs5_0Tzg" value="1"/> | ||
1845 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvomJ1VUEeWRIqLs5_0Tzg" value="1"/> | ||
1846 | </ownedEnd> | ||
1847 | </packagedElement> | ||
1848 | <packagedElement xmi:type="uml:Association" xmi:id="_RvomKVVUEeWRIqLs5_0Tzg" memberEnd="_RvokdFVUEeWRIqLs5_0Tzg _RvolbFVUEeWRIqLs5_0Tzg"/> | ||
1849 | <packagedElement xmi:type="uml:Association" xmi:id="_RvomKlVUEeWRIqLs5_0Tzg" memberEnd="_RvokGVVUEeWRIqLs5_0Tzg _Rvolb1VUEeWRIqLs5_0Tzg"/> | ||
1850 | <packagedElement xmi:type="uml:Association" xmi:id="_RvomK1VUEeWRIqLs5_0Tzg" memberEnd="_RvolclVUEeWRIqLs5_0Tzg _RvomLFVUEeWRIqLs5_0Tzg"> | ||
1851 | <ownedEnd xmi:id="_RvomLFVUEeWRIqLs5_0Tzg" name="" visibility="private" type="_RvolZVVUEeWRIqLs5_0Tzg" association="_RvomK1VUEeWRIqLs5_0Tzg"> | ||
1852 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvomLlVUEeWRIqLs5_0Tzg" value="1"/> | ||
1853 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvomLVVUEeWRIqLs5_0Tzg" value="1"/> | ||
1854 | </ownedEnd> | ||
1855 | </packagedElement> | ||
1856 | <packagedElement xmi:type="uml:Association" xmi:id="_RvomL1VUEeWRIqLs5_0Tzg" memberEnd="_RvoldVVUEeWRIqLs5_0Tzg _RvomMFVUEeWRIqLs5_0Tzg"> | ||
1857 | <ownedEnd xmi:id="_RvomMFVUEeWRIqLs5_0Tzg" name="" visibility="private" type="_RvolZVVUEeWRIqLs5_0Tzg" association="_RvomL1VUEeWRIqLs5_0Tzg"> | ||
1858 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvomMlVUEeWRIqLs5_0Tzg" value="1"/> | ||
1859 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvomMVVUEeWRIqLs5_0Tzg" value="1"/> | ||
1860 | </ownedEnd> | ||
1861 | </packagedElement> | ||
1862 | <packagedElement xmi:type="uml:Association" xmi:id="_RvomM1VUEeWRIqLs5_0Tzg" memberEnd="_RvolnFVUEeWRIqLs5_0Tzg _RvokHFVUEeWRIqLs5_0Tzg"/> | ||
1863 | <packagedElement xmi:type="uml:Class" xmi:id="_RvomNFVUEeWRIqLs5_0Tzg" name="ActivePacketDataField"> | ||
1864 | <ownedRule xmi:id="_RvomNVVUEeWRIqLs5_0Tzg" name="alloy_isSecondaryHeaderConsistent" constrainedElement="_RvomNFVUEeWRIqLs5_0Tzg"> | ||
1865 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvomNlVUEeWRIqLs5_0Tzg"> | ||
1866 | <language>OCL</language> | ||
1867 | <body>self.isp.mpduActivePacketZone.vcdu.cadu.channelData.transmissionData.configuration.rtStpsConfig.xsveRtStps->exists(x: XsveRtStps | x.missionName = MissionName::Sentinel1)
 | ||
1868 | and (self.packetSecondaryHeader.oclIsTypeOf(SarS1DataFieldHeader) or self.packetSecondaryHeader.oclIsTypeOf(TmGpsrS1DataFieldHeader))
 | ||
1869 | or
 | ||
1870 | self.isp.mpduActivePacketZone.vcdu.cadu.channelData.transmissionData.configuration.rtStpsConfig.xsveRtStps->exists(x: XsveRtStps | x.missionName = MissionName::Sentinel2)
 | ||
1871 | and (self.packetSecondaryHeader.oclIsTypeOf(MsiS2DataFieldHeader) or self.packetSecondaryHeader.oclIsTypeOf(TmGpsrS2DataFieldHeader) or self.packetSecondaryHeader.oclIsTypeOf(TmStrS2DataFieldHeader) or self.packetSecondaryHeader.oclIsTypeOf(TmCswS2DataFieldHeader))
 | ||
1872 | or
 | ||
1873 | self.isp.mpduActivePacketZone.vcdu.cadu.channelData.transmissionData.configuration.rtStpsConfig.xsveRtStps->exists(x: XsveRtStps | x.missionName = MissionName::Sentinel3)
 | ||
1874 | and (self.packetSecondaryHeader.oclIsTypeOf(OlciS3DataFieldHeader) or self.packetSecondaryHeader.oclIsTypeOf(DorisS3DateFieldHeader) or self.packetSecondaryHeader.oclIsTypeOf(MwrS3DataFieldHeader) or self.packetSecondaryHeader.oclIsTypeOf(TmGpsrS3DataFieldHeader) or
 | ||
1875 | self.packetSecondaryHeader.oclIsTypeOf(SlstrS3DataFieldHeader) or self.packetSecondaryHeader.oclIsTypeOf(TmNavattS3DataFieldHeader) or self.packetSecondaryHeader.oclIsTypeOf(SralS3DataFieldHeader) )
 | ||
1876 | </body> | ||
1877 | </specification> | ||
1878 | </ownedRule> | ||
1879 | <ownedRule xmi:id="_RvomN1VUEeWRIqLs5_0Tzg" name="alloy_isSecondaryHeaderConsistent2" constrainedElement="_RvomNFVUEeWRIqLs5_0Tzg"> | ||
1880 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvomOFVUEeWRIqLs5_0Tzg"> | ||
1881 | <language>OCL</language> | ||
1882 | <body>if self.isp.mpduActivePacketZone->first().vcdu.cadu.channelData.transmissionData.configuration.rtStpsConfig.xsveRtStps.extendedCadu
 | ||
1883 | then true
 | ||
1884 | else false
 | ||
1885 | endif
 | ||
1886 | 
 | ||
1887 | 
 | ||
1888 | --SarS1DataFieldHeader
 | ||
1889 | --TmGpsrS1DataFieldHeader
 | ||
1890 | -- MsiS2DataFieldHeader
 | ||
1891 | --TmGpsrS2DataFiefldHeader
 | ||
1892 | --TmStrS2DataFieldHeader
 | ||
1893 | --TmCswS2DataFieldHeader
 | ||
1894 | </body> | ||
1895 | </specification> | ||
1896 | </ownedRule> | ||
1897 | <generalization xmi:id="_RvomOVVUEeWRIqLs5_0Tzg" general="_Rvok21VUEeWRIqLs5_0Tzg"/> | ||
1898 | <ownedAttribute xmi:id="_RvomOlVUEeWRIqLs5_0Tzg" name="packetSecondaryHeader" visibility="private" type="_Rvokf1VUEeWRIqLs5_0Tzg" aggregation="composite" association="_RvomSVVUEeWRIqLs5_0Tzg"> | ||
1899 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvomPFVUEeWRIqLs5_0Tzg"/> | ||
1900 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvomO1VUEeWRIqLs5_0Tzg" value="1"/> | ||
1901 | </ownedAttribute> | ||
1902 | <ownedAttribute xmi:id="_RvomPVVUEeWRIqLs5_0Tzg" name="packetData" visibility="private" type="_RvolXVVUEeWRIqLs5_0Tzg" aggregation="composite" association="_RvomSlVUEeWRIqLs5_0Tzg"> | ||
1903 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvomP1VUEeWRIqLs5_0Tzg" value="1"/> | ||
1904 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvomPlVUEeWRIqLs5_0Tzg" value="1"/> | ||
1905 | </ownedAttribute> | ||
1906 | <ownedAttribute xmi:id="_RvomQFVUEeWRIqLs5_0Tzg" name="packetErrorControl" visibility="private" type="_RvokvVVUEeWRIqLs5_0Tzg" aggregation="composite" association="_RvomS1VUEeWRIqLs5_0Tzg"> | ||
1907 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvomQlVUEeWRIqLs5_0Tzg" value="1"/> | ||
1908 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvomQVVUEeWRIqLs5_0Tzg" value="1"/> | ||
1909 | </ownedAttribute> | ||
1910 | <ownedOperation xmi:id="_RvomQ1VUEeWRIqLs5_0Tzg" name="getActivePacketType" bodyCondition="_RvomRFVUEeWRIqLs5_0Tzg" isQuery="true"> | ||
1911 | <ownedRule xmi:id="_RvomRFVUEeWRIqLs5_0Tzg" name="getActivePacketType" constrainedElement="_RvomQ1VUEeWRIqLs5_0Tzg"> | ||
1912 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvomRVVUEeWRIqLs5_0Tzg"> | ||
1913 | <language>OCL</language> | ||
1914 | <body>let 
 | ||
1915 | setOfEnums : Set(IspPacketTypes) = IspPacketTypes.allInstances() 
 | ||
1916 | in 
 | ||
1917 | 
 | ||
1918 | if self.isp.packetPrimaryHeader->notEmpty() then 
 | ||
1919 | if setOfEnums->select(i : IspPacketTypes | self.isp.isTypeOfPacket(i))->asOrderedSet()->notEmpty() then 
 | ||
1920 | setOfEnums->select(i : IspPacketTypes | self.isp.isTypeOfPacket(i))->asOrderedSet()->first() 
 | ||
1921 | else IspPacketTypes::UNDEFINED 
 | ||
1922 | endif 
 | ||
1923 | else IspPacketTypes::UNDEFINED 
 | ||
1924 | endif
 | ||
1925 | </body> | ||
1926 | </specification> | ||
1927 | </ownedRule> | ||
1928 | <ownedParameter xmi:id="_RvomRlVUEeWRIqLs5_0Tzg" name="Parameter1" type="_RvojnFVUEeWRIqLs5_0Tzg" direction="return"> | ||
1929 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvomSFVUEeWRIqLs5_0Tzg" value="1"/> | ||
1930 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvomR1VUEeWRIqLs5_0Tzg" value="1"/> | ||
1931 | </ownedParameter> | ||
1932 | </ownedOperation> | ||
1933 | </packagedElement> | ||
1934 | <packagedElement xmi:type="uml:Association" xmi:id="_RvomSVVUEeWRIqLs5_0Tzg" memberEnd="_RvomOlVUEeWRIqLs5_0Tzg _Rvokh1VUEeWRIqLs5_0Tzg"/> | ||
1935 | <packagedElement xmi:type="uml:Association" xmi:id="_RvomSlVUEeWRIqLs5_0Tzg" memberEnd="_RvomPVVUEeWRIqLs5_0Tzg _RvolYlVUEeWRIqLs5_0Tzg"/> | ||
1936 | <packagedElement xmi:type="uml:Association" xmi:id="_RvomS1VUEeWRIqLs5_0Tzg" memberEnd="_RvomQFVUEeWRIqLs5_0Tzg _RvokyFVUEeWRIqLs5_0Tzg"/> | ||
1937 | <packagedElement xmi:type="uml:Association" xmi:id="_RvomTFVUEeWRIqLs5_0Tzg" memberEnd="_RvolUVVUEeWRIqLs5_0Tzg _Rvojc1VUEeWRIqLs5_0Tzg"/> | ||
1938 | <packagedElement xmi:type="uml:Class" xmi:id="_RvomTVVUEeWRIqLs5_0Tzg" name="ChannelData"> | ||
1939 | <ownedComment xmi:id="_RvomTlVUEeWRIqLs5_0Tzg" annotatedElement="_RvomTVVUEeWRIqLs5_0Tzg"> | ||
1940 | <body><p>For&nbsp;each&nbsp;physical&nbsp;channel&nbsp;of&nbsp;the&nbsp;satellite.</p></body> | ||
1941 | </ownedComment> | ||
1942 | <ownedRule xmi:id="_RvomT1VUEeWRIqLs5_0Tzg" name="input_caduDataExists" constrainedElement="_RvomTVVUEeWRIqLs5_0Tzg"> | ||
1943 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvomUFVUEeWRIqLs5_0Tzg"> | ||
1944 | <language>OCL</language> | ||
1945 | <body>self.cadu->size() > 0</body> | ||
1946 | </specification> | ||
1947 | </ownedRule> | ||
1948 | <ownedAttribute xmi:id="_RvomUVVUEeWRIqLs5_0Tzg" name="cadu" visibility="private" type="_RvolZVVUEeWRIqLs5_0Tzg" isOrdered="true" aggregation="composite" association="_RvomXFVUEeWRIqLs5_0Tzg"> | ||
1949 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvomU1VUEeWRIqLs5_0Tzg"/> | ||
1950 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvomUlVUEeWRIqLs5_0Tzg" value="*"/> | ||
1951 | </ownedAttribute> | ||
1952 | <ownedAttribute xmi:id="_RvomVFVUEeWRIqLs5_0Tzg" name="transmissionData" visibility="private" type="_RvolTVVUEeWRIqLs5_0Tzg" association="_RvomXVVUEeWRIqLs5_0Tzg"> | ||
1953 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvomVlVUEeWRIqLs5_0Tzg" value="1"/> | ||
1954 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvomVVVUEeWRIqLs5_0Tzg" value="1"/> | ||
1955 | </ownedAttribute> | ||
1956 | <ownedAttribute xmi:id="_RvomV1VUEeWRIqLs5_0Tzg" name="channelDataPerVcid" visibility="private" type="_RvomYVVUEeWRIqLs5_0Tzg" association="_RvomaVVUEeWRIqLs5_0Tzg"> | ||
1957 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvomWVVUEeWRIqLs5_0Tzg" value="1"/> | ||
1958 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvomWFVUEeWRIqLs5_0Tzg" value="1"/> | ||
1959 | </ownedAttribute> | ||
1960 | <ownedAttribute xmi:id="_RvomWlVUEeWRIqLs5_0Tzg" name="hasExtendedCadu" visibility="private"> | ||
1961 | <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> | ||
1962 | </ownedAttribute> | ||
1963 | <ownedAttribute xmi:id="_RvomW1VUEeWRIqLs5_0Tzg" name="caduHeaderIncludesMpdu" visibility="private"> | ||
1964 | <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> | ||
1965 | </ownedAttribute> | ||
1966 | </packagedElement> | ||
1967 | <packagedElement xmi:type="uml:Association" xmi:id="_RvomXFVUEeWRIqLs5_0Tzg" memberEnd="_RvomUVVUEeWRIqLs5_0Tzg _RvoleFVUEeWRIqLs5_0Tzg"/> | ||
1968 | <packagedElement xmi:type="uml:Association" xmi:id="_RvomXVVUEeWRIqLs5_0Tzg" memberEnd="_RvolVFVUEeWRIqLs5_0Tzg _RvomVFVUEeWRIqLs5_0Tzg"/> | ||
1969 | <packagedElement xmi:type="uml:Class" xmi:id="_RvomXlVUEeWRIqLs5_0Tzg" name="FragmentPacketDataField"> | ||
1970 | <generalization xmi:id="_RvomX1VUEeWRIqLs5_0Tzg" general="_Rvok21VUEeWRIqLs5_0Tzg"/> | ||
1971 | <ownedAttribute xmi:id="_RvomYFVUEeWRIqLs5_0Tzg" name="dataArray" visibility="private" type="_RvojhVVUEeWRIqLs5_0Tzg"/> | ||
1972 | </packagedElement> | ||
1973 | <packagedElement xmi:type="uml:Class" xmi:id="_RvomYVVUEeWRIqLs5_0Tzg" name="ChannelDataPerVcid"> | ||
1974 | <ownedAttribute xmi:id="_RvomYlVUEeWRIqLs5_0Tzg" name="virtualChannelId" visibility="private" type="_RvomoVVUEeWRIqLs5_0Tzg"/> | ||
1975 | <ownedAttribute xmi:id="_RvomY1VUEeWRIqLs5_0Tzg" name="channelData" visibility="private" type="_RvomTVVUEeWRIqLs5_0Tzg" association="_RvomaVVUEeWRIqLs5_0Tzg"> | ||
1976 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvomZVVUEeWRIqLs5_0Tzg" value="1"/> | ||
1977 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvomZFVUEeWRIqLs5_0Tzg" value="*"/> | ||
1978 | </ownedAttribute> | ||
1979 | <ownedAttribute xmi:id="_RvomZlVUEeWRIqLs5_0Tzg" name="isp" visibility="private" type="_Rvok_VVUEeWRIqLs5_0Tzg" isOrdered="true" association="_RvomalVUEeWRIqLs5_0Tzg"> | ||
1980 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvomaFVUEeWRIqLs5_0Tzg" value="1"/> | ||
1981 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvomZ1VUEeWRIqLs5_0Tzg" value="*"/> | ||
1982 | </ownedAttribute> | ||
1983 | </packagedElement> | ||
1984 | <packagedElement xmi:type="uml:Association" xmi:id="_RvomaVVUEeWRIqLs5_0Tzg" memberEnd="_RvomV1VUEeWRIqLs5_0Tzg _RvomY1VUEeWRIqLs5_0Tzg"/> | ||
1985 | <packagedElement xmi:type="uml:Association" xmi:id="_RvomalVUEeWRIqLs5_0Tzg" memberEnd="_RvolH1VUEeWRIqLs5_0Tzg _RvomZlVUEeWRIqLs5_0Tzg"/> | ||
1986 | <packagedElement xmi:type="uml:Class" xmi:id="_Rvoma1VUEeWRIqLs5_0Tzg" name="ExtendedCaduInfo"> | ||
1987 | <ownedAttribute xmi:id="_RvombFVUEeWRIqLs5_0Tzg" name="value" visibility="private" type="_RvojhVVUEeWRIqLs5_0Tzg"/> | ||
1988 | <ownedAttribute xmi:id="_RvombVVUEeWRIqLs5_0Tzg" name="cadu" visibility="private" type="_RvolZVVUEeWRIqLs5_0Tzg" association="_RvomcFVUEeWRIqLs5_0Tzg"> | ||
1989 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvomb1VUEeWRIqLs5_0Tzg" value="1"/> | ||
1990 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvomblVUEeWRIqLs5_0Tzg" value="1"/> | ||
1991 | </ownedAttribute> | ||
1992 | </packagedElement> | ||
1993 | <packagedElement xmi:type="uml:Association" xmi:id="_RvomcFVUEeWRIqLs5_0Tzg" memberEnd="_RvombVVUEeWRIqLs5_0Tzg _Rvole1VUEeWRIqLs5_0Tzg"/> | ||
1994 | <packagedElement xmi:type="uml:Association" xmi:id="_RvomcVVUEeWRIqLs5_0Tzg" memberEnd="_RvojeVVUEeWRIqLs5_0Tzg _RvojOFVUEeWRIqLs5_0Tzg"/> | ||
1995 | <packagedElement xmi:type="uml:Association" xmi:id="_RvomclVUEeWRIqLs5_0Tzg" memberEnd="_RvojdlVUEeWRIqLs5_0Tzg _RvojSVVUEeWRIqLs5_0Tzg"/> | ||
1996 | <packagedElement xmi:type="uml:Association" xmi:id="_Rvomc1VUEeWRIqLs5_0Tzg" memberEnd="_RvojfFVUEeWRIqLs5_0Tzg _RvojP1VUEeWRIqLs5_0Tzg"/> | ||
1997 | <packagedElement xmi:type="uml:Association" xmi:id="_RvomdFVUEeWRIqLs5_0Tzg" memberEnd="_RvojblVUEeWRIqLs5_0Tzg _RvojUFVUEeWRIqLs5_0Tzg"/> | ||
1998 | <packagedElement xmi:type="uml:Association" xmi:id="_RvomdVVUEeWRIqLs5_0Tzg" memberEnd="_RvojTVVUEeWRIqLs5_0Tzg _RvojNFVUEeWRIqLs5_0Tzg"/> | ||
1999 | <packagedElement xmi:type="uml:Association" xmi:id="_RvomdlVUEeWRIqLs5_0Tzg" memberEnd="_RvojRlVUEeWRIqLs5_0Tzg _RvojglVUEeWRIqLs5_0Tzg"/> | ||
2000 | <packagedElement xmi:type="uml:Association" xmi:id="_Rvomd1VUEeWRIqLs5_0Tzg" memberEnd="_RvojQlVUEeWRIqLs5_0Tzg _RvojH1VUEeWRIqLs5_0Tzg"/> | ||
2001 | <packagedElement xmi:type="uml:Association" xmi:id="_RvomeFVUEeWRIqLs5_0Tzg" memberEnd="_RvojO1VUEeWRIqLs5_0Tzg _RvojZFVUEeWRIqLs5_0Tzg"/> | ||
2002 | <packagedElement xmi:type="uml:Association" xmi:id="_RvomeVVUEeWRIqLs5_0Tzg" memberEnd="_RvojKlVUEeWRIqLs5_0Tzg _RvojJlVUEeWRIqLs5_0Tzg"/> | ||
2003 | <packagedElement xmi:type="uml:Association" xmi:id="_RvomelVUEeWRIqLs5_0Tzg" memberEnd="_RvojG1VUEeWRIqLs5_0Tzg _RvojI1VUEeWRIqLs5_0Tzg"/> | ||
2004 | <packagedElement xmi:type="uml:Class" xmi:id="_Rvome1VUEeWRIqLs5_0Tzg" name="XmlNumber"> | ||
2005 | <ownedAttribute xmi:id="_RvomfFVUEeWRIqLs5_0Tzg" name="value" visibility="private"> | ||
2006 | <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> | ||
2007 | </ownedAttribute> | ||
2008 | <ownedAttribute xmi:id="_RvomfVVUEeWRIqLs5_0Tzg" name="unit" visibility="private" type="_RvomflVUEeWRIqLs5_0Tzg"/> | ||
2009 | </packagedElement> | ||
2010 | <packagedElement xmi:type="uml:Enumeration" xmi:id="_RvomflVUEeWRIqLs5_0Tzg" name="UnitType"> | ||
2011 | <ownedLiteral xmi:id="_Rvomf1VUEeWRIqLs5_0Tzg" name="byte"/> | ||
2012 | </packagedElement> | ||
2013 | <packagedElement xmi:type="uml:Enumeration" xmi:id="_RvomgFVUEeWRIqLs5_0Tzg" name="MissionName"> | ||
2014 | <ownedLiteral xmi:id="_RvomgVVUEeWRIqLs5_0Tzg" name="Sentinel1"> | ||
2015 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvomglVUEeWRIqLs5_0Tzg"> | ||
2016 | <body>S1</body> | ||
2017 | </specification> | ||
2018 | </ownedLiteral> | ||
2019 | <ownedLiteral xmi:id="_Rvomg1VUEeWRIqLs5_0Tzg" name="Sentinel2"> | ||
2020 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvomhFVUEeWRIqLs5_0Tzg"> | ||
2021 | <body>S2</body> | ||
2022 | </specification> | ||
2023 | </ownedLiteral> | ||
2024 | <ownedLiteral xmi:id="_RvomhVVUEeWRIqLs5_0Tzg" name="Sentinel3"> | ||
2025 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvomhlVUEeWRIqLs5_0Tzg"> | ||
2026 | <body>S3</body> | ||
2027 | </specification> | ||
2028 | </ownedLiteral> | ||
2029 | </packagedElement> | ||
2030 | <packagedElement xmi:type="uml:Class" xmi:id="_Rvomh1VUEeWRIqLs5_0Tzg" name="ApidPcat"> | ||
2031 | <ownedComment xmi:id="_RvomiFVUEeWRIqLs5_0Tzg" annotatedElement="_Rvomh1VUEeWRIqLs5_0Tzg"> | ||
2032 | <body><p>Last&nbsp;4&nbsp;bits&nbsp;of&nbsp;apid.</p></body> | ||
2033 | </ownedComment> | ||
2034 | <ownedAttribute xmi:id="_RvomiVVUEeWRIqLs5_0Tzg" name="value" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
2035 | </packagedElement> | ||
2036 | <packagedElement xmi:type="uml:Class" xmi:id="_RvomilVUEeWRIqLs5_0Tzg" name="ApidPid"> | ||
2037 | <ownedComment xmi:id="_Rvomi1VUEeWRIqLs5_0Tzg" annotatedElement="_RvomilVUEeWRIqLs5_0Tzg"> | ||
2038 | <body><p>First&nbsp;7&nbsp;bits&nbsp;of&nbsp;apid.</p></body> | ||
2039 | </ownedComment> | ||
2040 | <ownedAttribute xmi:id="_RvomjFVUEeWRIqLs5_0Tzg" name="value" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
2041 | </packagedElement> | ||
2042 | <packagedElement xmi:type="uml:Class" xmi:id="_RvomjVVUEeWRIqLs5_0Tzg" name="Apid"> | ||
2043 | <ownedAttribute xmi:id="_RvomjlVUEeWRIqLs5_0Tzg" name="apidPid" visibility="private" type="_RvomilVUEeWRIqLs5_0Tzg"/> | ||
2044 | <ownedAttribute xmi:id="_Rvomj1VUEeWRIqLs5_0Tzg" name="apidPcat" visibility="private" type="_Rvomh1VUEeWRIqLs5_0Tzg"/> | ||
2045 | <ownedAttribute xmi:id="_RvomkFVUEeWRIqLs5_0Tzg" name="value" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
2046 | <ownedOperation xmi:id="_RvomkVVUEeWRIqLs5_0Tzg" name="getApidPidValue" bodyCondition="_RvomklVUEeWRIqLs5_0Tzg" isQuery="true"> | ||
2047 | <ownedRule xmi:id="_RvomklVUEeWRIqLs5_0Tzg" name="getApidPidValue" constrainedElement="_RvomkVVUEeWRIqLs5_0Tzg"> | ||
2048 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_Rvomk1VUEeWRIqLs5_0Tzg"> | ||
2049 | <language>OCL</language> | ||
2050 | <body>self.value.intValue.div(16)</body> | ||
2051 | </specification> | ||
2052 | </ownedRule> | ||
2053 | <ownedParameter xmi:id="_RvomlFVUEeWRIqLs5_0Tzg" name="Parameter1" direction="return"> | ||
2054 | <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> | ||
2055 | </ownedParameter> | ||
2056 | </ownedOperation> | ||
2057 | <ownedOperation xmi:id="_RvomlVVUEeWRIqLs5_0Tzg" name="getApidPcatValue" bodyCondition="_RvomllVUEeWRIqLs5_0Tzg" isQuery="true"> | ||
2058 | <ownedRule xmi:id="_RvomllVUEeWRIqLs5_0Tzg" name="getApidPcatValue" constrainedElement="_RvomlVVUEeWRIqLs5_0Tzg"> | ||
2059 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_Rvoml1VUEeWRIqLs5_0Tzg"> | ||
2060 | <language>OCL</language> | ||
2061 | <body>self.value.intValue.mod(16)</body> | ||
2062 | </specification> | ||
2063 | </ownedRule> | ||
2064 | <ownedParameter xmi:id="_RvommFVUEeWRIqLs5_0Tzg" name="Parameter1" direction="return"> | ||
2065 | <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> | ||
2066 | </ownedParameter> | ||
2067 | </ownedOperation> | ||
2068 | <ownedOperation xmi:id="_RvommVVUEeWRIqLs5_0Tzg" name="getApidPidBitSize" bodyCondition="_RvommlVUEeWRIqLs5_0Tzg" isQuery="true"> | ||
2069 | <ownedRule xmi:id="_RvommlVUEeWRIqLs5_0Tzg" name="getApidPidBitSize" constrainedElement="_RvommVVUEeWRIqLs5_0Tzg"> | ||
2070 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_Rvomm1VUEeWRIqLs5_0Tzg"> | ||
2071 | <language>OCL</language> | ||
2072 | <body>7</body> | ||
2073 | </specification> | ||
2074 | </ownedRule> | ||
2075 | <ownedParameter xmi:id="_RvomnFVUEeWRIqLs5_0Tzg" name="Parameter1" direction="return"> | ||
2076 | <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> | ||
2077 | </ownedParameter> | ||
2078 | </ownedOperation> | ||
2079 | <ownedOperation xmi:id="_RvomnVVUEeWRIqLs5_0Tzg" name="getApidPcatBitSize" bodyCondition="_RvomnlVUEeWRIqLs5_0Tzg" isQuery="true"> | ||
2080 | <ownedRule xmi:id="_RvomnlVUEeWRIqLs5_0Tzg" name="getApidPcatBitSize" constrainedElement="_RvomnVVUEeWRIqLs5_0Tzg"> | ||
2081 | <specification xmi:type="uml:OpaqueExpression" xmi:id="_Rvomn1VUEeWRIqLs5_0Tzg"> | ||
2082 | <language>OCL</language> | ||
2083 | <body>4</body> | ||
2084 | </specification> | ||
2085 | </ownedRule> | ||
2086 | <ownedParameter xmi:id="_RvomoFVUEeWRIqLs5_0Tzg" name="Parameter1" direction="return"> | ||
2087 | <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> | ||
2088 | </ownedParameter> | ||
2089 | </ownedOperation> | ||
2090 | </packagedElement> | ||
2091 | <packagedElement xmi:type="uml:Class" xmi:id="_RvomoVVUEeWRIqLs5_0Tzg" name="Vcid"> | ||
2092 | <ownedAttribute xmi:id="_RvomolVUEeWRIqLs5_0Tzg" name="value" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/> | ||
2093 | </packagedElement> | ||
2094 | </uml:Package> | ||