source: CIVL/mods/dev.civl.com/doc/graffle/civlModules.graffle@ 1aaefd4

main test-branch
Last change on this file since 1aaefd4 was aad342c, checked in by Stephen Siegel <siegel@…>, 3 years ago

Performing huge refactor to incorporate ABC, GMC, and SARL into CIVL repo and use Java modules.

git-svn-id: ​svn://vsl.cis.udel.edu/civl/trunk@5664 fb995dde-84ed-4084-dfe6-e5aef3e2452c
  • Property mode set to 100644
File size: 30.4 KB
RevLine 
[0c65483]1<?xml version="1.0" encoding="UTF-8"?>
2<!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
3<plist version="1.0">
4<dict>
5 <key>ActiveLayerIndex</key>
6 <integer>0</integer>
7 <key>ApplicationVersion</key>
8 <array>
9 <string>com.omnigroup.OmniGraffle</string>
10 <string>139.18.0.187838</string>
11 </array>
12 <key>AutoAdjust</key>
13 <true/>
14 <key>BackgroundGraphic</key>
15 <dict>
16 <key>Bounds</key>
17 <string>{{0, 0}, {576, 733}}</string>
18 <key>Class</key>
19 <string>SolidGraphic</string>
20 <key>ID</key>
21 <integer>2</integer>
22 <key>Style</key>
23 <dict>
24 <key>shadow</key>
25 <dict>
26 <key>Draws</key>
27 <string>NO</string>
28 </dict>
29 <key>stroke</key>
30 <dict>
31 <key>Draws</key>
32 <string>NO</string>
33 </dict>
34 </dict>
35 </dict>
36 <key>BaseZoom</key>
37 <integer>0</integer>
38 <key>CanvasOrigin</key>
39 <string>{0, 0}</string>
40 <key>ColumnAlign</key>
41 <integer>1</integer>
42 <key>ColumnSpacing</key>
43 <real>36</real>
44 <key>CreationDate</key>
45 <string>2013-11-12 22:44:52 +0000</string>
46 <key>Creator</key>
47 <string>Tim Zirkel</string>
48 <key>DisplayScale</key>
49 <string>1 0/72 in = 1.0000 in</string>
50 <key>GraphDocumentVersion</key>
51 <integer>8</integer>
52 <key>GraphicsList</key>
53 <array>
54 <dict>
55 <key>AllowConnections</key>
56 <string>NO</string>
57 <key>Class</key>
58 <string>LineGraphic</string>
59 <key>Head</key>
60 <dict>
61 <key>ID</key>
62 <integer>87</integer>
63 </dict>
64 <key>ID</key>
65 <integer>88</integer>
66 <key>Points</key>
67 <array>
68 <string>{144.22940432391357, 197.75573726708194}</string>
69 <string>{165.93749999279336, 204.5}</string>
70 </array>
71 <key>Style</key>
72 <dict>
73 <key>stroke</key>
74 <dict>
75 <key>Cap</key>
76 <integer>0</integer>
77 <key>Color</key>
78 <dict>
79 <key>b</key>
80 <string>0</string>
81 <key>g</key>
82 <string>0.501961</string>
83 <key>r</key>
84 <string>1</string>
85 </dict>
86 <key>HeadArrow</key>
87 <string>0</string>
88 <key>Join</key>
89 <integer>0</integer>
90 <key>Legacy</key>
91 <true/>
92 <key>TailArrow</key>
93 <string>0</string>
94 <key>Width</key>
95 <real>0.5</real>
96 </dict>
97 </dict>
98 <key>Tail</key>
99 <dict>
100 <key>ID</key>
101 <integer>12</integer>
102 </dict>
103 </dict>
104 <dict>
105 <key>Bounds</key>
106 <string>{{141, 204.5}, {140, 28}}</string>
107 <key>Class</key>
108 <string>ShapedGraphic</string>
109 <key>FitText</key>
110 <string>Vertical</string>
111 <key>Flow</key>
112 <string>Resize</string>
113 <key>ID</key>
114 <integer>87</integer>
115 <key>Shape</key>
116 <string>Rectangle</string>
117 <key>Style</key>
118 <dict>
119 <key>fill</key>
120 <dict>
121 <key>Draws</key>
122 <string>NO</string>
123 </dict>
124 <key>shadow</key>
125 <dict>
126 <key>Draws</key>
127 <string>NO</string>
128 </dict>
129 <key>stroke</key>
130 <dict>
131 <key>Draws</key>
132 <string>NO</string>
133 </dict>
134 </dict>
135 <key>Text</key>
136 <dict>
137 <key>Align</key>
138 <integer>0</integer>
139 <key>Pad</key>
140 <integer>0</integer>
141 <key>Text</key>
142 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265
143\cocoascreenfonts1{\fonttbl\f0\fnil\fcharset0 Baskerville;}
144{\colortbl;\red255\green255\blue255;}
145\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural
146
147\f0\i\fs24 \cf0 verify, run, replay, command line interface}</string>
148 <key>VerticalPad</key>
149 <integer>0</integer>
150 </dict>
151 </dict>
152 <dict>
153 <key>Bounds</key>
154 <string>{{387, 303.5}, {109, 14}}</string>
155 <key>Class</key>
156 <string>ShapedGraphic</string>
157 <key>FitText</key>
158 <string>Vertical</string>
159 <key>Flow</key>
160 <string>Resize</string>
161 <key>ID</key>
162 <integer>86</integer>
163 <key>Shape</key>
164 <string>Rectangle</string>
165 <key>Style</key>
166 <dict>
167 <key>fill</key>
168 <dict>
169 <key>Draws</key>
170 <string>NO</string>
171 </dict>
172 <key>shadow</key>
173 <dict>
174 <key>Draws</key>
175 <string>NO</string>
176 </dict>
177 <key>stroke</key>
178 <dict>
179 <key>Draws</key>
180 <string>NO</string>
181 </dict>
182 </dict>
183 <key>Text</key>
184 <dict>
185 <key>Align</key>
186 <integer>0</integer>
187 <key>Pad</key>
188 <integer>0</integer>
189 <key>Text</key>
190 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265
191\cocoascreenfonts1{\fonttbl\f0\fnil\fcharset0 Baskerville;}
192{\colortbl;\red255\green255\blue255;}
193\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural
194
195\f0\i\fs24 \cf0 state predicates, deadlock}</string>
196 <key>VerticalPad</key>
197 <integer>0</integer>
198 </dict>
199 </dict>
200 <dict>
201 <key>AllowConnections</key>
202 <string>NO</string>
203 <key>Class</key>
204 <string>LineGraphic</string>
205 <key>Head</key>
206 <dict>
207 <key>ID</key>
208 <integer>86</integer>
209 </dict>
210 <key>ID</key>
211 <integer>84</integer>
212 <key>Points</key>
213 <array>
214 <string>{412.11178268508087, 276.87595538691295}</string>
215 <string>{435.45537554716714, 303.5}</string>
216 </array>
217 <key>Style</key>
218 <dict>
219 <key>stroke</key>
220 <dict>
221 <key>Cap</key>
222 <integer>0</integer>
223 <key>Color</key>
224 <dict>
225 <key>b</key>
226 <string>0</string>
227 <key>g</key>
228 <string>0.501961</string>
229 <key>r</key>
230 <string>1</string>
231 </dict>
232 <key>HeadArrow</key>
233 <string>0</string>
234 <key>Join</key>
235 <integer>0</integer>
236 <key>Legacy</key>
237 <true/>
238 <key>TailArrow</key>
239 <string>0</string>
240 <key>Width</key>
241 <real>0.5</real>
242 </dict>
243 </dict>
244 <key>Tail</key>
245 <dict>
246 <key>ID</key>
247 <integer>6</integer>
248 </dict>
249 </dict>
250 <dict>
251 <key>AllowConnections</key>
252 <string>NO</string>
253 <key>Class</key>
254 <string>LineGraphic</string>
255 <key>Head</key>
256 <dict>
257 <key>ID</key>
258 <integer>82</integer>
259 </dict>
260 <key>ID</key>
261 <integer>83</integer>
262 <key>Points</key>
263 <array>
264 <string>{279.95639624807046, 276.75759679470838}</string>
265 <string>{298.70220813580892, 289}</string>
266 </array>
267 <key>Style</key>
268 <dict>
269 <key>stroke</key>
270 <dict>
271 <key>Cap</key>
272 <integer>0</integer>
273 <key>Color</key>
274 <dict>
275 <key>b</key>
276 <string>0</string>
277 <key>g</key>
278 <string>0.501961</string>
279 <key>r</key>
280 <string>1</string>
281 </dict>
282 <key>HeadArrow</key>
283 <string>0</string>
284 <key>Join</key>
285 <integer>0</integer>
286 <key>Legacy</key>
287 <true/>
288 <key>TailArrow</key>
289 <string>0</string>
290 <key>Width</key>
291 <real>0.5</real>
292 </dict>
293 </dict>
294 <key>Tail</key>
295 <dict>
296 <key>ID</key>
297 <integer>17</integer>
298 </dict>
299 </dict>
300 <dict>
301 <key>Bounds</key>
302 <string>{{240, 289}, {140, 14}}</string>
303 <key>Class</key>
304 <string>ShapedGraphic</string>
305 <key>FitText</key>
306 <string>Vertical</string>
307 <key>Flow</key>
308 <string>Resize</string>
309 <key>ID</key>
310 <integer>82</integer>
311 <key>Shape</key>
312 <string>Rectangle</string>
313 <key>Style</key>
314 <dict>
315 <key>fill</key>
316 <dict>
317 <key>Draws</key>
318 <string>NO</string>
319 </dict>
320 <key>shadow</key>
321 <dict>
322 <key>Draws</key>
323 <string>NO</string>
324 </dict>
325 <key>stroke</key>
326 <dict>
327 <key>Draws</key>
328 <string>NO</string>
329 </dict>
330 </dict>
331 <key>Text</key>
332 <dict>
333 <key>Align</key>
334 <integer>0</integer>
335 <key>Pad</key>
336 <integer>0</integer>
337 <key>Text</key>
338 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265
339\cocoascreenfonts1{\fonttbl\f0\fnil\fcharset0 Baskerville;}
340{\colortbl;\red255\green255\blue255;}
341\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural
342
343\f0\i\fs24 \cf0 handling of system-level functions}</string>
344 <key>VerticalPad</key>
345 <integer>0</integer>
346 </dict>
347 </dict>
348 <dict>
349 <key>Bounds</key>
350 <string>{{92, 289}, {133, 14}}</string>
351 <key>Class</key>
352 <string>ShapedGraphic</string>
353 <key>FitText</key>
354 <string>Vertical</string>
355 <key>Flow</key>
356 <string>Resize</string>
357 <key>ID</key>
358 <integer>81</integer>
359 <key>Shape</key>
360 <string>Rectangle</string>
361 <key>Style</key>
362 <dict>
363 <key>fill</key>
364 <dict>
365 <key>Draws</key>
366 <string>NO</string>
367 </dict>
368 <key>shadow</key>
369 <dict>
370 <key>Draws</key>
371 <string>NO</string>
372 </dict>
373 <key>stroke</key>
374 <dict>
375 <key>Draws</key>
376 <string>NO</string>
377 </dict>
378 </dict>
379 <key>Text</key>
380 <dict>
381 <key>Align</key>
382 <integer>0</integer>
383 <key>Pad</key>
384 <integer>0</integer>
385 <key>Text</key>
386 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265
387\cocoascreenfonts1{\fonttbl\f0\fnil\fcharset0 Baskerville;}
388{\colortbl;\red255\green255\blue255;}
389\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural
390
391\f0\i\fs24 \cf0 next state and enabled relations}</string>
392 <key>VerticalPad</key>
393 <integer>0</integer>
394 </dict>
395 </dict>
396 <dict>
397 <key>AllowConnections</key>
398 <string>NO</string>
399 <key>Class</key>
400 <string>LineGraphic</string>
401 <key>Head</key>
402 <dict>
403 <key>ID</key>
404 <integer>81</integer>
405 </dict>
406 <key>ID</key>
407 <integer>80</integer>
408 <key>Points</key>
409 <array>
410 <string>{132.52878194999991, 276.79897837498027}</string>
411 <string>{148.88358563764922, 289}</string>
412 </array>
413 <key>Style</key>
414 <dict>
415 <key>stroke</key>
416 <dict>
417 <key>Cap</key>
418 <integer>0</integer>
419 <key>Color</key>
420 <dict>
421 <key>b</key>
422 <string>0</string>
423 <key>g</key>
424 <string>0.501961</string>
425 <key>r</key>
426 <string>1</string>
427 </dict>
428 <key>HeadArrow</key>
429 <string>0</string>
430 <key>Join</key>
431 <integer>0</integer>
432 <key>Legacy</key>
433 <true/>
434 <key>TailArrow</key>
435 <string>0</string>
436 <key>Width</key>
437 <real>0.5</real>
438 </dict>
439 </dict>
440 <key>Tail</key>
441 <dict>
442 <key>ID</key>
443 <integer>13</integer>
444 </dict>
445 </dict>
446 <dict>
447 <key>AllowConnections</key>
448 <string>NO</string>
449 <key>Class</key>
450 <string>LineGraphic</string>
451 <key>Head</key>
452 <dict>
453 <key>ID</key>
454 <integer>78</integer>
455 </dict>
456 <key>ID</key>
457 <integer>79</integer>
458 <key>Points</key>
459 <array>
460 <string>{138.5596923371275, 348.1924367340564}</string>
461 <string>{155.50004490073007, 358}</string>
462 </array>
463 <key>Style</key>
464 <dict>
465 <key>stroke</key>
466 <dict>
467 <key>Cap</key>
468 <integer>0</integer>
469 <key>Color</key>
470 <dict>
471 <key>b</key>
472 <string>0</string>
473 <key>g</key>
474 <string>0.501961</string>
475 <key>r</key>
476 <string>1</string>
477 </dict>
478 <key>HeadArrow</key>
479 <string>0</string>
480 <key>Join</key>
481 <integer>0</integer>
482 <key>Legacy</key>
483 <true/>
484 <key>TailArrow</key>
485 <string>0</string>
486 <key>Width</key>
487 <real>0.5</real>
488 </dict>
489 </dict>
490 <key>Tail</key>
491 <dict>
492 <key>ID</key>
493 <integer>20</integer>
494 </dict>
495 </dict>
496 <dict>
497 <key>Bounds</key>
498 <string>{{87.5, 358}, {160, 14}}</string>
499 <key>Class</key>
500 <string>ShapedGraphic</string>
501 <key>FitText</key>
502 <string>Vertical</string>
503 <key>Flow</key>
504 <string>Resize</string>
505 <key>ID</key>
506 <integer>78</integer>
507 <key>Shape</key>
508 <string>Rectangle</string>
509 <key>Style</key>
510 <dict>
511 <key>fill</key>
512 <dict>
513 <key>Draws</key>
514 <string>NO</string>
515 </dict>
516 <key>shadow</key>
517 <dict>
518 <key>Draws</key>
519 <string>NO</string>
520 </dict>
521 <key>stroke</key>
522 <dict>
523 <key>Draws</key>
524 <string>NO</string>
525 </dict>
526 </dict>
527 <key>Text</key>
528 <dict>
529 <key>Align</key>
530 <integer>0</integer>
531 <key>Pad</key>
532 <integer>0</integer>
533 <key>Text</key>
534 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265
535\cocoascreenfonts1{\fonttbl\f0\fnil\fcharset0 Baskerville;}
536{\colortbl;\red255\green255\blue255;}
537\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural
538
539\f0\i\fs24 \cf0 wraps a statement with process ID, ...}</string>
540 <key>VerticalPad</key>
541 <integer>0</integer>
542 </dict>
543 </dict>
544 <dict>
545 <key>Bounds</key>
546 <string>{{324, 346.5}, {88, 14}}</string>
547 <key>Class</key>
548 <string>ShapedGraphic</string>
549 <key>FitText</key>
550 <string>Vertical</string>
551 <key>Flow</key>
552 <string>Resize</string>
553 <key>ID</key>
554 <integer>77</integer>
555 <key>Shape</key>
556 <string>Rectangle</string>
557 <key>Style</key>
558 <dict>
559 <key>fill</key>
560 <dict>
561 <key>Draws</key>
562 <string>NO</string>
563 </dict>
564 <key>shadow</key>
565 <dict>
566 <key>Draws</key>
567 <string>NO</string>
568 </dict>
569 <key>stroke</key>
570 <dict>
571 <key>Draws</key>
572 <string>NO</string>
573 </dict>
574 </dict>
575 <key>Text</key>
576 <dict>
577 <key>Align</key>
578 <integer>0</integer>
579 <key>Pad</key>
580 <integer>0</integer>
581 <key>Text</key>
582 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265
583\cocoascreenfonts1{\fonttbl\f0\fnil\fcharset0 Baskerville;}
584{\colortbl;\red255\green255\blue255;}
585\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural
586
587\f0\i\fs24 \cf0 executor, evaluator}</string>
588 <key>VerticalPad</key>
589 <integer>0</integer>
590 </dict>
591 </dict>
592 <dict>
593 <key>AllowConnections</key>
594 <string>NO</string>
595 <key>Class</key>
596 <string>LineGraphic</string>
597 <key>Head</key>
598 <dict>
599 <key>ID</key>
600 <integer>77</integer>
601 </dict>
602 <key>ID</key>
603 <integer>76</integer>
604 <key>Points</key>
605 <array>
606 <string>{288.49046226887424, 337.73127598917927}</string>
607 <string>{332.73919418587326, 346.5}</string>
608 </array>
609 <key>Style</key>
610 <dict>
611 <key>stroke</key>
612 <dict>
613 <key>Cap</key>
614 <integer>0</integer>
615 <key>Color</key>
616 <dict>
617 <key>b</key>
618 <string>0</string>
619 <key>g</key>
620 <string>0.501961</string>
621 <key>r</key>
622 <string>1</string>
623 </dict>
624 <key>HeadArrow</key>
625 <string>0</string>
626 <key>Join</key>
627 <integer>0</integer>
628 <key>Legacy</key>
629 <true/>
630 <key>TailArrow</key>
631 <string>0</string>
632 <key>Width</key>
633 <real>0.5</real>
634 </dict>
635 </dict>
636 <key>Tail</key>
637 <dict>
638 <key>ID</key>
639 <integer>15</integer>
640 </dict>
641 </dict>
642 <dict>
643 <key>AllowConnections</key>
644 <string>NO</string>
645 <key>Class</key>
646 <string>LineGraphic</string>
647 <key>Head</key>
648 <dict>
649 <key>ID</key>
650 <integer>74</integer>
651 </dict>
652 <key>ID</key>
653 <integer>75</integer>
654 <key>Points</key>
655 <array>
656 <string>{144.49485173659392, 407.77796361178071}</string>
657 <string>{207, 416.81759200825451}</string>
658 </array>
659 <key>Style</key>
660 <dict>
661 <key>stroke</key>
662 <dict>
663 <key>Cap</key>
664 <integer>0</integer>
665 <key>Color</key>
666 <dict>
667 <key>b</key>
668 <string>0</string>
669 <key>g</key>
670 <string>0.501961</string>
671 <key>r</key>
672 <string>1</string>
673 </dict>
674 <key>HeadArrow</key>
675 <string>0</string>
676 <key>Join</key>
677 <integer>0</integer>
678 <key>Legacy</key>
679 <true/>
680 <key>TailArrow</key>
681 <string>0</string>
682 <key>Width</key>
683 <real>0.5</real>
684 </dict>
685 </dict>
686 <key>Tail</key>
687 <dict>
688 <key>ID</key>
689 <integer>14</integer>
690 </dict>
691 </dict>
692 <dict>
693 <key>Bounds</key>
694 <string>{{207, 412}, {127, 28}}</string>
695 <key>Class</key>
696 <string>ShapedGraphic</string>
697 <key>FitText</key>
698 <string>Vertical</string>
699 <key>Flow</key>
700 <string>Resize</string>
701 <key>ID</key>
702 <integer>74</integer>
703 <key>Shape</key>
704 <string>Rectangle</string>
705 <key>Style</key>
706 <dict>
707 <key>fill</key>
708 <dict>
709 <key>Draws</key>
710 <string>NO</string>
711 </dict>
712 <key>shadow</key>
713 <dict>
714 <key>Draws</key>
715 <string>NO</string>
716 </dict>
717 <key>stroke</key>
718 <dict>
719 <key>Draws</key>
720 <string>NO</string>
721 </dict>
722 </dict>
723 <key>Text</key>
724 <dict>
725 <key>Align</key>
726 <integer>0</integer>
727 <key>Pad</key>
728 <integer>0</integer>
729 <key>Text</key>
730 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265
731\cocoascreenfonts1{\fonttbl\f0\fnil\fcharset0 Baskerville;}
732{\colortbl;\red255\green255\blue255;}
733\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural
734
735\f0\i\fs24 \cf0 dynamic scopes, process call stacks, global state. Immutable.}</string>
736 <key>VerticalPad</key>
737 <integer>0</integer>
738 </dict>
739 </dict>
740 <dict>
741 <key>AllowConnections</key>
742 <string>NO</string>
743 <key>Class</key>
744 <string>LineGraphic</string>
745 <key>Head</key>
746 <dict>
747 <key>ID</key>
748 <integer>72</integer>
749 </dict>
750 <key>ID</key>
751 <integer>73</integer>
752 <key>Points</key>
753 <array>
754 <string>{144.49953473752143, 476.07568904721256}</string>
755 <string>{207, 478.77384120909574}</string>
756 </array>
757 <key>Style</key>
758 <dict>
759 <key>stroke</key>
760 <dict>
761 <key>Cap</key>
762 <integer>0</integer>
763 <key>Color</key>
764 <dict>
765 <key>b</key>
766 <string>0</string>
767 <key>g</key>
768 <string>0.501961</string>
769 <key>r</key>
770 <string>1</string>
771 </dict>
772 <key>HeadArrow</key>
773 <string>0</string>
774 <key>Join</key>
775 <integer>0</integer>
776 <key>Legacy</key>
777 <true/>
778 <key>TailArrow</key>
779 <string>0</string>
780 <key>Width</key>
781 <real>0.5</real>
782 </dict>
783 </dict>
784 <key>Tail</key>
785 <dict>
786 <key>ID</key>
787 <integer>16</integer>
788 </dict>
789 </dict>
790 <dict>
791 <key>Bounds</key>
792 <string>{{207, 467.5}, {127, 28}}</string>
793 <key>Class</key>
794 <string>ShapedGraphic</string>
795 <key>FitText</key>
796 <string>Vertical</string>
797 <key>Flow</key>
798 <string>Resize</string>
799 <key>ID</key>
800 <integer>72</integer>
801 <key>Shape</key>
802 <string>Rectangle</string>
803 <key>Style</key>
804 <dict>
805 <key>fill</key>
806 <dict>
807 <key>Draws</key>
808 <string>NO</string>
809 </dict>
810 <key>shadow</key>
811 <dict>
812 <key>Draws</key>
813 <string>NO</string>
814 </dict>
815 <key>stroke</key>
816 <dict>
817 <key>Draws</key>
818 <string>NO</string>
819 </dict>
820 </dict>
821 <key>Text</key>
822 <dict>
823 <key>Align</key>
824 <integer>0</integer>
825 <key>Pad</key>
826 <integer>0</integer>
827 <key>Text</key>
828 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265
829\cocoascreenfonts1{\fonttbl\f0\fnil\fcharset0 Baskerville;}
830{\colortbl;\red255\green255\blue255;}
831\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural
832
833\f0\i\fs24 \cf0 static representation of CIVL program (program graphs)}</string>
834 <key>VerticalPad</key>
835 <integer>0</integer>
836 </dict>
837 </dict>
838 <dict>
839 <key>Bounds</key>
840 <string>{{72, 528.5}, {72, 36}}</string>
841 <key>Class</key>
842 <string>ShapedGraphic</string>
843 <key>ID</key>
844 <integer>68</integer>
845 <key>Shape</key>
846 <string>Rectangle</string>
847 <key>Style</key>
848 <dict>
849 <key>shadow</key>
850 <dict>
851 <key>Draws</key>
852 <string>NO</string>
853 </dict>
854 <key>stroke</key>
855 <dict>
856 <key>CornerRadius</key>
857 <real>9</real>
858 </dict>
859 </dict>
860 <key>Text</key>
861 <dict>
862 <key>Text</key>
863 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265
864\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
865{\colortbl;\red255\green255\blue255;}
866\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
867
868\f0\fs24 \cf0 GMC}</string>
869 </dict>
870 </dict>
871 <dict>
872 <key>Bounds</key>
873 <string>{{216, 528.5}, {72, 36}}</string>
874 <key>Class</key>
875 <string>ShapedGraphic</string>
876 <key>ID</key>
877 <integer>23</integer>
878 <key>Shape</key>
879 <string>Rectangle</string>
880 <key>Style</key>
881 <dict>
882 <key>shadow</key>
883 <dict>
884 <key>Draws</key>
885 <string>NO</string>
886 </dict>
887 <key>stroke</key>
888 <dict>
889 <key>CornerRadius</key>
890 <real>9</real>
891 </dict>
892 </dict>
893 <key>Text</key>
894 <dict>
895 <key>Text</key>
896 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265
897\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
898{\colortbl;\red255\green255\blue255;}
899\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
900
901\f0\fs24 \cf0 ABC}</string>
902 </dict>
903 </dict>
904 <dict>
905 <key>Bounds</key>
906 <string>{{360, 528.5}, {72, 36}}</string>
907 <key>Class</key>
908 <string>ShapedGraphic</string>
909 <key>ID</key>
910 <integer>22</integer>
911 <key>Shape</key>
912 <string>Rectangle</string>
913 <key>Style</key>
914 <dict>
915 <key>shadow</key>
916 <dict>
917 <key>Draws</key>
918 <string>NO</string>
919 </dict>
920 <key>stroke</key>
921 <dict>
922 <key>CornerRadius</key>
923 <real>9</real>
924 </dict>
925 </dict>
926 <key>Text</key>
927 <dict>
928 <key>Text</key>
929 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265
930\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
931{\colortbl;\red255\green255\blue255;}
932\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
933
934\f0\fs24 \cf0 SARL}</string>
935 </dict>
936 </dict>
937 <dict>
938 <key>Bounds</key>
939 <string>{{72, 312.5}, {72, 36}}</string>
940 <key>Class</key>
941 <string>ShapedGraphic</string>
942 <key>ID</key>
943 <integer>20</integer>
944 <key>Shape</key>
945 <string>Rectangle</string>
946 <key>Style</key>
947 <dict>
948 <key>shadow</key>
949 <dict>
950 <key>Draws</key>
951 <string>NO</string>
952 </dict>
953 <key>stroke</key>
954 <dict>
955 <key>CornerRadius</key>
956 <real>9</real>
957 </dict>
958 </dict>
959 <key>Text</key>
960 <dict>
961 <key>Text</key>
962 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265
963\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
964{\colortbl;\red255\green255\blue255;}
965\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
966
967\f0\fs24 \cf0 transition}</string>
968 </dict>
969 </dict>
970 <dict>
971 <key>Bounds</key>
972 <string>{{216, 240.5}, {72, 36}}</string>
973 <key>Class</key>
974 <string>ShapedGraphic</string>
975 <key>ID</key>
976 <integer>17</integer>
977 <key>Shape</key>
978 <string>Rectangle</string>
979 <key>Style</key>
980 <dict>
981 <key>shadow</key>
982 <dict>
983 <key>Draws</key>
984 <string>NO</string>
985 </dict>
986 <key>stroke</key>
987 <dict>
988 <key>CornerRadius</key>
989 <real>9</real>
990 </dict>
991 </dict>
992 <key>Text</key>
993 <dict>
994 <key>Text</key>
995 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265
996\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
997{\colortbl;\red255\green255\blue255;}
998\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
999
1000\f0\fs24 \cf0 library}</string>
1001 </dict>
1002 </dict>
1003 <dict>
1004 <key>Bounds</key>
1005 <string>{{72, 456.5}, {72, 36}}</string>
1006 <key>Class</key>
1007 <string>ShapedGraphic</string>
1008 <key>ID</key>
1009 <integer>16</integer>
1010 <key>Shape</key>
1011 <string>Rectangle</string>
1012 <key>Style</key>
1013 <dict>
1014 <key>shadow</key>
1015 <dict>
1016 <key>Draws</key>
1017 <string>NO</string>
1018 </dict>
1019 <key>stroke</key>
1020 <dict>
1021 <key>CornerRadius</key>
1022 <real>9</real>
1023 </dict>
1024 </dict>
1025 <key>Text</key>
1026 <dict>
1027 <key>Text</key>
1028 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265
1029\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
1030{\colortbl;\red255\green255\blue255;}
1031\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
1032
1033\f0\fs24 \cf0 model}</string>
1034 </dict>
1035 </dict>
1036 <dict>
1037 <key>Bounds</key>
1038 <string>{{216, 312.5}, {72, 36}}</string>
1039 <key>Class</key>
1040 <string>ShapedGraphic</string>
1041 <key>ID</key>
1042 <integer>15</integer>
1043 <key>Shape</key>
1044 <string>Rectangle</string>
1045 <key>Style</key>
1046 <dict>
1047 <key>shadow</key>
1048 <dict>
1049 <key>Draws</key>
1050 <string>NO</string>
1051 </dict>
1052 <key>stroke</key>
1053 <dict>
1054 <key>CornerRadius</key>
1055 <real>9</real>
1056 </dict>
1057 </dict>
1058 <key>Text</key>
1059 <dict>
1060 <key>Text</key>
1061 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265
1062\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
1063{\colortbl;\red255\green255\blue255;}
1064\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
1065
1066\f0\fs24 \cf0 semantics}</string>
1067 </dict>
1068 </dict>
1069 <dict>
1070 <key>Bounds</key>
1071 <string>{{72, 384.5}, {72, 36}}</string>
1072 <key>Class</key>
1073 <string>ShapedGraphic</string>
1074 <key>ID</key>
1075 <integer>14</integer>
1076 <key>Shape</key>
1077 <string>Rectangle</string>
1078 <key>Style</key>
1079 <dict>
1080 <key>shadow</key>
1081 <dict>
1082 <key>Draws</key>
1083 <string>NO</string>
1084 </dict>
1085 <key>stroke</key>
1086 <dict>
1087 <key>CornerRadius</key>
1088 <real>9</real>
1089 </dict>
1090 </dict>
1091 <key>Text</key>
1092 <dict>
1093 <key>Text</key>
1094 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265
1095\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
1096{\colortbl;\red255\green255\blue255;}
1097\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
1098
1099\f0\fs24 \cf0 state}</string>
1100 </dict>
1101 </dict>
1102 <dict>
1103 <key>Bounds</key>
1104 <string>{{72, 240.5}, {72, 36}}</string>
1105 <key>Class</key>
1106 <string>ShapedGraphic</string>
1107 <key>ID</key>
1108 <integer>13</integer>
1109 <key>Shape</key>
1110 <string>Rectangle</string>
1111 <key>Style</key>
1112 <dict>
1113 <key>shadow</key>
1114 <dict>
1115 <key>Draws</key>
1116 <string>NO</string>
1117 </dict>
1118 <key>stroke</key>
1119 <dict>
1120 <key>CornerRadius</key>
1121 <real>9</real>
1122 </dict>
1123 </dict>
1124 <key>Text</key>
1125 <dict>
1126 <key>Text</key>
1127 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265
1128\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
1129{\colortbl;\red255\green255\blue255;}
1130\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
1131
1132\f0\fs24 \cf0 kripke}</string>
1133 </dict>
1134 </dict>
1135 <dict>
1136 <key>Bounds</key>
1137 <string>{{72, 168.5}, {72, 36}}</string>
1138 <key>Class</key>
1139 <string>ShapedGraphic</string>
1140 <key>ID</key>
1141 <integer>12</integer>
1142 <key>Shape</key>
1143 <string>Rectangle</string>
1144 <key>Style</key>
1145 <dict>
1146 <key>shadow</key>
1147 <dict>
1148 <key>Draws</key>
1149 <string>NO</string>
1150 </dict>
1151 <key>stroke</key>
1152 <dict>
1153 <key>CornerRadius</key>
1154 <real>9</real>
1155 </dict>
1156 </dict>
1157 <key>Text</key>
1158 <dict>
1159 <key>Text</key>
1160 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265
1161\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
1162{\colortbl;\red255\green255\blue255;}
1163\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
1164
1165\f0\fs24 \cf0 run}</string>
1166 </dict>
1167 </dict>
1168 <dict>
1169 <key>Bounds</key>
1170 <string>{{360, 240.5}, {72, 36}}</string>
1171 <key>Class</key>
1172 <string>ShapedGraphic</string>
1173 <key>ID</key>
1174 <integer>6</integer>
1175 <key>Shape</key>
1176 <string>Rectangle</string>
1177 <key>Style</key>
1178 <dict>
1179 <key>shadow</key>
1180 <dict>
1181 <key>Draws</key>
1182 <string>NO</string>
1183 </dict>
1184 <key>stroke</key>
1185 <dict>
1186 <key>CornerRadius</key>
1187 <real>9</real>
1188 </dict>
1189 </dict>
1190 <key>Text</key>
1191 <dict>
1192 <key>Text</key>
1193 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265
1194\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
1195{\colortbl;\red255\green255\blue255;}
1196\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
1197
1198\f0\fs24 \cf0 predicate}</string>
1199 </dict>
1200 </dict>
1201 </array>
1202 <key>GridInfo</key>
1203 <dict/>
1204 <key>GuidesLocked</key>
1205 <string>NO</string>
1206 <key>GuidesVisible</key>
1207 <string>YES</string>
1208 <key>HPages</key>
1209 <integer>1</integer>
1210 <key>ImageCounter</key>
1211 <integer>1</integer>
1212 <key>KeepToScale</key>
1213 <false/>
1214 <key>Layers</key>
1215 <array>
1216 <dict>
1217 <key>Lock</key>
1218 <string>NO</string>
1219 <key>Name</key>
1220 <string>Layer 1</string>
1221 <key>Print</key>
1222 <string>YES</string>
1223 <key>View</key>
1224 <string>YES</string>
1225 </dict>
1226 </array>
1227 <key>LayoutInfo</key>
1228 <dict>
1229 <key>Animate</key>
1230 <string>NO</string>
1231 <key>RankInfo</key>
1232 <dict>
1233 <key>Same</key>
1234 <array>
1235 <array>
1236 <integer>22</integer>
1237 <integer>23</integer>
1238 </array>
1239 </array>
1240 </dict>
1241 <key>circoMinDist</key>
1242 <real>18</real>
1243 <key>circoSeparation</key>
1244 <real>0.0</real>
1245 <key>layoutEngine</key>
1246 <string>dot</string>
1247 <key>neatoSeparation</key>
1248 <real>0.0</real>
1249 <key>twopiSeparation</key>
1250 <real>0.0</real>
1251 </dict>
1252 <key>LinksVisible</key>
1253 <string>NO</string>
1254 <key>MagnetsVisible</key>
1255 <string>NO</string>
1256 <key>MasterSheets</key>
1257 <array/>
1258 <key>ModificationDate</key>
1259 <string>2013-12-09 13:30:03 +0000</string>
1260 <key>Modifier</key>
1261 <string>Stephen Siegel</string>
1262 <key>NotesVisible</key>
1263 <string>NO</string>
1264 <key>Orientation</key>
1265 <integer>2</integer>
1266 <key>OriginVisible</key>
1267 <string>NO</string>
1268 <key>PageBreaks</key>
1269 <string>YES</string>
1270 <key>PrintInfo</key>
1271 <dict>
1272 <key>NSBottomMargin</key>
1273 <array>
1274 <string>float</string>
1275 <string>41</string>
1276 </array>
1277 <key>NSHorizonalPagination</key>
1278 <array>
1279 <string>coded</string>
1280 <string>BAtzdHJlYW10eXBlZIHoA4QBQISEhAhOU051bWJlcgCEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAFxlwCG</string>
1281 </array>
1282 <key>NSLeftMargin</key>
1283 <array>
1284 <string>float</string>
1285 <string>18</string>
1286 </array>
1287 <key>NSPaperSize</key>
1288 <array>
1289 <string>size</string>
1290 <string>{612, 792}</string>
1291 </array>
1292 <key>NSPrintReverseOrientation</key>
1293 <array>
1294 <string>int</string>
1295 <string>0</string>
1296 </array>
1297 <key>NSRightMargin</key>
1298 <array>
1299 <string>float</string>
1300 <string>18</string>
1301 </array>
1302 <key>NSTopMargin</key>
1303 <array>
1304 <string>float</string>
1305 <string>18</string>
1306 </array>
1307 </dict>
1308 <key>PrintOnePage</key>
1309 <false/>
1310 <key>ReadOnly</key>
1311 <string>NO</string>
1312 <key>RowAlign</key>
1313 <integer>1</integer>
1314 <key>RowSpacing</key>
1315 <real>36</real>
1316 <key>SheetTitle</key>
1317 <string>Canvas 1</string>
1318 <key>SmartAlignmentGuidesActive</key>
1319 <string>YES</string>
1320 <key>SmartDistanceGuidesActive</key>
1321 <string>YES</string>
1322 <key>UniqueID</key>
1323 <integer>1</integer>
1324 <key>UseEntirePage</key>
1325 <false/>
1326 <key>VPages</key>
1327 <integer>1</integer>
1328 <key>WindowInfo</key>
1329 <dict>
1330 <key>CurrentSheet</key>
1331 <integer>0</integer>
1332 <key>ExpandedCanvases</key>
1333 <array>
1334 <dict>
1335 <key>name</key>
1336 <string>Canvas 1</string>
1337 </dict>
1338 </array>
1339 <key>Frame</key>
1340 <string>{{325, 4}, {710, 774}}</string>
1341 <key>ListView</key>
1342 <true/>
1343 <key>OutlineWidth</key>
1344 <integer>142</integer>
1345 <key>RightSidebar</key>
1346 <false/>
1347 <key>ShowRuler</key>
1348 <true/>
1349 <key>Sidebar</key>
1350 <true/>
1351 <key>SidebarWidth</key>
1352 <integer>120</integer>
1353 <key>VisibleRegion</key>
1354 <string>{{111, 321}, {287.5, 317.5}}</string>
1355 <key>Zoom</key>
1356 <real>2</real>
1357 <key>ZoomValues</key>
1358 <array>
1359 <array>
1360 <string>Canvas 1</string>
1361 <real>2</real>
1362 <real>1</real>
1363 </array>
1364 </array>
1365 </dict>
1366</dict>
1367</plist>
Note: See TracBrowser for help on using the repository browser.