Skip to content
Normal view Permalink
ENV.graffle 4.42 MiB
Newer Older
María's avatar
first version
María committed
14001 14002 
						<string>Helvetica</string>
						<key>Size</key>
María's avatar
Diagrama ENVI actualizado  
María committed
14003 14004 14005 14006 14007 14008 14009 14010 
						<real>16</real>
					</dict>
					<key>Head</key>
					<dict>
						<key>ID</key>
						<integer>34030</integer>
						<key>Info</key>
						<integer>8</integer>
María's avatar
first version
María committed
14011 14012 
					</dict>
					<key>ID</key>
María's avatar
Diagrama ENVI actualizado  
María committed
14013 14014 14015 14016 14017 14018 
					<integer>34042</integer>
					<key>OrthogonalBarAutomatic</key>
					<true/>
					<key>OrthogonalBarPoint</key>
					<string>{648.96602495712159, 418.29205840294895}</string>
					<key>OrthogonalBarPosition</key>
María's avatar
BLDG and ENVI ex  
María committed
14019 
					<real>119.32760531920184</real>
María's avatar
Diagrama ENVI actualizado  
María committed
14020 
					<key>Points</key>
María's avatar
first version
María committed
14021 
					<array>
María's avatar
BLDG and ENVI ex  
María committed
14022 
						<string>{689.34897705511185, 304.65027943471239}</string>
María's avatar
add isContainedIn  
María committed
14023 
						<string>{432.89376641670822, 271.17553841725083}</string>
María's avatar
first version
María committed
14024 14025 14026 14027 14028 14029 14030 14031 
					</array>
					<key>Style</key>
					<dict>
						<key>stroke</key>
						<dict>
							<key>Color</key>
							<dict>
								<key>b</key>
María's avatar
Diagrama ENVI actualizado  
María committed
14032 
								<string>0.379874</string>
María's avatar
first version
María committed
14033 
								<key>g</key>
María's avatar
Diagrama ENVI actualizado  
María committed
14034 
								<string>0.379874</string>
María's avatar
first version
María committed
14035 
								<key>r</key>
María's avatar
Diagrama ENVI actualizado  
María committed
14036 
								<string>0.379874</string>
María's avatar
first version
María committed
14037 
							</dict>
María's avatar
Diagrama ENVI actualizado  
María committed
14038 14039 14040 14041 14042 14043 14044 14045 14046 14047 
							<key>HeadArrow</key>
							<string>SharpArrow</string>
							<key>HopLines</key>
							<true/>
							<key>HopType</key>
							<integer>1</integer>
							<key>Legacy</key>
							<true/>
							<key>LineType</key>
							<integer>2</integer>
María's avatar
first version
María committed
14048 14049 
							<key>Pattern</key>
							<integer>1</integer>
María's avatar
Diagrama ENVI actualizado  
María committed
14050 14051 
							<key>TailArrow</key>
							<string>0</string>
María's avatar
first version
María committed
14052 14053 
						</dict>
					</dict>
María's avatar
Diagrama ENVI actualizado  
María committed
14054 
					<key>Tail</key>
María's avatar
first version
María committed
14055 
					<dict>
María's avatar
Diagrama ENVI actualizado  
María committed
14056 14057 14058 14059 
						<key>ID</key>
						<integer>34015</integer>
						<key>Info</key>
						<integer>18</integer>
María's avatar
first version
María committed
14060 14061 14062 14063 
					</dict>
				</dict>
				<dict>
					<key>Bounds</key>
María's avatar
BLDG and ENVI ex  
María committed
14064 
					<string>{{735.02445355300438, 397.98956015345806}, {113, 14.40000057220459}}</string>
María's avatar
first version
María committed
14065 14066 14067 14068 14069 14070 14071 14072 14073 14074 14075 14076 14077 14078 14079 14080 14081 14082 14083 14084 14085 
					<key>Class</key>
					<string>ShapedGraphic</string>
					<key>FontInfo</key>
					<dict>
						<key>Color</key>
						<dict>
							<key>b</key>
							<string>0.237525</string>
							<key>g</key>
							<string>0.237525</string>
							<key>r</key>
							<string>0.237525</string>
						</dict>
						<key>Font</key>
						<string>Helvetica</string>
						<key>NSKern</key>
						<real>0.0</real>
						<key>Size</key>
						<real>13</real>
					</dict>
					<key>ID</key>
María's avatar
Diagrama ENVI actualizado  
María committed
14086 14087 14088 14089 14090 14091 
					<integer>34039</integer>
					<key>Line</key>
					<dict>
						<key>ID</key>
						<integer>34038</integer>
						<key>Position</key>
María's avatar
examples code and diagrams  
María committed
14092 
						<real>0.65840750932693481</real>
María's avatar
Diagrama ENVI actualizado  
María committed
14093 14094 14095 
						<key>RotationType</key>
						<integer>0</integer>
					</dict>
María's avatar
first version
María committed
14096 14097 
					<key>Magnets</key>
					<array>
María's avatar
Diagrama ENVI actualizado  
María committed
14098 14099 14100 14101 14102 
						<string>{-0.7396002417658698, -1.1094003915786703}</string>
						<string>{-0.42163697454145854, -1.2649110555648759}</string>
						<string>{1.9868215517249155e-08, -1.3333333730697585}</string>
						<string>{0.42163710648196329, -1.2649110555648759}</string>
						<string>{0.73960031615696309, -1.1094003915786703}</string>
María's avatar
first version
María committed
14103 14104 14105 14106 14107 14108 14109 14110 14111 
						<string>{1.1094003915786743, -0.73960025003154684}</string>
						<string>{1.2649110555648804, -0.4216368426009538}</string>
						<string>{1.3333333730697632, 1.5894572413799324e-07}</string>
						<string>{1.2649110555648804, 0.42163714417925036}</string>
						<string>{1.1094003915786743, 0.73960034921967122}</string>
						<string>{0.73960021696883871, 1.1094003915786743}</string>
						<string>{0.42163699339010208, 1.2649110555648804}</string>
						<string>{0, 1.3333333730697632}</string>
						<string>{-0.42163733062650977, 1.2649109363555908}</string>
María's avatar
Diagrama ENVI actualizado  
María committed
14112 14113 14114 14115 14116 14117 
						<string>{-0.73960021696883871, 1.1094003915786743}</string>
						<string>{-1.1094003915786743, 0.73960034921967122}</string>
						<string>{-1.2649110555648804, 0.42163676720637966}</string>
						<string>{-1.3333333730697632, -6.3578289655197295e-07}</string>
						<string>{-1.2649109363555908, -0.4216371798373757}</string>
						<string>{-1.1094005107879639, -0.73960016419084695}</string>
María's avatar
first version
María committed
14118 14119 14120 14121 14122 14123 14124 14125 14126 14127 14128 14129 14130 14131 14132 
					</array>
					<key>Shape</key>
					<string>Rectangle</string>
					<key>Style</key>
					<dict>
						<key>shadow</key>
						<dict>
							<key>Draws</key>
							<string>NO</string>
						</dict>
						<key>stroke</key>
						<dict>
							<key>Color</key>
							<dict>
								<key>b</key>
María's avatar
Diagrama ENVI actualizado  
María committed
14133 
								<string>0.419256</string>
María's avatar
first version
María committed
14134 
								<key>g</key>
María's avatar
Diagrama ENVI actualizado  
María committed
14135 
								<string>0.204877</string>
María's avatar
first version
María committed
14136 
								<key>r</key>
María's avatar
Diagrama ENVI actualizado  
María committed
14137 
								<string>0.468562</string>
María's avatar
first version
María committed
14138 14139 14140 
							</dict>
							<key>CornerRadius</key>
							<real>1</real>
María's avatar
Diagrama ENVI actualizado  
María committed
14141 14142 14143 14144 
							<key>Draws</key>
							<string>NO</string>
							<key>Width</key>
							<real>2</real>
María's avatar
first version
María committed
14145 14146 14147 14148 14149 14150 14151 14152 14153 14154 
						</dict>
					</dict>
					<key>Text</key>
					<dict>
						<key>Pad</key>
						<integer>3</integer>
						<key>Text</key>
						<string>{\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf470
{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
{\colortbl;\red255\green255\blue255;\red27\green27\blue27;}
María's avatar
Diagrama ENVI actualizado  
María committed
14155 14156 14157 
\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc

\f0\fs26 \cf2 isConnectedTo (S)}</string>
María's avatar
first version
María committed
14158 14159 14160 14161 
					</dict>
					<key>VFlip</key>
					<string>YES</string>
				</dict>
María's avatar
Diagrama ENVI actualizado  
María committed
14162 14163 14164 14165 14166 14167 14168 14169 14170 14171 14172 14173 14174 14175 14176 14177 14178 14179 14180 14181 14182 14183 14184 14185 14186 14187 14188 14189 14190 14191 14192 14193 
				<dict>
					<key>Class</key>
					<string>LineGraphic</string>
					<key>FontInfo</key>
					<dict>
						<key>Color</key>
						<dict>
							<key>w</key>
							<string>0</string>
						</dict>
						<key>Font</key>
						<string>Helvetica</string>
						<key>Size</key>
						<real>16</real>
					</dict>
					<key>Head</key>
					<dict>
						<key>ID</key>
						<integer>34015</integer>
						<key>Info</key>
						<integer>2</integer>
					</dict>
					<key>ID</key>
					<integer>34038</integer>
					<key>OrthogonalBarAutomatic</key>
					<true/>
					<key>OrthogonalBarPoint</key>
					<string>{648.96602495712159, 418.29205840294895}</string>
					<key>OrthogonalBarPosition</key>
					<real>-1</real>
					<key>Points</key>
					<array>
María's avatar
BLDG and ENVI ex  
María committed
14194 
						<string>{752.19139695644333, 316.65656668357531}</string>
María's avatar
add isContainedIn  
María committed
14195 14196 
						<string>{870.2789522069188, 378.30494505494499}</string>
						<string>{881.58358395345749, 405.18956043956035}</string>
María's avatar
BLDG and ENVI ex  
María committed
14197 
						<string>{720.77018700577764, 316.15656668357531}</string>
María's avatar
Diagrama ENVI actualizado  
María committed
14198 14199 14200 14201 14202 14203 14204 14205 14206 14207 14208 14209 14210 14211 14212 14213 14214 14215 14216 14217 14218 14219 14220 14221 14222 14223 14224 14225 14226 14227 14228 14229 14230 14231 14232 14233 
					</array>
					<key>Style</key>
					<dict>
						<key>stroke</key>
						<dict>
							<key>Color</key>
							<dict>
								<key>b</key>
								<string>0.379874</string>
								<key>g</key>
								<string>0.379874</string>
								<key>r</key>
								<string>0.379874</string>
							</dict>
							<key>HeadArrow</key>
							<string>SharpArrow</string>
							<key>HopLines</key>
							<true/>
							<key>HopType</key>
							<integer>1</integer>
							<key>Legacy</key>
							<true/>
							<key>LineType</key>
							<integer>2</integer>
							<key>Pattern</key>
							<integer>1</integer>
							<key>TailArrow</key>
							<string>0</string>
						</dict>
					</dict>
					<key>Tail</key>
					<dict>
						<key>ID</key>
						<integer>34015</integer>
					</dict>
				</dict>
María's avatar
first version
María committed
14234 14235 
				<dict>
					<key>Bounds</key>
María's avatar
BLDG and ENVI ex  
María committed
14236 
					<string>{{450.72664421330506, 322.17987022304067}, {179.75671857363966, 14.40000057220459}}</string>
María's avatar
first version
María committed
14237 14238 14239 14240 14241 14242 14243 14244 14245 14246 14247 14248 14249 14250 14251 14252 14253 14254 14255 14256 14257 
					<key>Class</key>
					<string>ShapedGraphic</string>
					<key>FontInfo</key>
					<dict>
						<key>Color</key>
						<dict>
							<key>b</key>
							<string>0.237525</string>
							<key>g</key>
							<string>0.237525</string>
							<key>r</key>
							<string>0.237525</string>
						</dict>
						<key>Font</key>
						<string>Helvetica</string>
						<key>NSKern</key>
						<real>0.0</real>
						<key>Size</key>
						<real>13</real>
					</dict>
					<key>ID</key>
María's avatar
Diagrama ENVI actualizado  
María committed
14258 14259 14260 14261 14262 14263 14264 14265 14266 14267 
					<integer>34037</integer>
					<key>Line</key>
					<dict>
						<key>ID</key>
						<integer>34036</integer>
						<key>Position</key>
						<real>0.60886520147323608</real>
						<key>RotationType</key>
						<integer>0</integer>
					</dict>
María's avatar
first version
María committed
14268 14269 
					<key>Magnets</key>
					<array>
María's avatar
Diagrama ENVI actualizado  
María committed
14270 14271 14272 14273 14274 
						<string>{-0.7396002417658698, -1.1094003915786703}</string>
						<string>{-0.42163697454145854, -1.2649110555648759}</string>
						<string>{1.9868215517249155e-08, -1.3333333730697585}</string>
						<string>{0.42163710648196329, -1.2649110555648759}</string>
						<string>{0.73960031615696309, -1.1094003915786703}</string>
María's avatar
first version
María committed
14275 14276 14277 14278 14279 14280 14281 14282 14283 14284 
						<string>{1.1094003915786743, -0.73960025003154684}</string>
						<string>{1.2649110555648804, -0.4216368426009538}</string>
						<string>{1.3333333730697632, 1.5894572413799324e-07}</string>
						<string>{1.2649110555648804, 0.42163714417925036}</string>
						<string>{1.1094003915786743, 0.73960034921967122}</string>
						<string>{0.73960021696883871, 1.1094003915786743}</string>
						<string>{0.42163699339010208, 1.2649110555648804}</string>
						<string>{0, 1.3333333730697632}</string>
						<string>{-0.42163733062650977, 1.2649109363555908}</string>
						<string>{-0.73960021696883871, 1.1094003915786743}</string>
María's avatar
Diagrama ENVI actualizado  
María committed
14285 14286 14287 14288 14289 
						<string>{-1.1094003915786743, 0.73960034921967122}</string>
						<string>{-1.2649110555648804, 0.42163676720637966}</string>
						<string>{-1.3333333730697632, -6.3578289655197295e-07}</string>
						<string>{-1.2649109363555908, -0.4216371798373757}</string>
						<string>{-1.1094005107879639, -0.73960016419084695}</string>
María's avatar
first version
María committed
14290 14291 14292 14293 14294 14295 14296 14297 14298 14299 14300 14301 14302 14303 14304 
					</array>
					<key>Shape</key>
					<string>Rectangle</string>
					<key>Style</key>
					<dict>
						<key>shadow</key>
						<dict>
							<key>Draws</key>
							<string>NO</string>
						</dict>
						<key>stroke</key>
						<dict>
							<key>Color</key>
							<dict>
								<key>b</key>
María's avatar
Diagrama ENVI actualizado  
María committed
14305 
								<string>0.419256</string>
María's avatar
first version
María committed
14306 
								<key>g</key>
María's avatar
Diagrama ENVI actualizado  
María committed
14307 
								<string>0.204877</string>
María's avatar
first version
María committed
14308 
								<key>r</key>
María's avatar
Diagrama ENVI actualizado  
María committed
14309 
								<string>0.468562</string>
María's avatar
first version
María committed
14310 14311 14312 
							</dict>
							<key>CornerRadius</key>
							<real>1</real>
María's avatar
Diagrama ENVI actualizado  
María committed
14313 14314 14315 14316 
							<key>Draws</key>
							<string>NO</string>
							<key>Width</key>
							<real>2</real>
María's avatar
first version
María committed
14317 14318 14319 14320 14321 14322 14323 14324 14325 14326 
						</dict>
					</dict>
					<key>Text</key>
					<dict>
						<key>Pad</key>
						<integer>3</integer>
						<key>Text</key>
						<string>{\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf470
{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
{\colortbl;\red255\green255\blue255;\red27\green27\blue27;}
María's avatar
Diagrama ENVI actualizado  
María committed
14327 14328 14329 
\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc

\f0\fs26 \cf2 usesCommunicationInterface}</string>
María's avatar
first version
María committed
14330 14331 14332 14333 14334 14335 
					</dict>
					<key>VFlip</key>
					<string>YES</string>
				</dict>
				<dict>
					<key>Class</key>
María's avatar
Diagrama ENVI actualizado  
María committed
14336 
					<string>LineGraphic</string>
María's avatar
first version
María committed
14337 14338 14339 14340 
					<key>FontInfo</key>
					<dict>
						<key>Color</key>
						<dict>
María's avatar
Diagrama ENVI actualizado  
María committed
14341 14342 
							<key>w</key>
							<string>0</string>
María's avatar
first version
María committed
14343 14344 14345 14346 
						</dict>
						<key>Font</key>
						<string>Helvetica</string>
						<key>Size</key>
María's avatar
Diagrama ENVI actualizado  
María committed
14347 14348 14349 14350 14351 14352 14353 14354 
						<real>16</real>
					</dict>
					<key>Head</key>
					<dict>
						<key>ID</key>
						<integer>34031</integer>
						<key>Info</key>
						<integer>8</integer>
María's avatar
first version
María committed
14355 14356 
					</dict>
					<key>ID</key>
María's avatar
Diagrama ENVI actualizado  
María committed
14357 14358 14359 14360 14361 14362 14363 14364 14365 
					<integer>34036</integer>
					<key>OrthogonalBarAutomatic</key>
					<false/>
					<key>OrthogonalBarPoint</key>
					<string>{648.96602495712159, 418.29205840294895}</string>
					<key>OrthogonalBarPosition</key>
					<real>14.501553535461426</real>
					<key>Points</key>
					<array>
María's avatar
BLDG and ENVI ex  
María committed
14366 
						<string>{689.34897705511185, 312.32113089473694}</string>
María's avatar
add isContainedIn  
María committed
14367 
						<string>{434.09340459565186, 329.37987050914296}</string>
María's avatar
Diagrama ENVI actualizado  
María committed
14368 14369 14370 14371 14372 14373 14374 14375 14376 14377 14378 14379 14380 14381 14382 14383 14384 14385 14386 14387 14388 14389 14390 14391 14392 14393 14394 14395 14396 14397 14398 14399 14400 14401 14402 14403 14404 14405 14406 14407 
					</array>
					<key>Style</key>
					<dict>
						<key>stroke</key>
						<dict>
							<key>Color</key>
							<dict>
								<key>b</key>
								<string>0.379874</string>
								<key>g</key>
								<string>0.379874</string>
								<key>r</key>
								<string>0.379874</string>
							</dict>
							<key>HeadArrow</key>
							<string>SharpArrow</string>
							<key>HopLines</key>
							<true/>
							<key>HopType</key>
							<integer>1</integer>
							<key>Legacy</key>
							<true/>
							<key>LineType</key>
							<integer>2</integer>
							<key>Pattern</key>
							<integer>1</integer>
							<key>TailArrow</key>
							<string>0</string>
						</dict>
					</dict>
					<key>Tail</key>
					<dict>
						<key>ID</key>
						<integer>34015</integer>
						<key>Info</key>
						<integer>20</integer>
					</dict>
				</dict>
				<dict>
					<key>Bounds</key>
María's avatar
add isContainedIn  
María committed
14408 
					<string>{{641.71581240191017, 518.75400532025958}, {190.89885000915876, 52.657106042599878}}</string>
María's avatar
Diagrama ENVI actualizado  
María committed
14409 14410 14411 14412 14413 14414 14415 14416 14417 14418 14419 14420 14421 14422 14423 14424 14425 14426 14427 14428 14429 14430 14431 14432 14433 14434 14435 14436 14437 14438 14439 14440 14441 14442 14443 14444 14445 14446 14447 14448 14449 14450 14451 14452 14453 14454 14455 14456 14457 14458 14459 14460 14461 14462 14463 14464 14465 14466 14467 14468 14469 14470 14471 14472 14473 14474 14475 14476 14477 14478 14479 14480 14481 14482 14483 14484 14485 14486 14487 14488 14489 14490 14491 14492 14493 14494 
					<key>Class</key>
					<string>ShapedGraphic</string>
					<key>FontInfo</key>
					<dict>
						<key>Color</key>
						<dict>
							<key>b</key>
							<string>0.237525</string>
							<key>g</key>
							<string>0.237525</string>
							<key>r</key>
							<string>0.237525</string>
						</dict>
						<key>Font</key>
						<string>Helvetica</string>
						<key>NSKern</key>
						<real>0.0</real>
						<key>Size</key>
						<real>13</real>
					</dict>
					<key>ID</key>
					<integer>34033</integer>
					<key>Magnets</key>
					<array>
						<string>{-0.7396002417658698, -1.1094003915786743}</string>
						<string>{-0.42163697454145854, -1.2649110555648804}</string>
						<string>{1.9868215517249155e-08, -1.3333333730697632}</string>
						<string>{0.42163710648196329, -1.2649110555648804}</string>
						<string>{0.73960031615696309, -1.1094003915786743}</string>
						<string>{1.1094003915786743, -0.73960025003154684}</string>
						<string>{1.2649110555648804, -0.4216368426009538}</string>
						<string>{1.3333333730697632, 1.5894572413799324e-07}</string>
						<string>{1.2649110555648804, 0.42163714417925036}</string>
						<string>{1.1094003915786743, 0.73960034921967122}</string>
						<string>{0.73960021696883871, 1.1094003915786743}</string>
						<string>{0.42163699339010208, 1.2649110555648804}</string>
						<string>{0, 1.3333333730697632}</string>
						<string>{-0.42163733062650977, 1.2649109363555908}</string>
						<string>{-0.73960021696883871, 1.1094003915786743}</string>
						<string>{-1.1094003915786739, 0.73960034921967122}</string>
						<string>{-1.2649110555648797, 0.42163676720637966}</string>
						<string>{-1.3333333730697625, -6.3578289655197295e-07}</string>
						<string>{-1.2649109363555902, -0.4216371798373757}</string>
						<string>{-1.1094005107879634, -0.73960016419084695}</string>
					</array>
					<key>Shape</key>
					<string>Rectangle</string>
					<key>Style</key>
					<dict>
						<key>shadow</key>
						<dict>
							<key>Draws</key>
							<string>NO</string>
						</dict>
						<key>stroke</key>
						<dict>
							<key>Color</key>
							<dict>
								<key>b</key>
								<string>0.10311</string>
								<key>g</key>
								<string>0.10311</string>
								<key>r</key>
								<string>0.10311</string>
							</dict>
							<key>CornerRadius</key>
							<real>1</real>
							<key>Pattern</key>
							<integer>1</integer>
						</dict>
					</dict>
					<key>Text</key>
					<dict>
						<key>Align</key>
						<integer>0</integer>
						<key>Pad</key>
						<integer>3</integer>
						<key>Text</key>
						<string>{\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf470
{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
{\colortbl;\red255\green255\blue255;\red27\green27\blue27;}
{\*\listtable{\list\listtemplateid1\listhybrid{\listlevel\levelnfc23\levelnfcn23\leveljc0\leveljcn0\levelfollow0\levelstartat1\levelspace360\levelindent0{\*\levelmarker \{disc\}}{\leveltext\leveltemplateid1\'01\uc0\u8226 ;}{\levelnumbers;}\fi-360\li720\lin720 }{\listname ;}\listid1}}
{\*\listoverridetable{\listoverride\listid1\listoverridecount0\ls1}}
\pard\tx60\tx300\tx940\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\li20\fi-20\pardirnatural
\ls1\ilvl0
\f0\fs24 \cf2 \expnd0\expndtw0\kerning0
María's avatar
Axioms in bldg  
María committed
14495 14496 14497 
saref:hasManufacturer\
(0..1) hasVersion:: string (F)\
(0..1) hasRevisionNumber:: string}</string>
María's avatar
Diagrama ENVI actualizado  
María committed
14498 14499 14500 14501 14502 14503 
					</dict>
					<key>VFlip</key>
					<string>YES</string>
				</dict>
				<dict>
					<key>Bounds</key>
María's avatar
add isContainedIn  
María committed
14504 
					<string>{{284.52259626452189, 317.87357228701512}, {149.57080833112994, 23.012603759765625}}</string>
María's avatar
Diagrama ENVI actualizado  
María committed
14505 14506 14507 14508 14509 14510 14511 14512 14513 14514 14515 14516 14517 14518 14519 14520 14521 14522 14523 14524 14525 14526 14527 14528 14529 14530 14531 14532 14533 14534 14535 14536 14537 14538 14539 14540 14541 14542 14543 14544 14545 14546 14547 14548 14549 14550 14551 14552 14553 14554 14555 14556 14557 14558 14559 14560 14561 14562 14563 14564 14565 14566 14567 14568 14569 14570 14571 14572 14573 14574 14575 14576 14577 14578 14579 14580 14581 14582 14583 14584 14585 14586 14587 14588 14589 14590 14591 14592 14593 14594 14595 14596 14597 14598 14599 14600 14601 14602 14603 14604 14605 
					<key>Class</key>
					<string>ShapedGraphic</string>
					<key>FontInfo</key>
					<dict>
						<key>Color</key>
						<dict>
							<key>b</key>
							<string>0.237525</string>
							<key>g</key>
							<string>0.237525</string>
							<key>r</key>
							<string>0.237525</string>
						</dict>
						<key>Font</key>
						<string>Helvetica</string>
						<key>NSKern</key>
						<real>0.0</real>
						<key>Size</key>
						<real>13</real>
					</dict>
					<key>ID</key>
					<integer>34031</integer>
					<key>Magnets</key>
					<array>
						<string>{-0.73960024176586936, -1.1094003915786743}</string>
						<string>{-0.42163697454145854, -1.2649110555648804}</string>
						<string>{1.9868215517249155e-08, -1.3333333730697632}</string>
						<string>{0.42163710648196329, -1.2649110555648804}</string>
						<string>{0.73960031615696309, -1.1094003915786743}</string>
						<string>{1.1094003915786743, -0.73960025003154684}</string>
						<string>{1.2649110555648804, -0.4216368426009538}</string>
						<string>{1.3333333730697632, 1.5894572413799324e-07}</string>
						<string>{1.2649110555648804, 0.42163714417925036}</string>
						<string>{1.1094003915786743, 0.73960034921967122}</string>
						<string>{0.73960021696883871, 1.1094003915786743}</string>
						<string>{0.42163699339010208, 1.2649110555648804}</string>
						<string>{0, 1.3333333730697632}</string>
						<string>{-0.42163733062650977, 1.2649109363555908}</string>
						<string>{-0.73960021696883826, 1.1094003915786743}</string>
						<string>{-1.1094003915786739, 0.73960034921967122}</string>
						<string>{-1.2649110555648797, 0.42163676720637966}</string>
						<string>{-1.3333333730697625, -6.3578289655197295e-07}</string>
						<string>{-1.2649109363555902, -0.4216371798373757}</string>
						<string>{-1.1094005107879634, -0.73960016419084695}</string>
					</array>
					<key>Shape</key>
					<string>Rectangle</string>
					<key>Style</key>
					<dict>
						<key>fill</key>
						<dict>
							<key>Color</key>
							<dict>
								<key>b</key>
								<string>0.895596</string>
								<key>g</key>
								<string>0.895596</string>
								<key>r</key>
								<string>0.895596</string>
							</dict>
						</dict>
						<key>shadow</key>
						<dict>
							<key>Draws</key>
							<string>NO</string>
						</dict>
						<key>stroke</key>
						<dict>
							<key>Color</key>
							<dict>
								<key>b</key>
								<string>0.237525</string>
								<key>g</key>
								<string>0.237525</string>
								<key>r</key>
								<string>0.237525</string>
							</dict>
							<key>CornerRadius</key>
							<real>1</real>
						</dict>
					</dict>
					<key>Text</key>
					<dict>
						<key>Pad</key>
						<integer>3</integer>
						<key>Text</key>
						<string>{\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf470
{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
{\colortbl;\red255\green255\blue255;\red27\green27\blue27;}
{\*\listtable{\list\listtemplateid1\listhybrid{\listlevel\levelnfc23\levelnfcn23\leveljc0\leveljcn0\levelfollow0\levelstartat1\levelspace360\levelindent0{\*\levelmarker \{disc\}}{\leveltext\leveltemplateid1\'01\uc0\u8226 ;}{\levelnumbers;}\fi-360\li720\lin720 }{\listname ;}\listid1}}
{\*\listoverridetable{\listoverride\listid1\listoverridecount0\ls1}}
\pard\tx60\tx300\tx940\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\li20\fi-20\pardirnatural\qc
\ls1\ilvl0
\f0\fs24 \cf2 \expnd0\expndtw0\kerning0
CommunicationInterface}</string>
					</dict>
					<key>VFlip</key>
					<string>YES</string>
				</dict>
				<dict>
					<key>Bounds</key>
María's avatar
add isContainedIn  
María committed
14606 
					<string>{{284.52259626452189, 340.88617604678086}, {149.57080833112994, 18.143210456828712}}</string>
María's avatar
Diagrama ENVI actualizado  
María committed
14607 14608 14609 14610 14611 14612 14613 14614 14615 14616 14617 14618 14619 14620 14621 14622 14623 14624 14625 14626 14627 14628 14629 14630 14631 14632 14633 14634 14635 14636 14637 14638 14639 14640 14641 14642 14643 14644 14645 14646 14647 14648 14649 14650 14651 14652 14653 14654 14655 14656 14657 14658 14659 14660 14661 14662 14663 14664 14665 14666 14667 14668 14669 14670 14671 14672 14673 14674 14675 14676 14677 14678 14679 14680 14681 14682 14683 14684 14685 14686 14687 14688 14689 14690 14691 14692 
					<key>Class</key>
					<string>ShapedGraphic</string>
					<key>FontInfo</key>
					<dict>
						<key>Color</key>
						<dict>
							<key>b</key>
							<string>0.237525</string>
							<key>g</key>
							<string>0.237525</string>
							<key>r</key>
							<string>0.237525</string>
						</dict>
						<key>Font</key>
						<string>Helvetica</string>
						<key>NSKern</key>
						<real>0.0</real>
						<key>Size</key>
						<real>13</real>
					</dict>
					<key>ID</key>
					<integer>34032</integer>
					<key>Magnets</key>
					<array>
						<string>{-0.7396002417658698, -1.1094003915786743}</string>
						<string>{-0.42163697454145854, -1.2649110555648804}</string>
						<string>{1.9868215517249155e-08, -1.3333333730697632}</string>
						<string>{0.42163710648196329, -1.2649110555648804}</string>
						<string>{0.73960031615696309, -1.1094003915786743}</string>
						<string>{1.1094003915786743, -0.73960025003154684}</string>
						<string>{1.2649110555648804, -0.4216368426009538}</string>
						<string>{1.3333333730697632, 1.5894572413799324e-07}</string>
						<string>{1.2649110555648804, 0.42163714417925036}</string>
						<string>{1.1094003915786743, 0.73960034921967122}</string>
						<string>{0.73960021696883871, 1.1094003915786743}</string>
						<string>{0.42163699339010208, 1.2649110555648804}</string>
						<string>{0, 1.3333333730697632}</string>
						<string>{-0.42163733062650977, 1.2649109363555908}</string>
						<string>{-0.73960021696883871, 1.1094003915786743}</string>
						<string>{-1.1094003915786739, 0.73960034921967122}</string>
						<string>{-1.2649110555648797, 0.42163676720637966}</string>
						<string>{-1.3333333730697625, -6.3578289655197295e-07}</string>
						<string>{-1.2649109363555902, -0.4216371798373757}</string>
						<string>{-1.1094005107879634, -0.73960016419084695}</string>
					</array>
					<key>Shape</key>
					<string>Rectangle</string>
					<key>Style</key>
					<dict>
						<key>shadow</key>
						<dict>
							<key>Draws</key>
							<string>NO</string>
						</dict>
						<key>stroke</key>
						<dict>
							<key>Color</key>
							<dict>
								<key>b</key>
								<string>0.10311</string>
								<key>g</key>
								<string>0.10311</string>
								<key>r</key>
								<string>0.10311</string>
							</dict>
							<key>CornerRadius</key>
							<real>1</real>
							<key>Pattern</key>
							<integer>1</integer>
						</dict>
					</dict>
					<key>Text</key>
					<dict>
						<key>Align</key>
						<integer>0</integer>
						<key>Pad</key>
						<integer>3</integer>
						<key>Text</key>
						<string>{\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf470
{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
{\colortbl;\red255\green255\blue255;\red27\green27\blue27;}
{\*\listtable{\list\listtemplateid1\listhybrid{\listlevel\levelnfc23\levelnfcn23\leveljc0\leveljcn0\levelfollow0\levelstartat1\levelspace360\levelindent0{\*\levelmarker \{disc\}}{\leveltext\leveltemplateid1\'01\uc0\u8226 ;}{\levelnumbers;}\fi-360\li720\lin720 }{\listname ;}\listid1}}
{\*\listoverridetable{\listoverride\listid1\listoverridecount0\ls1}}
\pard\tx60\tx300\tx940\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\li20\fi-20\pardirnatural
\ls1\ilvl0
\f0\fs24 \cf2 \expnd0\expndtw0\kerning0
María's avatar
Axioms in bldg  
María committed
14693 
(0..1) hasVersion:: string}</string>
María's avatar
Diagrama ENVI actualizado  
María committed
14694 14695 14696 14697 14698 14699 
					</dict>
					<key>VFlip</key>
					<string>YES</string>
				</dict>
				<dict>
					<key>Bounds</key>
María's avatar
add isContainedIn  
María committed
14700 
					<string>{{284.52259626452189, 259.669240195123}, {148.37117015218635, 23.012603759765625}}</string>
María's avatar
Diagrama ENVI actualizado  
María committed
14701 14702 14703 14704 14705 14706 14707 14708 14709 14710 14711 14712 14713 14714 14715 14716 14717 14718 14719 14720 14721 14722 
					<key>Class</key>
					<string>ShapedGraphic</string>
					<key>FontInfo</key>
					<dict>
						<key>Color</key>
						<dict>
							<key>b</key>
							<string>0.237525</string>
							<key>g</key>
							<string>0.237525</string>
							<key>r</key>
							<string>0.237525</string>
						</dict>
						<key>Font</key>
						<string>Helvetica</string>
						<key>NSKern</key>
						<real>0.0</real>
						<key>Size</key>
						<real>13</real>
					</dict>
					<key>ID</key>
					<integer>34030</integer>
María's avatar
first version
María committed
14723 14724 14725 14726 14727 14728 14729 14730 14731 14732 14733 14734 14735 14736 14737 14738 14739 14740 14741 14742 14743 14744 14745 14746 14747 14748 14749 14750 14751 14752 14753 14754 14755 14756 14757 14758 14759 14760 14761 14762 14763 14764 14765 14766 14767 14768 14769 14770 14771 14772 14773 14774 14775 14776 14777 14778 14779 14780 14781 14782 14783 14784 14785 14786 14787 14788 14789 14790 14791 14792 14793 14794 14795 14796 14797 14798 14799 14800 14801 14802 14803 14804 14805 14806 14807 14808 14809 14810 14811 14812 14813 14814 14815 14816 14817 14818 14819 14820 14821 14822 14823 14824 14825 14826 14827 14828 
					<key>Magnets</key>
					<array>
						<string>{-0.73960024176586936, -1.1094003915786743}</string>
						<string>{-0.42163697454145854, -1.2649110555648804}</string>
						<string>{1.9868215517249155e-08, -1.3333333730697632}</string>
						<string>{0.42163710648196329, -1.2649110555648804}</string>
						<string>{0.73960031615696309, -1.1094003915786743}</string>
						<string>{1.1094003915786743, -0.73960025003154684}</string>
						<string>{1.2649110555648804, -0.4216368426009538}</string>
						<string>{1.3333333730697632, 1.5894572413799324e-07}</string>
						<string>{1.2649110555648804, 0.42163714417925036}</string>
						<string>{1.1094003915786743, 0.73960034921967122}</string>
						<string>{0.73960021696883871, 1.1094003915786743}</string>
						<string>{0.42163699339010208, 1.2649110555648804}</string>
						<string>{0, 1.3333333730697632}</string>
						<string>{-0.42163733062650977, 1.2649109363555908}</string>
						<string>{-0.73960021696883826, 1.1094003915786743}</string>
						<string>{-1.1094003915786739, 0.73960034921967122}</string>
						<string>{-1.2649110555648797, 0.42163676720637966}</string>
						<string>{-1.3333333730697625, -6.3578289655197295e-07}</string>
						<string>{-1.2649109363555902, -0.4216371798373757}</string>
						<string>{-1.1094005107879634, -0.73960016419084695}</string>
					</array>
					<key>Shape</key>
					<string>Rectangle</string>
					<key>Style</key>
					<dict>
						<key>fill</key>
						<dict>
							<key>Color</key>
							<dict>
								<key>b</key>
								<string>0.895596</string>
								<key>g</key>
								<string>0.895596</string>
								<key>r</key>
								<string>0.895596</string>
							</dict>
						</dict>
						<key>shadow</key>
						<dict>
							<key>Draws</key>
							<string>NO</string>
						</dict>
						<key>stroke</key>
						<dict>
							<key>Color</key>
							<dict>
								<key>b</key>
								<string>0.237525</string>
								<key>g</key>
								<string>0.237525</string>
								<key>r</key>
								<string>0.237525</string>
							</dict>
							<key>CornerRadius</key>
							<real>1</real>
						</dict>
					</dict>
					<key>Text</key>
					<dict>
						<key>Pad</key>
						<integer>3</integer>
						<key>Text</key>
						<string>{\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf470
{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
{\colortbl;\red255\green255\blue255;\red27\green27\blue27;}
{\*\listtable{\list\listtemplateid1\listhybrid{\listlevel\levelnfc23\levelnfcn23\leveljc0\leveljcn0\levelfollow0\levelstartat1\levelspace360\levelindent0{\*\levelmarker \{disc\}}{\leveltext\leveltemplateid1\'01\uc0\u8226 ;}{\levelnumbers;}\fi-360\li720\lin720 }{\listname ;}\listid1}}
{\*\listoverridetable{\listoverride\listid1\listoverridecount0\ls1}}
\pard\tx60\tx300\tx940\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\li20\fi-20\pardirnatural\qc
\ls1\ilvl0
\f0\fs24 \cf2 \expnd0\expndtw0\kerning0
CommunicationProtocol}</string>
					</dict>
					<key>VFlip</key>
					<string>YES</string>
				</dict>
				<dict>
					<key>Class</key>
					<string>LineGraphic</string>
					<key>FontInfo</key>
					<dict>
						<key>Color</key>
						<dict>
							<key>w</key>
							<string>0</string>
						</dict>
						<key>Font</key>
						<string>Helvetica</string>
						<key>Size</key>
						<real>16</real>
					</dict>
					<key>Head</key>
					<dict>
						<key>ID</key>
						<integer>34163</integer>
						<key>Info</key>
						<integer>3</integer>
					</dict>
					<key>ID</key>
					<integer>34029</integer>
					<key>OrthogonalBarAutomatic</key>
					<false/>
					<key>OrthogonalBarPoint</key>
					<string>{0, 0}</string>
					<key>OrthogonalBarPosition</key>
María's avatar
prefix y PO axiom  
María committed
14829 
					<real>51.807758331298828</real>
María's avatar
first version
María committed
14830 14831 
					<key>Points</key>
					<array>
María's avatar
add isContainedIn  
María committed
14832 14833 
						<string>{853.14358458914103, 620.50573444372355}</string>
						<string>{891.24369927704072, 510.03120885224183}</string>
María's avatar
first version
María committed
14834 14835 14836 14837 14838 14839 14840 14841 14842 14843 14844 14845 14846 14847 14848 14849 14850 14851 14852 14853 14854 14855 14856 14857 14858 14859 14860 14861 14862 14863 14864 14865 14866 14867 14868 14869 14870 14871 14872 14873 14874 14875 14876 14877 14878 14879 14880 14881 14882 14883 14884 14885 14886 14887 14888 14889 14890 14891 14892 14893 14894 14895 14896 14897 14898 14899 14900 14901 
					</array>
					<key>Style</key>
					<dict>
						<key>stroke</key>
						<dict>
							<key>Color</key>
							<dict>
								<key>b</key>
								<string>0.379874</string>
								<key>g</key>
								<string>0.379874</string>
								<key>r</key>
								<string>0.379874</string>
							</dict>
							<key>HeadArrow</key>
							<string>UMLInheritance</string>
							<key>HopLines</key>
							<true/>
							<key>HopType</key>
							<integer>1</integer>
							<key>Join</key>
							<integer>0</integer>
							<key>Legacy</key>
							<true/>
							<key>LineType</key>
							<integer>2</integer>
							<key>TailArrow</key>
							<string>0</string>
						</dict>
					</dict>
					<key>Tail</key>
					<dict>
						<key>ID</key>
						<integer>34023</integer>
					</dict>
				</dict>
				<dict>
					<key>Class</key>
					<string>LineGraphic</string>
					<key>FontInfo</key>
					<dict>
						<key>Color</key>
						<dict>
							<key>w</key>
							<string>0</string>
						</dict>
						<key>Font</key>
						<string>Helvetica</string>
						<key>Size</key>
						<real>16</real>
					</dict>
					<key>Head</key>
					<dict>
						<key>ID</key>
						<integer>34023</integer>
						<key>Info</key>
						<integer>1</integer>
					</dict>
					<key>ID</key>
					<integer>34028</integer>
					<key>OrthogonalBarAutomatic</key>
					<false/>
					<key>OrthogonalBarPoint</key>
					<string>{0, 0}</string>
					<key>OrthogonalBarPosition</key>
					<real>0.0</real>
					<key>Points</key>
					<array>
María's avatar
add isContainedIn  
María committed
14902 14903 
						<string>{759.47062233429483, 723.50425585616415}</string>
						<string>{815.47691890470935, 644.01833820348918}</string>
María's avatar
first version
María committed
14904 14905 14906 14907 14908 14909 14910 14911 14912 14913 14914 14915 14916 14917 14918 14919 14920 14921 14922 14923 14924 14925 14926 14927 14928 14929 14930 14931 14932 14933 14934 14935 14936 14937 14938 14939 14940 14941 14942 14943 
					</array>
					<key>Style</key>
					<dict>
						<key>stroke</key>
						<dict>
							<key>Color</key>
							<dict>
								<key>b</key>
								<string>0.379874</string>
								<key>g</key>
								<string>0.379874</string>
								<key>r</key>
								<string>0.379874</string>
							</dict>
							<key>HeadArrow</key>
							<string>UMLInheritance</string>
							<key>HopLines</key>
							<true/>
							<key>HopType</key>
							<integer>1</integer>
							<key>Join</key>
							<integer>0</integer>
							<key>Legacy</key>
							<true/>
							<key>LineType</key>
							<integer>2</integer>
							<key>TailArrow</key>
							<string>0</string>
						</dict>
					</dict>
					<key>Tail</key>
					<dict>
						<key>ID</key>
						<integer>34027</integer>
						<key>Info</key>
						<integer>11</integer>
					</dict>
				</dict>
				<dict>
					<key>Bounds</key>
María's avatar
add isContainedIn  
María committed
14944 
					<string>{{687.04460271894072, 723.50425585616415}, {86.911225610549991, 23.012603759765625}}</string>
María's avatar
first version
María committed
14945 14946 14947 14948 14949 14950 14951 14952 14953 14954 14955 14956 14957 14958 14959 14960 14961 14962 14963 14964 14965 14966 14967 14968 14969 14970 14971 14972 14973 14974 14975 14976 14977 14978 14979 14980 14981 14982 14983 14984 14985 14986 14987 14988 14989 14990 14991 14992 14993 14994 14995 14996 14997 14998 14999 15000 
					<key>Class</key>
					<string>ShapedGraphic</string>
					<key>FontInfo</key>
					<dict>
						<key>Color</key>
						<dict>
							<key>b</key>
							<string>0.237525</string>
							<key>g</key>
							<string>0.237525</string>
							<key>r</key>
							<string>0.237525</string>
						</dict>
						<key>Font</key>
						<string>Helvetica</string>
						<key>NSKern</key>
						<real>0.0</real>
						<key>Size</key>
						<real>13</real>
					</dict>
					<key>ID</key>
					<integer>34027</integer>
					<key>Magnets</key>
					<array>
						<string>{-0.73960024176586936, -1.1094003915786743}</string>
						<string>{-0.42163697454145854, -1.2649110555648804}</string>
						<string>{1.9868215517249155e-08, -1.3333333730697632}</string>
						<string>{0.42163710648196329, -1.2649110555648804}</string>
						<string>{0.73960031615696309, -1.1094003915786743}</string>
						<string>{1.1094003915786743, -0.73960025003154684}</string>
						<string>{1.2649110555648804, -0.4216368426009538}</string>
						<string>{1.3333333730697632, 1.5894572413799324e-07}</string>
						<string>{1.2649110555648804, 0.42163714417925036}</string>
						<string>{1.1094003915786743, 0.73960034921967122}</string>
						<string>{0.73960021696883871, 1.1094003915786743}</string>
						<string>{0.42163699339010208, 1.2649110555648804}</string>
						<string>{0, 1.3333333730697632}</string>
						<string>{-0.42163733062650977, 1.2649109363555908}</string>
						<string>{-0.73960021696883826, 1.1094003915786743}</string>
						<string>{-1.1094003915786739, 0.73960034921967122}</string>
						<string>{-1.2649110555648797, 0.42163676720637966}</string>
						<string>{-1.3333333730697625, -6.3578289655197295e-07}</string>
						<string>{-1.2649109363555902, -0.4216371798373757}</string>
						<string>{-1.1094005107879634, -0.73960016419084695}</string>
					</array>
					<key>Shape</key>
					<string>Rectangle</string>
					<key>Style</key>
					<dict>
						<key>fill</key>
						<dict>
							<key>Color</key>
							<dict>
								<key>b</key>
								<string>0.895596</string>
								<key>g</key>
Show full blame