シーケンス図からの時間性能モデル検査用オブザーバ生成手法

全文

(1)2006−SE−151（19） 2006／3／24. 社団法人情報処理学会研究報告 IPSJ SIG Technical Report. ࠪ࡯ࠤࡦࠬ࿑߆ࠄߩᤨ㑆ᕈ⢻ࡕ࠺࡞ᬌᩏ↪ࠝࡉࠩ࡯ࡃ↢ᚑᚻᴺ 㐳⼱Ꮉືᄦ*. ᷓỈ⦟ᓆ**. *ᩣᑼળ␠ ᧲⦼/ᣧⒷ↰ᄢቇ . **ᣧⒷ↰ᄢቇ. ᄙ⒳䈱䉲䉴䊁䊛䉕ૐ䉮䉴䊃䈪⍴ᦼ㑆䈮㐿⊒䈚䈭䈔䉏䈳䈭䉌䈭䈇⚵ㄟ䉂䉸䊐䊃䉡䉢䉝䈭䈬䈱ಽ㊁䈪䉅䇮䉸䊐䊃䉡䉢䉝䈱ᄢ ⷙᮨൻ䈏ㅴ䉃৻ᣇ䈪ᄢ㊂⽼ᄁ䈮䉋䉍಴⩄ᓟ䈱ਇౕวୃᱜ䉮䉴䊃䈲ᄢ䈐䈒䇮䊝䊂䊦ᬌᩏᚻᴺ䈱䉋䈉䈭⸳⸘ᬌ⸽䈱⥄േ ൻᛛⴚ䈏䉋䉍ኈᤃ䈮૶䈋䉎䉋䈉䈮䈭䉎䈖䈫䈮ᦼᓙ䈏㜞䉁䈦䈩䈇䉎䇯⸳⸘⠪䈮䈫䈦䈩䊝䊂䊦ᬌᩏ䈱ᢝዬ䈏㜞䈇ℂ↱䈱䈵䈫䈧䈲䇮ᬌ⸽䈚䈢䈇ᕈ⾰䉕ᤨ⋧⺰ℂᑼ䈪ਈ䈋䉎ὐ䈏䈅䉎䇯ᧄⓂ䈪䈲䇮䊝䊂䊦ᬌᩏ䉿䊷䊦㪬㪧㪧㪘㪘㪣䉕ኻ⽎䈫䈚䈩䇮䉲䊷䉬䊮䉴䉼䊞䊷䊃䈎䉌ᬌ⸽䈚䈢䈇ᕈ⾰䉕⴫⃻䈜䉎䉥䊑䉱䊷䊋䉕ᯏ᪾⊛䈮↢ᚑ䈜䉎ᚻᴺ䉕ឭ᩺䈜䉎䇯ᵈ⋡䈜䉎䉲䊷䉬䊮䉴䈮ኻᔕ䈜䉎น⢻ᕈ䈱䈅䉎᜼േ䈱ቢో䈭⋙ⷞ䈫䇮ᵈ⋡䈚䈭䈇੐⽎䈱ㅘ᣿ൻ䉕․ᓽ䈫䈜䉎䇯䉁䈢䇮ᧄᚻᴺ䉕ㅢା䊒䊨䊃䉮䊦䈱䉝䊒䊥䉬䊷䉲䊢䊮䈮ㆡ↪䈚䈩䉥䊷䊋䊷䊓䉾䊄䈱⹏ଔ䉕ⴕ䈦䈢䇯㩷. 㪘㩷㫄㪼㫋㪿㫆㪻㩷㪾㪼㫅㪼㫉㪸㫋㫀㫅㪾㩷㪸㫅㩷㫆㪹㫊㪼㫉㫍㪼㫉㩷㪽㫆㫉㩷㫄㫆㪻㪼㫃㩷㪺㪿㪼㪺㫂㫀㫅㪾㩷㪽㫉㫆㫄㩷㪸㩷㫊㪼㫈㫌㪼㫅㪺㪼㩷㪺㪿㪸㫉㫋㩷㪫㪼㫋㫊㫌㫆㩷㪟㪸㫊㪼㪾㪸㫎㪸㪁㩷㩷㩷㩷㩷㪰㫆㫊㪿㫀㪸㫂㫀㩷㪝㫌㫂㪸㫑㪸㫎㪸㪁㪁㩷㩷㩷㩷㩷㩷㩷㩷㩷㩷㩷㩷㩷㩷㩷㩷㩷㩷㩷㪁㪫㫆㫊㪿㫀㪹㪸㩷㪺㫆㫉㫇㫆㫉㪸㫋㫀㫆㫅㪆㪮㪸㫊㪼㪻㪸㩷㫌㫅㫀㫍㪼㫉㫊㫀㫋㫐㩷㩷㩷㩷㩷㩷㩷㩷㩷㪁㪁㪮㪸㫊㪼㪻㪸㩷㫌㫅㫀㫍㪼㫉㫊㫀㫋㫐. 㪠㫅㩷㫋㪿㪼㩷㫊㫆㪽㫋㫎㪸㫉㪼㩷㪽㫀㪼㫃㪻㩷㫆㪽㩷㫄㪸㫊㫊㩷㫇㫉㫆㪻㫌㪺㫋㫊㩷㫊㫌㪺㪿㩷㪸㫊㩷㪼㫄㪹㪼㪻㪻㪼㪻㩷㫊㫐㫊㫋㪼㫄㫊㪃㩷㪸㫅㩷㪼㫉㫉㫆㫉㩷㪺㪸㫌㫊㪼㩷㪿㫀㪾㪿㩷㪺㫆㫉㫉㪼㪺㫋㫀㫆㫅㩷㪺㫆㫊㫋㩷㪸㪽㫋㪼㫉㩷㫊㪿㫀㫇㫇㫀㫅㪾㪅㩷㪙㫌㫋㩷㫄㪸㫅㫐㩷㫂㫀㫅㪻㫊㩷㫆㪽㩷㫊㫐㫊㫋㪼㫄㫊㩷㫄㫌㫊㫋㩷㪹㪼㩷㪻㪼㫍㪼㫃㫆㫇㪼㪻㩷㫀㫅㩷㪸㩷㫊㪿㫆㫉㫋㩷㫋㪼㫉㫄㩷㪸㫅㪻㩷㫃㫆㫎㪄㪺㫆㫊㫋㪅㩷㪫㪿㪼㫅㩷㫀㫋㩷㫄㪸㫐㩷㪹㪼㩷㫀㫄㫇㫆㫊㫊㫀㪹㫃㪼㩷㩷㩷㪺㫆㫄㫇㫉㪼㪿㪼㫅㫊㫀㫍㪼㩷㪻㪼㫊㫀㪾㫅㩷㫉㪼㫍㫀㪼㫎㩷㪹㫐㩷㪿㫌㫄㪸㫅㩷㫉㪼㫊㫆㫌㫉㪺㪼㫊㪅㩷㪪㫆㩷㫄㫆㪻㪼㫃㩷㪺㪿㪼㪺㫂㫀㫅㪾㩷㫋㪿㪸㫋㩷㫀㫊㩷㫆㫅㪼㩷㫆㪽㩷㪸㫌㫋㫆㫄㪸㫋㫀㪺㩷㪻㪼㫊㫀㪾㫅㩷㫍㪼㫉㫀㪽㫀㪺㪸㫋㫀㫆㫅㩷㫋㪼㪺㪿㫅㫀㫈㫌㪼㫊㩷㫀㫊㩷㪼㫏㫇㪼㪺㫋㪼㪻㩷㫋㫆㩷㪹㪼㩷㪼㪸㫊㫐㩷㫋㫆㩷㫌㫊㪼㩷㪽㫆㫉㩷㫊㫆㪽㫋㫎㪸㫉㪼㩷㪻㪼㫊㫀㪾㫅㪼㫉㪅㩷㪠㫅㩷㫋㪿㫀㫊㩷㫇㪸㫇㪼㫉㪃㩷㪸㩷㫄㪼㫋㪿㫆㪻㩷㪾㪼㫅㪼㫉㪸㫋㫀㫅㪾㩷㪸㫅㩷㫆㪹㫊㪼㫉㫍㪼㫉㩷㪽㫆㫉㩷㫋㪿㪼㩷㫄㫆㪻㪼㫃㩷㪺㪿㪼㪺㫂㫀㫅㪾㩷㫋㫆㫆㫃㩷㪬㪧㪧㪘㪘㪣㩷㪽㫉㫆㫄㩷㪸㩷㫊㪼㫈㫌㪼㫅㪺㪼㩷㪺㪿㪸㫉㫋㪃㩷㫎㪿㫀㪺㪿㩷㫀㫊㩷㫌㫊㫌㪸㫃㫃㫐㩷㫄㪸㪻㪼㩷㪹㫐㩷㪻㪼㫊㫀㪾㫅㪼㫉㫊㪃㩷㫀㫊㩷㫇㫉㫆㫇㫆㫊㪼㪻㪅㩷㪘㫃㫊㫆㩷㫀㫋㩷㫀㫊㩷㫉㪼㫇㫆㫉㫋㪼㪻㩷㫋㪿㪼㩷㫉㪼㫊㫌㫃㫋㩷㫆㪽㩷㪸㫇㫇㫃㫐㫀㫅㪾㩷㫋㪿㫀㫊㩷㫄㪼㫋㪿㫆㪻㩷㫋㫆㩷㪸㩷㪺㫆㫄㫄㫌㫅㫀㪺㪸㫋㫀㫆㫅㩷㫊㫐㫊㫋㪼㫄㫊㪅㩷㩷. 䋱䋮䈲䈛䉄䈮㩷䊝䊂䊦ᬌᩏ䈫䈲䇮䉲䉴䊁䊛䈱ᝄ䉎⥰䈇䊝䊂䊦䉕✂. 䈲⤘ᄢ䈭૞ᬺᎿᢙ䈏ᔅⷐ䈫䈭䈦䈩䈐䈩䈍䉍䇮䉅䈲䉇 ⃻ታ⊛䈪䈲䈭䈒䈭䈦䈩䈐䈩䈇䉎䇯㩷. ⟜⊛䈮⺞䈼䉎䈖䈫䈮䉋䈦䈩⺋䉍䉕⊒⷗䈜䉎⥄േᬌ⸽. 䈠䈱䈢䉄䇮䊝䊂䊦ᬌᩏᚻᴺ䈱䉋䈉䈭⸳⸘ᬌ⸽䈱⥄. ᚻᴺ䈪䈅䉎䇯ㄭᐕ䇮ᄙ䈒䈱䊝䊂䊦ᬌᩏ䉿䊷䊦䈏㐿⊒. േൻᛛⴚ䈏䇮䉋䉍ኈᤃ䈮૶䈋䉎䉋䈉䈮䈭䉎䈖䈫䈮ᦼᓙ. 䈘䉏䉎䈫䈫䉅䈮䇮䊝䊂䊦ᬌᩏ䉕↥ᬺ⇇䈱ታ䉲䉴䊁䊛䈮. 䈏㜞䉁䈦䈩䈇䉎䇯㩷. ㆡ↪䈚䈢੐଀ႎ๔䉅Ⴧ䈋䈩䈐䈢䇯䈖䉏䉁䈪䈱䊝䊂䊦. ᧄⓂ䈪䈲䇮․䈮䉲䉴䊁䊛䈱ᤨ㑆ᕈ⢻䈮ᵈ⋡䈚䈢ᤨ. ᬌᩏ䈱ㆡ↪వ䈲䇮ේሶജ⊒㔚ᚲ䈱೙ᓮ䇮⥶ⓨ▤೙. 㑆ᕈ⢻䊝䊂䊦ᬌᩏ䉿䊷䊦䉕ኻ⽎䈫䈚䈩䇮⸳⸘⠪䈏ㅢ. 䈭䈬ਇౕว䈏␠ળ⊛䈭໧㗴䈫䈭䉍㐿⊒䈮ᄢ䈐䈭䉮䉴. Ᏹ⸳⸘ᤨ䈮૞ᚑ䈜䉎䉲䊷䉬䊮䉴䉼䊞䊷䊃䈫䉴䊁䊷䊃䉼. 䊃䉕䈎䈔䉌䉏䉎㜞ା㗬䉲䉴䊁䊛ಽ㊁䈏ਥ䈪䈅䈦䈢䇯䈚. 䊞䊷䊃䉕ၮ䈮䈚䈩䊝䊂䊦ᬌᩏ䈱ᵴ↪䉕ኈᤃൻ䈜䉎ᚻ. 䈎䈚䇮ᄙ⒳䈱䉲䉴䊁䊛䉕ૐ䉮䉴䊃䈪⍴ᦼ㑆䈮㐿⊒䈚䈭. ᴺ䈮䈧䈇䈩ㅀ䈼䉎䇯㩷. 䈔䉏䈳䈭䉌䈭䈇䉸䊐䊃䉡䉢䉝ಽ㊁䈪䈖䈠ᣧ䈇Ბ㓏䈪䈱. 㩷. ⺋䉍᛽಴䈲㊀ⷐ䈪䈅䉎䇯଀䈋䈳䇮⚵ㄟ䉂䉸䊐䊃䉡䉢䉝. 䋲䋮ᕈ⢻䊝䊂䊦ᬌᩏ㩷. ಽ㊁䈱䉋䈉䈮ᄢ㊂⽼ᄁ䈘䉏䉎⵾ຠ䈮䈍䈇䈩䈲಴⩄ᓟ. ᕈ⢻䊝䊂䊦ᬌᩏ䈪䈲䇮ᤨ㑆⊛䈭ⷐ⚛䉅฽䉄䈢䉲. 䈱ਇౕวୃᱜ䈲䊥䉮䊷䊦䈭䈬㕖Ᏹ䈮䉮䉴䊃䈏䈎䈎䉎䇯. 䉴䊁䊛䈱ᝄ䉎⥰䈇䈫ᬌ⸽䈚䈢䈇ᕈ⾰䉕౉ജ䈫䈚䇮䉲䉴. 䈠䈚䈩䇮䊈䉾䊃䊪䊷䉪ኅ㔚䈱䉋䈉䈮䊈䉾䊃䊪䊷䉪䈮ធ⛯. 䊁䊛䈱ᝄ䉎⥰䈇䉕✂⟜⊛䈮⺞䈼䈩౉ജ䈘䉏䈢ᕈ⾰. 䈘䉏䉎ᯏེ䈏Ⴧ䈋䇮䉸䊐䊃䉡䉢䉝䈲ᄢⷙᮨൻ䇮ⶄ㔀ൻ. 䈏Ᏹ䈮ḩ䈢䈘䉏䉎䈎䈬䈉䈎䉕⥄േᬌ⸽䈜䉎䇯䉲䉴䊁䊛. 䈏ㅴ䉂䈧䈧䈅䉎䇯䈠䈱⚿ᨐ䇮䉸䊐䊃䉡䉢䉝䈱ోേ૞䊌. 䈱ᝄ䉎⥰䈇䈲ᤨ㑆䉥䊷䊃䊙䊃䊮䈪⸥ㅀ䈚䇮ᬌ⸽䈚䈢䈇. 䉺䊷䊮䉕ੱᶏᚢⴚ䈪ᬌ⸽䈜䉎ᓥ᧪ဳ䈱⸳⸘䊧䊎䊠䊷. ᕈ⾰䈲ᤨ⋧⺰ℂ䈫䉋䈳䉏䉎⺰ℂ૕♽䈱ᑼ䈪⴫⃻䈜. −143−.

(2) id==0 x := 0. 䉎䈱䈏৻⥸⊛䈪䈅䉎䇯㩷 ᤨ㑆䉥䊷䊃䊙䊃䊮䈲䇮䉴䊁䊷䊃䉼䊞䊷䊃䈮⹦⚦䈭ᤨ. 㫉㪼㫈. x<=k x: =0, id:=1. id==0. id==0 x: =0. 㫉㪼㫈㫎㪸㫀㫋. 㪓㪈㪇. 㑆೙⚂䉕ઃട䈜䉎䈖䈫䈮䉋䉍⴫⃻䈪䈐䉎䇯䉴䊁䊷䊃䉼. ૞ᚑ䈘䉏䉎䈖䈫䈏ᄙ䈒䇮䉁䈢㪬㪤㪣䈮䈍䈔䉎⸳⸘ᦠᑼ. id==0 x := 0. 䈦䈩䈲ᢝዬ䈏㜞䈒䇮⸥ㅀ䇮ℂ⸃䈏ኈᤃ䈫䈲⸒䈇㔍. x>k,id==2. 䈇䇯㩷. id==0 x := 0. p1enter!. ዉ䈐಴䈜⎇ⓥ䈏ⴕ䉒䉏䈩䈇䉎㪲㪉㪴䇯䈚䈎䈚䇮䈖䈱႐ว 䈪䉅䊝䊂䊦ᬌᩏ䈱ᬌ⸽⚿ᨐ䉕ಽᨆ䈜䉎㓙䈮䈲ᤨ⋧. id==0 x := 0. ৻ᣇ䇮ᬌ⸽䈚䈢䈇ᕈ⾰䉕ᤨ⋧⺰ℂᑼ䈱䉂䈪⸥ㅀ 䈜䉎ઁ䈮䇮䉥䊑䉱䊷䊋䈫๭䈳䉏䉎ᤨ㑆䉥䊷䊃䊙䊃䊮䈫 ◲න䈭ᤨ⋧⺰ℂᑼ䈱⚵䉂ว䉒䈞䈪⴫⃻䈜䉎䈖䈫䉅 น⢻䈪䈅䉎䇯䉥䊑䉱䊷䊋䈫䈲䇮ᬌ⸽ኻ⽎䈱ᤨ㑆䉥䊷䊃䊙䊃䊮䈫৻૕䈫䈭䈦䈩േ૞䈚䇮䈠䈱䊨䉬䊷䉲䊢䊮䉇ㆫ ⒖䉕⋙ⷞ䈜䉎䉅䈱䈪䈅䉎䇯㩷 ࿑ 㪈䈮䉥䊑䉱䊷䊋䉕↪䈇䈢ᕈ⢻䊝䊂䊦ᬌᩏ䈱଀ 䉕␜䈜䇯ᧄ଀䈲䇮䊒䊨䉶䉴㪈䇮㪉㑆䈪ឃઁ೙ᓮ䉕ⴕ䈉䉅䈱䈪䇮ฦ䊒䊨䉶䉴䈲㫀㪻䈫䈇䈉ᄖㇱᄌᢙ䈮⥄䊒䊨䉶䉴䈱⇟ภ䉕ઍ౉䈚䈢ᓟ৻ቯᤨ㑆㩿㫂㪀⚻ㆊᓟ䈮㫀㪻䈱୯䈏 ⥄䊒䊨䉶䉴⇟ภ䈪䈅䉏䈳ឃઁ㗔ၞ䈮౉䉍䇮ឃઁ㗔ၞ 䈎䉌಴䉎㓙䈮㫀㪻䈮㪇䉕ઍ౉䈜䉎䇯ᓙᯏਛ䈮㫀㪻䈱୯䈏㪇䈮䈭䈦䈢႐ว䈲䇮ౣᐲ 㫀㪻䈮⥄䊒䊨䉶䉴䈱⇟ภ䉕ઍ ౉䈚䈩ౣᐲᓙᯏ䈜䉎䈫䈇䈉䉅䈱䈪䈅䉎䇯䈖䈱ಣℂ䉕ᤨ 㑆䉥䊷䊃䊙䊃䊮䈪⴫䈚䈢䉅䈱䈏䇮࿑ 㪈䈱㩿㪈㪀䈍䉋䈶㩿㪉㪀䈪䈅䉍䇮ೋᦼ䊨䉬䊷䉲䊢䊮㩿࿑䈪䈲ੑ㊀ਣ䈱䊨䉬䊷䉲䊢䊮㪀䇮ឃઁ㗔ၞ䈮౉䉎䈢䉄䈱ಣℂ䉕㐿ᆎ䈜䉎䊨䉬䊷䉲䊢䊮㩿㫉㪼㫈㪀䇮ឃઁ㗔ၞ䈮౉䉏䉎䈎⏕⹺ਛ䈱䊨䉬䊷䉲䊢䊮㩿㫎㪸㫀㫋㪀䇮ឃઁ㗔ၞ䈮౉䈦䈩䈇䉎䊨䉬䊷䉲䊢䊮㩿㪚㪪㪀䈎䉌᭴ᚑ䈘䉏䉎䇯࿑ 㪈㩿㪊㪀䈱䉲䊷䉬䊮䉴䉼䊞䊷䊃䈲䇮䊒䊨䉶䉴㪈䈏ឃઁ㗔ၞ䈮౉䉐䈉䈫䈚䈢ᓟ䈮䊒䊨䉶䉴㪉䈏ឃ. 㪚. 㪚. wait. p1req!. p2enter!. 㪚. p2waittime :=0 p2req?. p1waittime >=10 p1enter?. P2_req p1waittime < 10 p1enter?. req x<=k P1_enterd. p2req!. p2waittime < 10 p2enter?. id==0 x: =0. p2waittime >= 10 p2enter?. P2_enterd. 㩿㪍㪀䉥䊑䉱䊷䊋䈱ᤨ㑆䉥䊷䊃䊙䊃䊮. x>k,id==1 wait. req x<=k. x<=k x: =0, id:=2. id==0. 㪜㪓㪕㩷㫆㪹㫊㪼㫉㫍㪼㫉㪅㪽㫀㫅㫀㫊㪿㪘㪲㪴㩷㫅㫆㫋㩷㫆㪹㫊㪼㫉㪼㫉㪅㪽㪸㫀㫃㩿㪎㪀䉥䊑䉱䊷䊋↪ᬌ⸽ᑼ. id==0 x: =0. x>k,id==2 wait. 㩿㪌㪀䊒䊨䉶䉴㪉䈱ୃᱜ ᤨ㑆䉥䊷䊃䊙䊃䊮. ⺰ℂᑼ䈱ℂ⸃䈏ᔅⷐ䈫䈭䉍䇮䈠䉏䈣䈔䈪䈲⸳⸘⠪䈏䊝䊂䊦ᬌᩏ䉕ኈᤃ䈮ᵴ↪䈪䈐䉎䈫䈲⸒䈇㔍䈇䇯㩷. p1waittime :=0 p1req? P1_req. 㩿㪋㪀䊒䊨䉶䉴㪈䈱ୃᱜ ᤨ㑆䉥䊷䊃䊙䊃䊮. 㫇㫉㫆㪽㫀㫃㪼㩷㪽㫆㫉㩷㪪㪧㪫㪲㪈㪴䈏ឭଏ䈘䉏䈩䈇䉎䇯䈠䈖䈪䇮䈖䈱䉲䊷䉬䊮䉴䉼䊞䊷䊃䈎䉌ᬌ⸽ᕈ⾰䈫䈚䈩䈱ᤨ⋧⺰ℂᑼ. 㪚㪪. id==0 x: =0. x<=k x: =0, id:=1. id==0. ḩ䈢䈜䈼䈐ᤨ㑆೙⚂䉕⴫⃻䈜䉎䈖䈫䈏䈪䈐䉎䇯㪬㪤㪣䈮䈍䈇䈩䈲䇮ᤨ㑆೙⚂䈮ኻ䈜䉎ᮡḰᦠᑼ䈫䈚䈩. 㪚. 㪓㪈㪇. 㩿㪊㪀ᬌ⸽䈚䈢䈇䉲䊷䉬䊮䉴. 㩿㪉㪀䊒䊨䉶䉴㪉䈱ᤨ㑆䉥䊷䊃䊙䊃䊮. ⸳⸘ᤨ䈮૞ᚑ䈘䉏䉎䉲䊷䉬䊮䉴䉼䊞䊷䊃䈲䇮․ቯ 䈱䉲䊅䊥䉥䈮ၮ䈨䈒䉲䉴䊁䊛᜼േ䈪䈅䉍䇮䉲䉴䊁䊛䈏. req x<=k x<=k x: =0, id:=2. id==0. 㫎㪸㫀㫋. wait. 㩿㪈㪀䊒䊨䉶䉴㪈䈱ᤨ㑆䉥䊷䊃䊙䊃䊮. 䈱䋱䈧䈮䉅䈭䈦䈩䈍䉍䇮⸳⸘⠪䈮䈫䈦䈩Ყセ⊛ℂ⸃䈏 ኈᤃ䈪䈅䉎䇯৻ᣇ䇮ᤨ⋧⺰ℂᑼ䈲ᄙ䈒䈱⸳⸘⠪䈮䈫. 㪚㪪. x>k,id==1. 䊞䊷䊃䈲䇮⚵ㄟ䉂♽䉸䊐䊃䉡䉢䉝ಽ㊁䈪䈲⸳⸘ㆊ⒟䈪. 䊒䊨䉶䉴㪉. 䊒䊨䉶䉴㪈. req x<=k. 㩿㪏㪀ᬌ⸽⚿ᨐ଀. ࿑㪈㩷䉥䊑䉱䊷䊋䈮䉋䉎䊝䊂䊦ᬌᩏ䈱଀. 䈠䉏䈡䉏㪈㪇 ᤨ㑆䊡䊆䉾䊃ᧂḩ䈮ឃઁ㗔ၞ䈮౉䉏䉎 ታⴕ䉲䊷䉬䊮䉴䉕␜䈚䈩䈇䉎䇯䈖䈱᭽䈭ታⴕ䉲䊷䉬䊮䉴䈏ሽ࿷䈜䉎䈎䇮䈍䉋䈶䇮䈬䈤䉌䈱䊒䊨䉶䉴䉅ᔅ䈝㪈㪇 ᤨ㑆䊡䊆䉾䊃ᧂḩ䈪ឃઁ㗔ၞ䈮౉䉏䉎䈎䉕ᬌ⸽䈜䉎䈢䉄䈱䉥䊑䉱䊷䊋䈫䈚䈩࿑ 㪈㩿㪍㪀䈱ᤨ㑆䉥䊷䊃䊙䊃䊮䉕 ૞ᚑ䈜䉎䇯৻ᣇ䇮䊒䊨䉶䉴㪈䇮㪉䈱ᤨ㑆䉥䊷䊃䊙䊃䊮䈮 ኻ䈚䈩䉅䇮䉥䊑䉱䊷䊋䈮⥄䊒䊨䉶䉴䈱䊨䉬䊷䉲䊢䊮ㆫ ⒖䉕ㅢ⍮䈜䉎䈢䉄䈮࿑ 㪈䈱㩿㪋㪀䇮㩿㪌㪀䈮␜䈜᭽䈮ᄌᦝ 䉕ⴕ䈉䇯䊒䊨䉶䉴㪈䈱ᤨ㑆䉥䊷䊃䊙䊃䊮䈲䇮㫉㪼㫈䇮㪚㪪䈮 ㆫ⒖䈜䉎㓙䈮䈠䉏䈡䉏㫇㪈㫉㪼㫈䇮㫇㪈㪼㫅㫋㪼㫉䈫䈇䈉ㅢା䉟䊔䊮䊃䉕ㅍା䈚䇮䊒䊨䉶䉴㪉䈲ห᭽䈮㫇㪉㫉㪼㫈䇮㫇㪉㪼㫅㫋㪼㫉䈫䈇䈉ㅢା䉟䊔䊮䊃䉕ㅍା䈜䉎䇯䉥䊑䉱䊷䊋䈲䈖䉏䉌䉕ฃ䈔ข䈦䈩⥄り䈱䊨䉬䊷䉲䊢䊮䉕ㅴ䉄䉎䇯㫇㪈㫉㪼㫈䈱䉟䊔䊮䊃䉕ฃା䈜䉎䈫䇮ᤨ㑆ᄌᢙ䈪䈅䉎㫇㪈㫎㪸㫀㫋㫋㫀㫄㪼䉕䉪䊥䉝䈚䇮䊒䊨䉶䉴㪈䈏㫉㪼㫈䈮ㆫ⒖䈚䈢䈖䈫䉕ᗧ๧䈜䉎䊨䉬䊷䉲䊢䊮㩿㪧㪈㪶㫉㪼㫈㪀䈮ㆫ⒖䈜䉎䇯䊒䊨䉶䉴㪉䈏㫉㪼㫈䈮 ㆫ⒖䈚䇮⥄り䈏㪧㪉㪶㫉㪼㫈䈮ㆫ⒖䈚䈢ᓟ䇮ᤨ㑆ᄌᢙ 㫇㪈㫎㪸㫀㫋㫋㫀㫄㪼䈏㪈㪇 ᤨ㑆䊡䊆䉾䊃ᧂḩ䈱㑆䈮䊒䊨䉶䉴㪈䈏㪚㪪䈮ㆫ⒖䈚䈩㫇㪈㪶㪼㫅㫋㪼㫉䈱ㅢା䉟䊔䊮䊃䉕ฃା䈜䉎䈫䉥䊑䉱䊷䊋䈲㪧㪈㪶㪼㫅㫋㪼㫉㪼㪻䈮ㆫ⒖䈚䇮ᒁ䈐⛯䈐䊒䊨䉶䉴㪉䈏㪚㪪䈮ㆫ⒖䈜䉎䈱䉕ᓙ䈧䇯৻ᣇ䇮㫇㪈㫎㪸㫀㫋㫋㫀㫄㪼䈏㪈㪇 ᤨ㑆䊡䊆䉾䊃એ਄䈮䈭䈦䈢ᓟ䈮䊒䊨䉶䉴㪈䈏㪚㪪. ઁ㗔ၞ䈮౉䉐䈉䈫䈚䇮䊒䊨䉶䉴㪈䇮䊒䊨䉶䉴㪉䈱㗅⇟䈪. −144−.

(3) 䈮ㆫ⒖䈚䈩㫇㪈㪶㪼㫅㫋㪼㫉䈱ㅢା䉟䊔䊮䊃䉕ฃା䈜䉎䈫䉥. 䊒䊨䉶䉴㪈. 䊑䉱䊷䊋䈲㪽㪸㫀㫃䊨䉬䊷䉲䊢䊮䈮ㆫ⒖䈜䉎䇯䈠䈱ᓟ䊒䊨. 㪘. 䊒䊨䉶䉴㪈䈱ታⴕ 䉲䊷䉬䊮䉴଀ toA?. 㪘. ㅢା䉟䊔䊮䊃㱍. 䉶䉴㪉䈏㫉㪼㫈䈎䉌㪚㪪䈮㪈㪇 ᤨ㑆䊡䊆䉾䊃એౝ䈮ㆫ⒖. 㪙. 䈜䉏䈳㩷㪽㫀㫅㫀㫊㪿䊨䉬䊷䉲䊢䊮䈮ㆫ⒖䈚䇮㪈㪇 ᤨ㑆䊡䊆䉾䊃. 㪛. 㪓㪈㪇. 㪚. B. 㪉㪇. BtoC? x<10. 㪘 ㅢା䉟䊔䊮䊃㱍. D 㪙. 㩿㪈㪀⋙ⷞ䈚䈢䈇䉲䊷䉬䊮䉴 fail. 䈐䉎䊨䉬䊷䉲䊢䊮䈪䈅䉎䇯䈠䈚䈩䇮ᔅ䈝㪽㪸㫀㫃䊨䉬䊷䉲䊢䊮. 㪉 ᑼ䉕ቯ⟵䈜䉎䈖䈫䈏ᄙ䈇䇯䈖䈱଀䈪䈲䇮㪽㫀㫅㫀㫊㪿䈮೔ ㆐䈜䉎ታⴕ䉲䊷䉬䊮䉴䈲ሽ࿷䈜䉎䈏䇮㪽㪸㫀㫃䈮೔㆐䈜䉎ታⴕ䉲䊷䉬䊮䉴䉅䈅䉍ᓧ䉎䈫䈇䈉ᬌ⸽⚿ᨐ䈏ᓧ䉌䉏䉎䇯䈖䈱䉋䈉䈮䇮䉥䊑䉱䊷䊋䈲ᤨ㑆䉥䊷䊃䊙䊃䊮䈪⴫ ⃻䈘䉏䈩䈍䉍䇮ᬌ⸽⚿ᨐ䈱ಽᨆ䈱䈢䉄䈱ℂ⸃䇮䈅䉎䈇䈲䇮䈘䉌䈭䉎ಽᨆ䈱䈢䉄䈱䉥䊑䉱䊷䊋䈱ୃᱜ╬䉅. ࿑㪉㩷⋙ⷞ䈮ᄬᢌ䈜䉎଀. 䉴䈱⚿ᨐ䈱䉟䊔䊮䊃䈣䈎䉌䈖䈱䉺䉟䊚䊮䉫䈮⿠䈐䈭䈒䈩䈲䈭䉌䈭䈇䇮䈅䉎䈇䈲䇮䈖䈱䉺䉟䊚䊮䉫䈮⊒↢䈚䈢䉟䊔䊮䊃䈮ၮ䈨䈇䈩䈖䈱䉋䈉䈭ಣℂ䉕䈚䈭䈒䈩䈲䈭䉌䈭䈇䈭䈬䈱䊒䊨䉶䉴ౝㇱ䈱䉝䉪䉲䊢䊮䉲䊷䉬䊮䉴䉅หᤨ䈮 ᬌ⸽䈪䈐䉎䈖䈫䈏ᦸ䉁䈚䈇䇯㩷䉥䊑䉱䊷䊋䈱⋙ⷞ⢻ജ㩷 x ᵈ⋡䈜䉎䉲䊷䉬䊮䉴䈮ኻᔕ䈜䉎น⢻ᕈ䈱䈅䉎᜼േ 䈱ቢో䈭⋙ⷞ㩷. Ყセ⊛ኈᤃ䈪䈅䉎䇯䈖䈱䉥䊑䉱䊷䊋䉕䉲䊷䉬䊮䉴䉼䊞䊷䊃䈎䉌↢ᚑ䈜䉎ᬌ⸛䉅䈅䉎㪲㪊㪴䇯䈚䈎䈚ᢥ₂㪲㪊㪴䈪 ឭ᩺䈘䉏䈩䈇䉎ᣇᑼ䈪䈲䇮䉲䊷䉬䊮䉴䉼䊞䊷䊃䈮ኻ ᔕ䈜䉎ᝄ䉎⥰䈇䈜䈼䈩䉕ᬌ⸽䈪䈐䈭䈇႐ว䈏䈅䈦䈢䇯㩷. 㪛. 㩿㪉㪀䉲䉴䊁䊛䈱ታⴕ䉲䊷䉬䊮䉴଀䈫䉥䊑䉱䊷䊋䈱ㆫ⒖. 㪽㫀㫅㫀㫊㪿䊨䉬䊷䉲䊢䊮䈲䈅䉎ታⴕ䉲䊷䉬䊮䉴䈪䈲೔㆐䈪. 䈉ᕈ⾰䉕ᬌ⸽䈜䉎䈢䉄䈱ᬌ⸽ᑼ䈫䈚䈩࿑ 㪈㩿㪎㪀䈮␜䈜. 㪏 ㅢା䉟䊔䊮䊃㱎. finish. ታⴕ䉲䊷䉬䊮䉴䈪೔㆐䈚䈩䈲䈇䈔䈭䈇䊨䉬䊷䉲䊢䊮䇮. 䈮೔㆐䈚䈭䈇䇮㪽㫀㫅㫀㫊㪿䊨䉬䊷䉲䊢䊮䈮೔㆐䈪䈐䉎䇮䈫䈇. ㅢା䉟䊔䊮䊃㱍. 㪙. AtoB? x:=0. ㅢା䉟䊔䊮䊃㱎. એ਄⚻ㆊ䈚䈩䈎䉌㪚㪪䈮ㆫ⒖䈚䈢႐ว䈲㪽㪸㫀㫃䊨䉬䊷䉲䊢䊮䈮ㆫ⒖䈜䉎䇯䈖䈖䈪䇮㪽㪸㫀㫃䊨䉬䊷䉲䊢䊮䈲䈜䈼䈩䈱. A. 䉥䊑䉱䊷䊋䈲䇮⋙ⷞኻ⽎䈱䊒䊨䉶䉴䈱䊨䉬䊷䉲䊢䊮ㆫ⒖䈮ว䉒䈞䈩⥄り䈱䊨䉬䊷䉲䊢䊮䉕ㆫ⒖䈘䈞䉎䈢䉄䇮࿑ 㪈䈮᜼䈕䈢䉥䊑䉱䊷䊋䈱䉋䈉䈮⋙ⷞ䈚䈢䈇䉲䊷䉬䊮䉴䈱䉂䉕ᜬ䈧䉥䊑䉱䊷䊋䈲ਇㇺว䈏↢䈛䉎䈖䈫䈏䈅䉎䇯଀䈋䈳䇮⋙ⷞ䈚䈢䈇䉲䊷䉬䊮䉴䈫৻ㇱ㩿೨. ᧄⓂ䈪䈲䉲䊷䉬䊮䉴䉼䊞䊷䊃䈎䉌ᯏ᪾⊛䈮䉥䊑䉱䊷䊋䉕↢ᚑ䈜䉎䉋䉍⃻ታ⊛䈭ᚻᴺ䉕ឭ᩺䈜䉎䇯㪊 ┨ 䈪ᦼᓙ䈘䉏䉎ⷐઙ䉕ᢛℂ䈚䇮㪋 ┨એ㒠䈪ઍ⴫⊛䈭ᕈ ⢻䊝䊂䊦ᬌᩏ䉿䊷䊦䈪䈅䉎㪬㪧㪧㪘㪘㪣 ะ䈔䈱䉥䊑䉱䊷䊋䉕↢ᚑ䈜䉎ᚻᴺ䉕⺑᣿䈜䉎䇯㩷. ඨ㪀䈱䉂䈏ห৻䈱᜼േ䈮ኻ䈚䈩䉥䊑䉱䊷䊋⥄り䈱䊨䉬䊷䉲䊢䊮䉕ㆫ⒖䈘䈞䈩䈚䉁䈉䈫䇮ㅜਛ䈪ታⴕ䉲䊷䉬䊮䉴䈏⋙ⷞ䈚䈢䈇䉲䊷䉬䊮䉴⇣䈭䈦䈢ᤨὐ䈪䉥䊑䉱䊷䊋䈏஗ᱛ䈚䈩䈚䉁䈉䇮䈅䉎䈇䈲䇮࿑ 㪉䈱䉋䈉䈮⋙ⷞ䈚䈢䈇䉲䊷䉬䊮䉴䈱⛯䈐䈮⋧ᒰ䈜䉎ታⴕ䉲䊷䉬䊮䉴䈏. 㩷. ೎ㅜ⃻䉒䉏䉎႐ว䈮䇮ㅪ⛯䈚䈢䉲䊷䉬䊮䉴䈫⷗䈭䈚. 䋳䋮ᦼᓙ䈘䉏䉎ⷐઙ㩷. 䈩⺋䈦䈢ᤨ㑆೙⚂䈱್ᢿ䉕䈚䈩䈚䉁䈉䈭䈬䈪䈅䉎䇯㩷. 䉲䊷䉬䊮䉴䉼䊞䊷䊃䈎䉌䉥䊑䉱䊷䊋䉕ᯏ᪾⊛䈮↢ ᚑ䈜䉎㓙䈱ⷐ᳞䈫䈚䈩䈲એਅ䈱㗄⋡䈏⠨䈋䉌䉏䉎䇯㩷. x ᵈ⋡䈚䈩䈇䈭䈇੐⽎䈱ㅘ᣿ൻ㩷 ᵈ⋡䈚䈩䈇䉎䉲䊷䉬䊮䉴䈮㑐ଥ䈚䈭䈇䇮ઁ䈱䊒䊨. ᬌ⸽䈜䉎ᕈ⾰䈫䈚䈩ቯ⟵䈪䈐䉎䈖䈫䈏ᦸ䉁䈚䈇੐㗄㩷 x 䊒䊨䉶䉴㑆䉟䊔䊮䊃䈱䉺䉟䊚䊮䉫䉇㗅ᐨ㩷. 䉶䉴䈱䉝䉪䉲䊢䊮䈱ㆫ⒖䉇䈠䈱䉺䉟䊚䊮䉫䈮䉥䊑䉱䊷䊋䈏ᓇ㗀䉕ฃ䈔䈭䈇䈖䈫䈏ᔅⷐ䈪䈅䉎䇯㩷. x 䊒䊨䉶䉴ౝㇱ䈱䉝䉪䉲䊢䊮䉲䊷䉬䊮䉴㩷. 㩷. ᬌ⸽䈚䈢䈇ᕈ⾰䈫䈚䈩䇮ᔅ㗇䈫⠨䈋䉌䉏䉎䈱䈲䇮䊒䊨䉶䉴㑆หᦼ䈮䈎䈎䉒䉎䉟䊔䊮䊃䈪䈅䉎䇯䈢䈫䈋䈳䇮䊒䊨䉶䉴㑆ㅢା䉇䉫䊨䊷䊋䊦ᄌᢙ䈱ᦝᣂ㪆ෳᾖ䈭䈬䈏䈅䉍䇮䈖䉏䉌䈱䉟䊔䊮䊃⊒↢ᤨೞ䈮ኻ䈚䈩⋧੕䈱㗅 ᐨ㑐ଥ䉇૗ᤨ㑆න૏એౝ䈭䈬䈱ᤨ㑆೙⚂䉕ቯ⟵䈪䈐䉎ᔅⷐ䈏䈅䉎䇯䈘䉌䈮䇮⸳⸘⠪䈮䉋䉎ᬌ⸽䈫䈇䈉ⷰ ὐ䈎䉌䈲䇮䊒䊨䉶䉴ౝ䈪䈖䈱䉋䈉䈭䉝䉪䉲䊢䊮䉲䊷䉬䊮. −145−. 㪊䋮䉺䊷䉭䉾䊃䊝䊂䊦ᬌᩏ䉿䊷䊦㪬㪧㪧㪘㪘㪣㩷㪬㪧㪧㪘㪘㪣㪲㪋㪴䈲䇮㪬㫇㫇㫊㪸㫃㪸㩷㪬㫅㫀㫍㪼㫉㫊㫀㫋㫐䈫㪘㪸㫃㪹㫆㫉㪾㩷㪬㫅㫀㫍㪼㫉㫊㫀㫋㫐䈏౒ห㐿⊒䈚䇮ೋ 䈲㪉㪇㪇㪈䈮౏㐿䈘䉏䈢䊝䊂䊦ᬌᩏ䉿䊷䊦䈪䈅䉍䇮એਅ䈱․ᓽ䉕ᜬ䈧䇯㩷 x ᬌ⸽ኻ⽎䈱䉲䉴䊁䊛䈲ਗⴕ䊒䊨䉶䉴⟲䈪᭴ᚑ䈘䉏䇮㪈䊒䊨䉶䉴䈮㪈 ᤨ㑆䉥䊷䊃䊙䊃䊮䈏ኻᔕ䈜䉎䇯㩷.

(4) x ᤨ㑆ᄌᢙ䈲䇮ᤨ㑆䈱⚻ㆊ䈮ᔕ䈛䈩୯䈏Ⴧ䈋䉎ᄌ ᢙ䈪䈅䉎䇯୯䈱Ⴧട䈲䉲䉴䊁䊛ో૕䈮ኻ䈚䈩੕䈇. ႐㕙䈪䈲䇮䉲䊷䉬䊮䉴䉼䊞䊷䊃䉕⹦⚦䈮䈜䉎䈖䈫䈲ή ℂ䈏ή䈇䈫ᕁ䉒䉏䉎䇯㩷 ᤨ㑆೙⚂䈮㑐䈚䈩䈲䇮એਅ䈱᭽䈮⴫⃻䈜䉎䇯. 䈮ห৻䊕䊷䉴䈪䈅䉎䇯㩷 x ᤨ㑆䉥䊷䊃䊙䊃䊮਄䈮ቯ⟵䈜䉎ᤨ㑆೙⚂䈲䇮ㆫ⒖. 㪬㪧㪧㪘㪘㪣䈱ᤨ㑆䉥䊷䊃䊙䊃䊮䈪䈲䇮ฦ䊒䊨䉶䉴䈱ㅢ. 䈮ኻ䈜䉎䉧䊷䊄䇮䈍䉋䈶䇮ฦ䊨䉬䊷䉲䊢䊮䈪䈱ṛ࿷. ା䉇ᄖㇱᄌᢙ䈱ෳᾖ䊶ᦝᣂ䉟䊔䊮䊃䈲ᤨ㑆䉥䊷䊃䊙. ᤨ㑆೙⚂䈫䈚䈩ⷙቯ䈜䉎䇯㫏㪃㩷㫐䈭䈬䈱ᤨ㑆ᄌᢙ䈮. 䊃䊮䈱䊨䉬䊷䉲䊢䊮ㆫ⒖ᤨ䈮ታᣉ䈘䉏䉎䇯䈚䈢䈏䈦䈩䇮. ኻ䈚䇮㫏㩷㪓㩷㪌䇮㫏㩷㵨㩷㫐㩷㪓㩷㪊䈭䈬䈱ᑼ䈪⴫䈜䇯㩷. ᤨ㑆೙⚂䈲䇮䉝䉪䉲䊢䊮䉲䊷䉬䊮䉴䈮䈍䈔䉎․ቯ䈱䉝. x ᬌ⸽ᑼ䈲ઍ⴫⊛䈭ᤨ⋧⺰ℂᑼ䈱⴫⃻ᒻᑼ䈱㪈䈧. 䉪䉲䊢䊮ㆫ⒖䈫䇮ห৻䉁䈢䈲ઁ䈱䊒䊨䉶䉴䈱䉝䉪䉲䊢䊮. 䈪䈅䉎㪚㪫㪣䈱䉰䊑䉶䉾䊃䈪ਈ䈋䉎䇯㪞㫇㩿Ᏹ䈮㫇䈏ᚑ. 䉲䊷䉬䊮䉴䈮䈍䈔䉎䉝䉪䉲䊢䊮ㆫ⒖㑆䈱ඨ㗅ᐨ㑐ଥ. ┙㪀䇮㪝㫇㩿䈇䈧䈎㫇䈏ᢛℂ㪀䈱೨䈮䇮㪘㩿ో䈩䈱ታⴕ䊌. 䉁䈢䈲⋧ኻ⊛䈭ᤨ㑆㑐ଥ䈪␜䈜䈖䈫䈏䈪䈐䉎䇯㩷. 䉴䈪ᚑ䉍┙䈧㪀䇮䉁䈢䈲㪜㩿䈅䉎ታⴕ䊌䉴䈪ᚑ䉍┙䈧㪀. ୘䇱䈱ᤨ㑆೙⚂䈮ኻ䈚䈩䇮Ᏹ䈮ᚑ┙䈚䈭䈒䈩䈲䈭. 䈏ઃ䈐䇮㪘㪞䈭䈬䈱ᓟ䉐䈮䇮ᤨ㑆ᄌᢙ䈮㑐䈜䉎⺰. 䉌䈭䈇೙⚂㩿㪸㫃㫃 ೙⚂䈫⴫⃻䈜䉎㪀䈭䈱䈎䇮䈅䉎䈇䈲䇮䈠. ℂᑼ䈏ᦠ䈔䉎䇯㩷. 䈱೙⚂䉕ḩ䈢䈜ታⴕ䉲䊷䉬䊮䉴䈏ሽ࿷䈜䉏䈳⦟䈇. x 䊒䊨䉶䉴㑆หᦼ䈲䇮䉼䊞䊈䊦䉕੺䈚䈢หᦼဳㅢା 䈪䊝䊂䊦ൻ䈘䉏䈩䈇䉎䇯䉼䊞䊈䊦ฬ䉕ᜰቯ䈚䈩ㅍ. ೙⚂䈭䈱䈎㩿㪼㫏㫀㫊㫋 ೙⚂䈫⴫⃻䈜䉎㪀䉕␜䈜䇯㩷㩷. ฃା䉕ⴕ䈉䈫ᓙ䈤ว䉒䈞䈮䉋䉎หᦼ䈏䈫䉌䉏䉎䇯㪈. 㪋㪅㪉 ⋙ⷞኻ⽎䊒䊨䉶䉴䈱ᤨ㑆䉥䊷䊃䊙䊃䊮䈮ኻ䈜䉎ୃ. ኻ 㪈䈮หᦼ䈜䉎䉼䊞䊈䊦䈫䇮ㅍା஥䈏䊑䊨䉾䉪䈘䉏. ᱜ㩷. 䈝ᓙ䈤ว䉒䈞䈚䈩䈇䉎ో䊒䊨䉶䉴䈫หᦼ䈜䉎หᦼ. ⋙ⷞኻ⽎䊒䊨䉶䉴䈱ᤨ㑆䉥䊷䊃䊙䊃䊮䈮ኻ䈚䈩䇮䉥. ဳ᡼ㅍㅢା䉼䊞䊈䊦䈏䈅䉎䇯䉁䈢䇮䊂䊷䉺䈲䉫䊨. 䊑䉱䊷䊋⥄り䈱䊨䉬䊷䉲䊢䊮ㆫ⒖䉕ㅢ⍮䈜䉎䈢䉄䈱. 䊷䊋䊦ᄌᢙ䉕੺䈚䈩䉇䉍ข䉍䈜䉎䇯ᤨ㑆䉥䊷䊃䊙䊃. ୃᱜ䈏ᔅⷐ䈫䈭䉎䇯䉥䊑䉱䊷䊋䉅䉲䉴䊁䊛䈱৻ㇱ䈫䈭. 䊮䈱ㆫ⒖䈮䉼䊞䊈䊦ฬ㪂㵱㩸㵱䉕⸥ㅀ䈜䉎䈖䈫䈪ㅍା䇮. 䈦䈩േ૞䈜䉎䈢䉄䇮ㅢ⍮䈮䉋䈦䈩ᓙ䈤䈏⊒↢䈜䉎䈭. 䉼䊞䊈䊦ฬ㪂㵱㪖㵱䉕⸥ㅀ䈜䉎䈖䈫䈪ฃା䉕⴫䈜䇯㩷. 䈬䊒䊨䉶䉴䈱േ૞䈏ᄌ䉒䉌䈭䈇䉋䈉䈮᡼ㅍㅢା䉕↪. x ․ᱶ䈭䊨䉬䊷䉲䊢䊮䈫䈚䈩䇮ᤨ㑆䈏⚻ㆊ䈚䈭䈇. 䈇䈩ㅢ⍮䈜䉎䇯◲න䈱䈢䉄䈮ᤨ㑆䉥䊷䊃䊙䊃䊮䈱ฦ. 㪬㫉㪾㪼㫅㫋䊨䉬䊷䉲䊢䊮䈫䇮ᤨ㑆䈏⚻ㆊ䈞䈝䈎䈧ઁ䈮. 䊨䉬䊷䉲䊢䊮䈱ฬ೨䈲ኻᔕ䈜䉎䉝䉪䉲䊢䊮ฬ䈏䈧䈇䈩. Ყ䈼䈩ఝవ⊛䈮ㆫ⒖䈜䉎㪚㫆㫄㫄㫀㫋㫋㪼㪻䊨䉬䊷䉲䊢䊮. 䈍䉍䇮䉲䉴䊁䊛䈪৻ᗧ䈫䈜䉎䇯ୃᱜ䈲䇮࿑ 㪊䈮␜䈜䉋䈉. 䈏䈅䉎䇯㩷. 䈮ฦㆫ⒖䈮ኻ䈚䈩䇮એਅ䈱ㆫ⒖䉕㪚㫆㫄㫄㫀㫋㫋㪼㪻䊨䉬䊷. 㩷. 䉲䊢䊮䈪ធ⛯䈚䈩ᝌ౉䈜䉎䉅䈱䈪䈅䉎䇯㩷. 䋴䋮䉥䊑䉱䊷䊋↢ᚑᚻᴺ㩷. x ㆫ⒖೨ᓟ䈱䊨䉬䊷䉲䊢䊮ฬ䈱⚵䉕ฬ೨䈫䈜䉎᡼ㅍ. 䉥䊑䉱䊷䊋↢ᚑ䈱౉ജ䈫䈭䉎䉲䊷䉬䊮䉴䉼䊞䊷䊃䈱⴫⃻䇮䉥䊑䉱䊷䊋䈮ኻ䈚䈩䇮ฦ䊒䊨䉶䉴䈱䊨䉬䊷. ㅢା䉼䊞䊈䊦䈻䈱ㅍା㩷 x ㆫ⒖೨䈱䊨䉬䊷䉲䊢䊮ฬ䉕ฬ೨䈫䈜䉎᡼ㅍㅢା䉼. 䉲䊢䊮ㆫ⒖䉕ㅢ⍮䈜䉎䈢䉄䈱ୃᱜᣇᴺ䇮䈠䈚䈩䇮䉥䊑. a0 channel1?. 䉱䊷䊋䈱↢ᚑᣇᴺ䈮䈧䈇䈩ㅀ䈼䉎䇯㩷㩷. A0toA1!. a0. 㪋㪅㪈 ౉ജ䈫䈜䉎䉲䊷䉬䊮䉴䉼䊞䊷䊃㩷. channel1?. A0!. ⋙ⷞኻ⽎䈫䈚䈩ᵈ⋡䈜䉎䉲䊷䉬䊮䉴䈲䇮ฦ䊒䊨䉶䉴䈱䉝䉪䉲䊢䊮䉲䊷䉬䊮䉴䈪␜䈜䇯䈖䈖䈪䇮䉝䉪䉲䊢䊮䈲䊒䊨䉶䉴䈱ᤨ㑆䉥䊷䊃䊙䊃䊮䈱ฦ䊨䉬䊷䉲䊢䊮䈮䋱 ኻ䋱䈮ኻᔕ䈜䉎䉅䈱䈫䈜䉎䇯䉲䊷䉬䊮䉴䉼䊞䊷䊃䈲䇮ઁ 䊒䊨䉶䉴䈫䈱䉇䉍ข䉍䈪䈅䉎䉟䊔䊮䊃䈱䉲䊷䉬䊮䉴䉕ਥ. a1 x>400 channel2! a2. x<500. C C. x<500 a1 x>400 channel2! C A1toA2! C A1!. 䈫䈚䈩䊒䊨䉶䉴ౝㇱ䈱⹦⚦䈭䉝䉪䉲䊢䊮䉲䊷䉬䊮䉴䈲 ⸥タ䈚䈭䈇႐ว䉅䈅䉎䇯䈚䈎䈚䇮⸳⸘⠪䈏ᬌ⸽䉕ⴕ䈉. −146−. ࿑㪊㩷䊒䊨䉶䉴䈱ᤨ㑆䉥䊷䊃䊙䊃䊮ୃᱜ଀.

(5) 䊞䊈䊦䈻䈱ㅍା㩷. ḩ䈢䈜䈼䈐᧦ઙ䈱ุቯ䉕䉧䊷䊄䈫䈚䈩ᜬ䈧ㆫ⒖䈫. ㅢ⍮䈱೑↪ᣇᴺ䈫㪉 ⒳㘃䈱ㅢ⍮䈏ᔅⷐ䈭ℂ↱䈲䇮. ㆫ⒖೨ᓟ䈱䊨䉬䊷䉲䊢䊮䈮ኻᔕ䈜䉎䉝䉪䉲䊢䊮䈱⚵ 䉕ฬ೨䈫䈜䉎᡼ㅍㅢା䉼䊞䊈䊦䈎䉌䈱ฃା䉕ᜬ䈧. ᰴ▵䈪ㅀ䈼䉎䇯㩷. ㆫ⒖䈪ធ⛯䈜䉎䇯㩷. 㩷㪋㪅㪊䉥䊑䉱䊷䊋䈱↢ᚑᣇᴺ㩷. ࿑ 㪋䈱䉥䊑䉱䊷䊋଀䉕↪䈇䈩േ䈐䉕⺑᣿䈜䉎䇯䊒䊨. 䉁䈝㪈䊒䊨䉶䉴䉕ኻ⽎䈫䈚䈢႐ว䈱䉥䊑䉱䊷䊋䈱. 䉶䉴䈏䉝䉪䉲䊢䊮㪘㪈䉕⚳ੌ䈚䈩㪘㪉䉕㐿ᆎ䈜䉎䇮䈜䈭. ↢ᚑᚻᴺ䈮䈧䈇䈩ㅀ䈼䇮䈠䈱ᓟ䈮ⶄᢙ䊒䊨䉶䉴䉕ኻ. 䉒䈤ᤨ㑆䉥䊷䊃䊙䊃䊮䈮䈍䈇䈩ኻᔕ䈜䉎䊨䉬䊷䉲䊢䊮. ⽎䈫䈜䉎႐ว䈮䈧䈇䈩ㅀ䈼䉎䇯㩷. 㪘㪈䈎䉌䊨䉬䊷䉲䊢䊮㪘㪉䈮ㆫ⒖䈜䉎䈫䇮䉥䊑䉱䊷䊋䈲. ࿑ 㪋䈫࿑ 㪌䈮䉲䊷䉬䊮䉴䉼䊞䊷䊃䈫ኻᔕ䈚䈩↢ᚑ䈘. 㪘㪅㪈㫋㫆㪘㪅㪉䈱䉼䊞䊈䊦䈎䉌ฃା䈚䈩䉝䉪䉲䊢䊮㪘㪉䈮ኻ. 䉏䉎䈼䈐䉥䊑䉱䊷䊋䈱଀䉕␜䈚䇮એਅ䈮↢ᚑᚻ㗅䉕. ᔕ䈜䉎䊨䉬䊷䉲䊢䊮䈮ㆫ⒖䈜䉎䇯䈠䈱ᓟ䇮䊒䊨䉶䉴䈏. ㅀ䈼䉎䇯㩷. 䉝䉪䉲䊢䊮㪘㪉䉕㐿ᆎ䈚䈩䈎䉌䈱⚻ㆊ䈏ᤨ㑆䊡䊆䉾䊃. 㪈㪀䉲䊷䉬䊮䉴䉼䊞䊷䊃䈱䉝䉪䉲䊢䊮䈮ኻᔕ䈜䉎䊨䉬䊷. 㪊㪇㪇 એ਄ 㪊㪌㪇 એౝ䈮䉝䉪䉲䊢䊮㪘㪊䉕㐿ᆎ䈜䉎䈫䇮䉥. 䉲䊢䊮䈫䉝䉪䉲䊢䊮ㆫ⒖䈮ኻᔕ䈜䉎䊨䉬䊷䉲䊢䊮ㆫ. 䊑䉱䊷䊋䈲㪘㪅㪉㫋㫆㪘㪅㪊䈱䉼䊞䊈䊦䈎䉌ฃା䈚䈩䉝䉪䉲. ⒖䉕㈩⟎䈚䇮ᦨೋ䈱䉝䉪䉲䊢䊮䉕ೋᦼ䊨䉬䊷䉲䊢䊮. 䊢䊮㪘㪊䈮ኻᔕ䈜䉎䊨䉬䊷䉲䊢䊮䈮ㆫ⒖䈜䉎䇯䈚䈎䈚䇮. 䈫䈜䉎䇯䈘䉌䈮䇮㪽㫀㫅㫀㫊㪿䊨䉬䊷䉲䊢䊮䈫㪽㪸㫀㫃䊨䉬䊷䉲䊢. ᤨ㑆⚻ㆊ䈏ᤨ㑆䊡䊆䉾䊃㪊㪇㪇 ᧂḩ䉁䈢䈲㪊㪌㪇䉋䉍ᄢ䈐. 䊮䉕ㅊട䈚䈩䇮ᦨᓟ䈱䉝䉪䉲䊢䊮䈮ኻᔕ䈜䉎䊨䉬䊷. 䈎䈦䈢႐ว䇮䈍䉋䈶䇮ᰴ䈱䉝䉪䉲䊢䊮䈏㪘㪊 એᄖ䈱႐. 䉲䊢䊮䈎䉌㪽㫀㫅㫀㫊㪿䊨䉬䊷䉲䊢䊮䈻䈱ㆫ⒖䉕ㅊട䈜. ว䈲䇮⋙ⷞ䈚䈢䈇䉲䊷䉬䊮䉴䈫䈲⇣䈭䉎䈫್ᢿ䈚䈩䈱. 䉎䇯㩷. ಣℂ䈫䈭䉎䇯䈠䈱႐ว䈲䉥䊑䉱䊷䊋䈱㪘㪊䈮ኻᔕ䈜䉎䊨䉬䊷䉲䊢䊮䈻䈱ㆫ⒖䈮䈲䉧䊷䊄䈮෻䈜䉎䇮䉁䈢䈲䇮. 㪉㪀 ฦㆫ⒖䈮䈍䈇䈩䇮೨ᓟ䈱䉝䉪䉲䊢䊮䈱⚵䉕ฬ೨䈫䈜䉎᡼ㅍㅢା䉼䊞䊈䊦䈎䉌䈱ฃା䉕ઃട䈜䉎䇯㩷. 䉼䊞䊈䊦䈎䉌䈱ฃା䈏䈪䈐䈝䈮ㆫ⒖䈞䈝䇮ᒁ䈐⛯䈐. 㪊㪀 ฦ䊨䉬䊷䉲䊢䊮䈫ೋᦼ䊨䉬䊷䉲䊢䊮䈱㑆䉕䇮ኻᔕ䈜. 䊒䊨䉶䉴䈱ᤨ㑆䉥䊷䊃䊙䊃䊮䈎䉌ㅍା䈘䉏䉎㪘㪉䈱䉼. 䉎䉝䉪䉲䊢䊮ฬ䉕ฬ೨䈫䈜䉎᡼ㅍㅢା䈎䉌䈱ฃା䉕. 䊞䊈䊦䈎䉌ฃା䈚䈩ೋᦼ䊉䊷䊄䈻ㆫ⒖䈜䉎䇯䈠䈱ᓟ䇮. ᜬ䈧ㆫ⒖䈪ធ⛯䈜䉎䇯㩷. ౣ䈶䇮䉝䉪䉲䊢䊮㪘㪈䈎䉌䈱ታⴕ䉲䊷䉬䊮䉴䈏㐿ᆎ䈘䉏䉎䈱䉕ᓙ䈧䇯㩷. 㪋㪀 ᤨ㑆೙⚂Ფ䈮ᤨ㑆ᄌᢙ䉕ቯ⟵䈚䇮ᤨ㑆೙⚂䈱⿠ ὐ䈫䈭䉎ㆫ⒖䈮䈠䈱ᤨ㑆ᄌᢙ䈱䉪䊥䉝ಣℂ䉕ઃട. ৻ᣇ䇮ᤨ㑆೙⚂䈏࿑ 㪌䈱଀䈱䉋䈉䈮㪸㫃㫃 ᤨ㑆೙⚂. 䈜䉎䇯㩷. 䈪䈅䈦䈢႐ว䈲䇮ᰴ䈱䉝䉪䉲䊢䊮䈲䉲䊷䉬䊮䉴䈫ห䈛. 㪌㪀 ᤨ㑆೙⚂䉕್ቯ䈜䈼䈐ㆫ⒖䈮䇮ḩ䈢䈜䈼䈐᧦ઙ. 䈣䈏ᤨ㑆೙⚂䈮෻䈚䈢႐ว䈮䈲㪽㪸㫀㫃䊨䉬䊷䉲䊢䊮䈻. 䉕䉧䊷䊄䈫䈚䈩ᜬ䈧ㆫ⒖䉕㪬㫉㪾㪼㫅㫋䊨䉬䊷䉲䊢䊮䈪. 䈱ㆫ⒖䉕ⴕ䈇䇮ᰴ䈱䉝䉪䉲䊢䊮䈏䉲䊷䉬䊮䉴䈫⇣䈭䉎. ធ⛯䈚䈩ᝌ౉䈜䉎䇯㩷. ႐ว䈮䈲਄䈱଀䈫ห᭽䈮ೋᦼ䊉䊷䊄䈮ᚯ䈦䈩䇮ౣ䈶 ⋙ⷞኻ⽎䈱ታⴕ䉲䊷䉬䊮䉴䈏㐿ᆎ䈘䉏䉎䈱䉕ᓙ䈧䇯㩷. 㪍㪀 ᤨ㑆೙⚂䈏㪸㫃㫃 ೙⚂䈪䈅䈦䈢႐ว䈲䇮࿑ 㪌䈮␜䈜䉋䈉䈮䇮ㆫ⒖೨䈱䊨䉬䊷䉲䊢䊮䈫㪽㪸㫀㫃䊨䉬䊷䉲䊢䊮䉕䇮. Process A. a1. Process A. a1. A1 exist(300<=&& <=350). A2. clock1>=300, clock1<=350. all(<=400). clock>400. clock1<=400. U. U. U. A3. A.1?. a2. A.1?. a2. A2. A.0toA.1? clock1:=0. A1. A.1toA.2? clock1:=0. A3. A.2toA.3?. A.1toA.2? a3. a3. A.1toA.2? fail. finish. finish. ࿑㪌㩷㪸㫅㫐ᤨ㑆೙⚂䈮ኻ䈜䉎䉥䊑䉱䊷䊋↢ᚑ଀. ࿑㪋㩷㪼㫏㫀㫊㫋ᤨ㑆೙⚂䈮ኻ䈜䉎䉥䊑䉱䊷䊋↢ᚑ଀. −147−.

(6) Process A. Process B. Process A. a1. A1 A2 A3. A1. A1toA2? a2. A2?. A2toA3? a3. A3?. A3toA1? A2toA3?. B1 exist(>10). A2. B2 exist(>0). A1?. B3. a1. A1. A1toA2? a2. A2. A2toA4?. A3. A2?. 㩿㪈㪀䉲䊷䉬䊮䉴䉼䊞䊷䊃. a4. a1. A4. finish. A.1toA.2? a_loc := 2 clock1:=0 a2. ࿑㪍㩷䉥䊑䉱䊷䊋↢ᚑ଀. b1 B.1toB.2? b.loc := 2 A.1?. b.loc >= 3 A.2toA.3? a.loc := 3. 䈖䈖䈪䇮䉲䊷䉬䊮䉴䉼䊞䊷䊃䈮䈍䈇䈩䇮࿑ 㪍䈱䉝䉪䉲䊢䊮㪘㪈䌾䉝䉪䉲䊢䊮㪘㪉䈱䉋䈉䈮వ㗡䈎䉌䈱䉝䉪䉲䊢䊮䉲䊷䉬䊮䉴䈱䊌䉺䊷䊮䈏䇮䉲䊷䉬䊮䉴䈱ㅜਛ䈮ౣ. a3. a.loc>=2 B.2toB.3? b.loc := 3 U. clock1>10. clock1<=10. b3. 䈶಴⃻䈜䉎႐ว䉕⠨䈋䉎㩿㊀ⶄ䉲䊷䉬䊮䉴䈫๭䈹㪀䇯䈖 finish. 䈱႐ว䈲䇮ᚻ㗅㩿㪊㪀䈱ᓟ䈮ᦝ䈮䈠䈱䊨䉬䊷䉲䊢䊮䈮ኻ. finish. 䈚䈩એਅ䈱ᚻ㗅䈏ᔅⷐ䈫䈭䉎䇯㩷㪊㵭㪀㪉 ࿁⋡એ㒠䈱㊀ⶄ䉲䊷䉬䊮䉴䈱ᦨᓟ䈱䊨䉬䊷䉲䊢. B.1?. b2. 㩿㪉㪀㪧㫉㫆㪺㪼㫊㫊㪘䈱䉥䊑䉱䊷䊋. 䊮䈫䇮వ㗡䈱㊀ⶄ䉲䊷䉬䊮䉴䈮ᒁ䈐⛯䈒䊨䉬䊷䉲䊢䊮. 㩿㪊㪀㪧㫉㫆㪺㪼㫊㫊㪙䈱䉥䊑䉱䊷䊋. ࿑㪎㩷ⶄᢙ䊒䊨䉶䉴䈱ㆫ⒖㑆䈱 ᤨ㑆೙⚂䇮㗅ᐨ೙⚂䈮ኻ䈜䉎䉥䊑䉱䊷䊋଀. 䈱㑆䉕䇮ኻᔕ䈜䉎䉝䉪䉲䊢䊮䈱⚵䉕ฬ೨䈫䈜䉎᡼ㅍㅢ. ᄌᢙ䉕ቯ⟵䈚䇮ᤨ㑆೙⚂䈱⿠ὐ䈫䈭䉎ㆫ⒖䈮ᤨ㑆. ା䈎䉌䈱ฃା䉕ᜬ䈧ㆫ⒖䈪ធ⛯䈜䉎䇯㩷. ᄌᎽ䉕䉪䊥䉝ಣℂ䉕ઃട䈜䉎䇯㩷. ࿑ 㪍䈱଀䈪㪘㪈㪃㪘㪉㪃㪘㪊㪃㪘㪈㪃㪘㪉㪃㪘㪊㪃㪘㪈㪃㪘㪉㪃㪘㪋䈫䈇䈉䉝䉪䉲䊢䊮䉲䊷䉬䊮䉴䈲䇮⋙ⷞ䈚䈢䈇䉲䊷䉬䊮䉴䉕฽. 㪊㪀 ᤨ㑆೙⚂䉁䈢䈲㗅ᐨ೙⚂䉕್ቯ䈜䈼䈐ㆫ⒖䈮ኻ. 䉖䈪䈇䉎䈏䇮䈖䈱ㆫ⒖䈏ή䈇႐ว䈲㪉 ࿁⋡䈱㪘㪊䈱. 䈚䈩䇮⿠ὐ䈫䈭䉎ㆫ⒖䉕ᜬ䈧䊒䊨䉶䉴䈱⃻࿷䊨䉬. ᰴ䈱㪘㪈䈪ೋᦼ䊨䉬䊷䉲䊢䊮䈮ᚯ䈦䈩䈚䉁䈇⋙ⷞ䈪䈐. 䊷䉲䊢䊮䈏⿠ὐ䈫䈭䉎ㆫ⒖એ㒠䈪䈅䉎䈖䈫䉕␜䈜᧦. 䈭䈇䈏䇮䈖䈱ㆫ⒖䈱ㅊട䈪ᱜ䈚䈒⋙ⷞ䈪䈐䉎䉋䈉䈮䈭. ઙ䉕䉧䊷䊄䈫䈚䈩ઃട䈜䉎䇯೙⚂䈏㪸㫃㫃 ೙⚂䈱႐ว. 䉎䇯㩷. 䈲⃻࿷䊨䉬䊷䉲䊢䊮䈏⿠ὐ䈫䈭䉎ㆫ⒖䉋䉍೨䈪䈅䉎. 㩷 ᰴ䈮ⶄᢙ䊒䊨䉶䉴䉕ኻ⽎䈫䈜䉎႐ว䈮䈧䈇䈩ㅀ䈼. 䈖䈫䉕␜䈜᧦ઙ䈱䉧䊷䊄䈫䇮ㆫ⒖೨ᓟ䈱䊨䉬䊷䉲䊢. 䉎䇯䉁䈝䇮୘䇱䈱䊒䊨䉶䉴䈮ኻ䈚䈩䈖䉏䉁䈪ㅀ䈼䈩䈐. 䊮䈮ኻᔕ䈜䉎䉝䉪䉲䊢䊮䈱⚵䉕ฬ೨䈫䈜䉎䈾䈉ㅍㅢ. 䈢ᚻᴺ䈪䉥䊑䉱䊷䊋䉕↢ᚑ䈜䉎䇯䈠䈱਄䈪䇮એਅ䈱. ା䉼䊞䊈䊦䈎䉌䈱ฃା䉕ᜬ䈧ㆫ⒖䈪㪽㪸㫀㫃䊨䉬䊷䉲. ᚻ㗅䈪䈖䉏䉌䈱䉥䊑䉱䊷䊋䈮ୃᱜ䉕ട䈋䉎䇯䈖䈖䈪. 䊢䊮䈫ធ⛯䈜䉎䇯㩷. 䈲䇮ᤨ㑆೙⚂䈏㪇䉋䉍ᄢ䈐䈇䈫䈇䈉᧦ઙ䈱႐ว䉕․䈮. 㪋㪀 ᤨ㑆೙⚂䈱႐ว䈲䇮್ቯ䈜䈼䈐ㆫ⒖䈮䈘䉌䈮ᤨ. 㗅ᐨ೙⚂䈫๭䈹䈖䈫䈮䈜䉎䇯㩷. 㑆೙⚂䉕᧦ઙ䈫䈜䉎䉧䊷䊄䉕ઃട䈚䈢ㆫ⒖䉕. 㪈㪀䉥䊑䉱䊷䊋Ფ䈮䇮⃻࿷䊨䉬䊷䉲䊢䊮䉕␜䈜䉫䊨䊷. 㪬㫉㪾㪼㫅㫋䊨䉬䊷䉲䊢䊮䈪ធ⛯䈚䈩ᝌ౉䈜䉎䇯ᤨ㑆೙. 䊋䊦ᄌᢙ䉕ቯ⟵䈚䇮䉲䊷䉬䊮䉴䉼䊞䊷䊃䈱䉝䉪䉲䊢. ⚂䈏㪼㫏㫀㫊㫋 ᤨ㑆೙⚂䈱႐ว䈲㪬㫉㪾㪼㫅㫋䊨䉬䊷䉲䊢䊮. 䊮ㆫ⒖䈮ኻᔕ䈜䉎ฦㆫ⒖䈮ኻ䈚䈩䇮ᰴ䈱䊨䉬䊷䉲. 䈫ೋᦼ䊨䉬䊷䉲䊢䊮䈱㑆䉕䇮㪸㫃㫃 ᤨ㑆೙⚂䈱႐ว䈲. 䊢䊮䉕␜䈜୯䈱ઍ౉ಣℂ䉕ઃട䈜䉎䇯㩷. 㪬㫉㪾㪼㫅㫋䊨䉬䊷䉲䊢䊮䈫㪽㪸㫀㫃䊨䉬䊷䉲䊢䊮䈱㑆䉕䇮䈠䉏䈡䉏ᤨ㑆೙⚂䈱ุቯ᧦ઙ䉕䉧䊷䊄䈫䈚䈩ᜬ䈧ㆫ. 㪉㪀 ᤨ㑆೙⚂䉁䈢䈲㗅ᐨ೙⚂Ფ䈮䇮䉫䊨䊷䊋䊦ᤨ㑆. −148−.

(7) ⒖䈪ធ⛯䈜䉎䇯㩷. 䊙䉟䉪䊨⑽䉕䊎䉾䊃䉴䊨䉾䊃䈫๭䈶䇮䊎䉾䊃䉴䊨䉾䊃䈱ਛ㑆䇮. ࿑ 㪎䈮ᧄᚻ㗅䈪䉥䊑䉱䊷䊋䉕↢ᚑ䈚䈢଀䉕␜䈜䇯. 㪋㪋㪋䊙䉟䉪䊨⑽ᤨὐ䈪㔚࿶䈏㫃㫆㫎䈎䉌㪿㫀㪾㪿䈮ᄌൻ䈜. ࿑䈮䈍䈇䈩ᄥሼ䈪␜䈚䈢ㇱಽ䈏䈖䈱ᚻ㗅䈪ㅊട䈘. 䉏䈳㪈䇮㪿㫀㪾㪿䈎䉌㫃㫆㫎䈮ᄌൻ䈜䉏䈳㪇㩷䉕ᗧ๧䈜䉎䇯. 䉏䈢ㇱಽ䈪䈅䉎䇯㩷. 䈖䈱➅䉍㄰䈚䈪䊂䊷䉺䈱䊎䉾䊃೉䉕ㅍା䈜䉎䇯ⶄᢙ䈱㪪㪼㫅㪻㪼㫉䈏หᤨ䈮ㅍା䈚䈢႐ว䇮䈠䉏䈡䉏䈏⸳ቯ䈚䈢. ᦨᓟ䈮䇮ᬌ⸽ᑼ䈲࿑ 㪈䈱଀䈫ห᭽䈪䇮㩷 x 㪜㪓㪕㩿㩷㩿䉥䊑䉱䊷䊋ฬ㪀㪅㪽㫀㫅㫀㫊㪿㩷㪀㩷. 㔚࿶䈱㫆㫉䈏䊋䉴䈱㔚࿶䈫䈭䉎䇯㪪㪼㫅㪻㪼㫉䈲࿑ 㪐䈮␜䈜. x 㪘㪲㪴㩿㩷㩿䉥䊑䉱䊷䊋ฬ㪀㪅㪽㪸㫀㫃㩷㪀㩷㩷. 䉋䈉䈮䇮䊎䉾䊃䉴䊨䉾䊃䈱㪈㪆㪋䉁䈢䈲㪊㪆㪋 ᤨὐ䈪⥄り䈏. 䈱㪉 ⒳㘃䈪䈅䉎䇯㩷. 㫃㫆㫎䉕⸳ቯ䈚䈩䈇䈢႐ว䈲䊋䉴䈱㔚࿶䉕䉼䉢䉾䉪䈚䇮. 㩷. 㪿㫀㪾㪿䈮䈭䈦䈩䈇䈢႐ว䈲ઁ䈱㪪㪼㫅㪻㪼㫉䉅หᤨ䈮䊂䊷. 䋴䋮䉝䊒䊥䉬䊷䉲䊢䊮䈻䈱ㆡ↪଀䈫⹏ଔ㩷. 䉺䉕ㅍାਛ䈪䈅䉍ⴣ⓭䈏⿠䈐䈩䈇䉎䈫್ᢿ䈚䈩䇮ㅍା. ឭ᩺ᚻᴺ䉕㪬㪧㪧㪘㪘㪣䈱ㆡ↪੐଀䈫䈚䈩ႎ๔䈘䉏䈩. 䉕ਛᢿ䈜䉎䇯ㅍା䉕㐿ᆎ䈜䉎ᤨ䈲㔚࿶䈏㫃㫆㫎䈪䈅䉎. 䈇䉎䉥䊷䊂䉞䉥ᯏེ㑆䈱ㅢା䊒䊨䊃䉮䊦㪲㪌㪴䈮ㆡ↪䈚. 䈖䈫䉕⏕⹺䈚䈩䈎䉌㪉㪇䊙䉟䉪䊨⑽એౝ䈮㔚࿶䉕㪿㫀㪾㪿. 䈩䇮േ૞⏕⹺䉕ⴕ䈦䈢䇯ᧄ䉝䊒䊥䉬䊷䉲䊢䊮䈲䇮. 䈮䈜䉎䇯䈖䈱㪉㪇䊙䉟䉪䊨⑽䈱㑆䈮ઁ䈱㪪㪼㫅㪻㪼㫉䉅หᤨ. 㪩㪼㪺㪼㫀㫍㪼㫉䈫ⶄᢙ䈱㪪㪼㫅㪻㪼㫉䈏䊋䉴䉕੺䈚䈩ធ⛯䈘䉏䈢. 䈮ㅍା䉕㐿ᆎ䈜䉎น⢻ᕈ䈏䈅䉍䇮䊎䉾䊃䉴䊨䉾䊃䈲. 䉲䉴䊁䊛䉕ኻ⽎䈫䈚䈩䈇䉎䇯䊂䊷䉺䈲䊎䉾䊃೉䈱㪈䈫㪇. 㪪㪼㫅㪻㪼㫉㑆䈪ᦨᄢ 㪉㪇䊙䉟䉪䊨⑽䈝䉏䉎䇯䈘䉌䈮䇮. 䉕䇮䊋䉴㔚࿶ᄌൻ䈪વ䈋䉎䇯࿑ 㪏䈮␜䈜䉋䈉䈮䇮㪏㪏㪏. 㪪㪼㫅㪻㪼㫉䈏㔚࿶䉕ᄌൻ䈘䈞䉎䉺䉟䊚䊮䉫䇮䊋䉴䈱㔚࿶䉕䉼䉢䉾䉪䈜䉎䉺䉟䊚䊮䉫䇮㪩㪼㪺㪼㫀㫍㪼㫉䈏䊋䉴䈱㔚࿶䉕䉼䉢. 㔚࿶. 䉾䉪䈜䉎䉺䉟䊚䊮䉫䈲䈠䉏䈡䉏ᦨᄢ 㪌㩼䈝䉏䉎น⢻ᕈ. bit slot. 䈏䈅䉎䇯ᢥ₂㪲㪌㪴䈪䈲䈖䈱䉋䈉䈭᧦ઙ䈪䊒䊨䊃䉮䊦䈏ᱜ. high time low. 䈚䈒䊂䊷䉺ォㅍ䉕䈪䈐䉎䈎䉕䊝䊂䊦ᬌᩏ䈪ᬌ⸽䈚䈩䈇䉎䇯䈠䈱⚿ᨐਇౕว䉕⊒⷗䈚䈢䉲䉴䊁䊛䉕ኻ⽎䈮䇮. low㸢high : 䇸1䇹. high㸢low : 䇸0䇹. 䈘䉌䈮䇮䉺䉟䊚䊮䉫䈱䈝䉏䈏㪇㪅㪈㩼䉁䈪ዋ䈭䈇䈫઒ቯ䈚䈢႐ว䈪䉅䇮ⴣ⓭䈏⊒⷗䈪䈐䈭䈒䈭䉎䈇䈒䈧䈎䈱䉲䊷. 㪈㪈㪈䈱႐ว. 䉬䊮䉴䈏⿠䈖䉍䈋䉎䈖䈫䉕ᬌ⸽䈚䈢䇯࿑ 㪈㪇䈮ᬌ⸽䈚䈢. 㪈㪈㪇䈱႐ว. 䈇䉲䊷䉬䊮䉴䉕␜䈜䇯䈖䈱䉲䊷䉬䊮䉴䈲䇮㪪㪼㫅㪻㪼㫉㪘䈏㪈㪇㪈䈱႐ว. 㔚࿶䉕䉼䉢䉾䉪䈜䉎䊎䉾䊃䉴䊨䉾䊃䈱㪈㪆㪋䈎䉌㪊㪆㪋䈱㑆. 㪈㪇㪇䈱႐ว. 䈮䇮㪪㪼㫅㪻㪼㫉㪙䈱䊎䉾䊃䉴䊨䉾䊃㪈㪆㪉䉁䈪䈱㔚࿶ 㪿㫀㪾㪿䈱 ࿑㪏㩷䊂䊷䉺ㅍା䈱଀. ᦼ㑆䈏෼䉁䈦䈩䈚䉁䈇䇮ⴣ⓭䈏⊒⷗䈪䈐䈭䈒䈭䉎䉬䊷䉴䈪䈅䉎䇯࿑ 㪈㪇䈱㪟㪝㪃㪣㪪㪈㪃㪣㪪㪉㪃㪣㪝㪈㪃㪣㪝㪉䈲䈠䉏䈡䉏䈱䉺䉟䊚䊮䉫䈪㪪㪼㫅㪻㪼㫉䈏ⴕ䈦䈩䈇䉎䉝䉪䉲䊢䊮䈪䈅䉎䇯. SenderA:10䉕ㅍା. 䉲䊷䉬䊮䉴䉼䊞䊷䊃䈲࿑ 㪈㪈䈮␜䈜䉋䈉䈮䈭䉍䇮䈖䉏䉕䉅䈫䈮ឭ᩺䈚䈢ᚻᴺ䈪↢ᚑ䈚䈢䉥䊑䉱䊷䊋䉕࿑ 㪈㪉䈮 ␜䈜䇯㪪㪼㫅㪻㪼㫉䇮㪩㪼㪺㪼㫀㫍㪼㫉䇮㪙㫌㫊䈱ᤨ㑆䉥䊷䊃䊙䊃䊮䉅ឭ. Bus. ᩺ᚻᴺ䈪ୃᱜ䈚䇮㪬㪧㪧㪘㪘㪣䈪ᬌ⸽䈚䈢䈫䈖䉐䇮࿑ 㪈㪊䈱ታⴕ䉲䊷䉬䊮䉴䈪࿑ 㪈㪇䈮␜䈜䉲䊷䉬䊮䉴䈏⊒↢ 䈜䉎䈖䈫䈏䉒䈎䈦䈢䇯ౕ૕⊛䈮䈲䇮㪪㪼㫅㪻㪼㫉㪘䈏Ᏹ䈮䉺䉟䊚䊮䉫䈏ㆃ䉏䇮㪪㪼㫅㪻㪼㫉㪙䈏Ᏹ䈮䉺䉟䊚䊮䉫䈏ᣧ䈒䈭䉎. SenderB:11䉕ㅍା. 䉬䊷䉴䈪䇮䉺䉟䊚䊮䉫䈱䈝䉏䈏⚥Ⓧ䈚䈩↢䈛䉎䈖䈫䈏䉒䈎䈦䈢䇯䉁䈢䇮㪪㪼㫅㪻㪼㫉㪙䈱䉲䊷䉬䊮䉴䈮䈲䉝䉪䉲䊢䊮. 䈖䈖䈪䉼䉢䉾䉪䈚䈩ⴣ⓭䉕⊒⷗䈚䇮ㅍା䉕ਛᢿ. ࿑㪐㩷㪪㪼㫅㪻㪼㫉䈏ⴣ⓭䉕⊒⷗䈜䉎଀. 㪟㪝㪄㪣㪝㪈䈱㊀ⶄ䊌䉺䊷䊮䈏ሽ࿷䈜䉎䈏䇮࿑ 㪈㪊䈮␜ 䈜䉋䈉䈮⋥೨䈮⋙ⷞ䈚䈩䈇䈢䉲䊷䉬䊮䉴䈱㪟㪝㪄㪣㪝㪈. −149−.

(8) ⒖䈏䇮㪋㪉䊨䉬䊷䉲䊢䊮䇮㪋㪏 ㆫ⒖䈮䇮㪙㫌㫊䈲㪉䊨䉬䊷䉲 HF. 㪪㪼㫅㪻㪼㫉㪘. LS1. LS2. ᤨ㑆. LF2. LF1. 䊢䊮㪋 ㆫ⒖䈏㪏䊨䉬䊷䉲䊢䊮㪈㪇 ㆫ⒖䈮Ⴧ䈋䉎䇯㪪㪼㫅㪻㪼㫉. high 䊋䉴㔚࿶ low. 䈲㪉䊒䊨䉶䉴䈅䉎䈱䈪䇮ว⸘䈪䊨䉬䊷䉲䊢䊮ᢙ䈲⚂ 㪋㪅㪉 ୚䇮ㆫ⒖ᢙ䈲⚂ 㪊 ୚䇮ว⸘䈪䈲㪊㪅㪋 ୚䈫䈭䉎䇯㩷. 䉼䉢䉾䉪䉕ⴕ䈉ᤨὐ. 㪪㪼㫅㪻㪼㫉㪙. HF. LF1 LF2. HF. ᤨ㑆. LF1. high 䊋䉴㔚࿶ low. 䊝䊂䊦ᬌᩏ䈮䈍䈇䈩䈲䊨䉬䊷䉲䊢䊮ᢙ䉇ㆫ⒖ᢙ䈏 Ⴧ䈋䉎䈖䈫䈲৻⥸䈮䈲⁁ᘒⓨ㑆䉕⪺䈚䈒Ⴧ䉇䈚䈩ᬌ ⸽ല₸䉕ਅ䈕䈩䈚䉁䈉䈏䇮ᧄᚻᴺ䈪ㅊട䈚䈩䈇䉎䈱. ࿑㪈㪇㩷ᬌ⸽䈚䈢䈇ᝄ䉎⥰䈇. 䈲䈜䈼䈩㪚㫆㫄㫄㫀㫋㫋㪼㪻䊨䉬䊷䉲䊢䊮䈫䈠䈱೨ᓟ䈱ㆫ⒖ 䈪䈅䉍䇮ㅢᏱ䈱䊨䉬䊷䉲䊢䊮䈮Ყ䈼䉎䈫ᓇ㗀䈏䈲䉎䈎. 㪪㪼㫅㪻㪼㫉㪘. HF. LS1. LS2. LF1. LF2. 㪪㪼㫅㪻㪼㫉㪙. HF. 䈮ዋ䈭䈇䈖䈫䈏ႎ๔䈘䉏䈩䈇䉎㪲㪌㪴䇯㩷. exist(>10). exist(>10) LF1 LF2. HF. ᓇ㗀䉕⺞䈼䉎䈢䉄䈮䇮䊁䉴䊃↪䈱◲න䈭ᕈ⾰䈮ኻ. LF1. 䈚䈩䇮ర䈱ᤨ㑆䉥䊷䊃䊙䊃䊮䈪䈱䊝䊂䊦ᬌᩏ䈮䈎䈎䉎 ࿑㪈㪈㩷䉲䊷䉬䊮䉴䉼䊞䊷䊃. ᤨ㑆䈫䇮ୃᱜᓟ䈱ᤨ㑆䉥䊷䊃䊙䊃䊮䈪䈱䊝䊂䊦ᬌᩏ 䈮䈎䈎䉎ᤨ㑆䉕⸘᷹䇮Ყセ䈚䈢䇯䈜䉎䈫䇮㪈㪅㪏 ⑽䈎䈎. aHF. bHF. aHFLS1? a_loc := 1. bHFLF1? b_loc := 1. aLS1? a_loc:=0. aLS1 aLS1LS2? a_loc := 2 clock1 := 0 aLS2. bLF1LF2? b_loc := 2 bLF2. aLF1? a_loc:=0. b_loc >= 4 aLF1LF2? a_loc := 4. clock2<=10. ᓟઁ䈱଀䈪⹏ଔ䉕ㅴ䉄䈩䈇䈐䈢䈇䇯㩷㩷. 㪌䋮䈍䉒䉍䈮㩷. clock1<=10. clock1>10. U a_loc:=0. ㄭ䈇䉅䈱䈪䈅䉍䇮ታ↪⊛䈮䈲⸵ኈ▸࿐䈫⸒䈋䉎䇯੹. bLF2? b_loc:=0. a_loc=>2 bLF2HF? b_loc := 3. aLS2LF1? a_loc := 3. 䉎䇯䈖䈱ᢙ୯䈲䇮䊨䉬䊷䉲䊢䊮䈫ㆫ⒖䈱ว⸘䈱୚ᢙ䈮. bLF1? b_loc:=0. bLF1. aLS2? a_loc:=0. aLF1. 䈦䈩䈇䈢䈫䈖䉐䈏䇮㪍㪅㪌 ⑽䈎䈎䉍䇮⚂ 㪊㪅㪍 ୚䈫䈭䈦䈩䈇. bHFLF1? b_loc := 1. U b_loc:=0. ⚵䉂ㄟ䉂ဳ䈱䉸䊐䊃䉡䉢䉝⸳⸘ᤨ䈮૞ᚑ䈜䉎䉲䊷䉬. bHF? b_loc:=0. bHF. 䊮䉴䉼䊞䊷䊃䈎䉌ᯏ᪾⊛䈮䉥䊑䉱䊷䊋䉕↢ᚑ䈚䇮䊝. bHFLF1? b_loc := 4 clock2:=0. clock2 > 10 aLF2. 䊂䊦ᬌᩏ䉕ⴕ䈉ᚻᴺ䉕ឭ᩺䈚䈢䇯੹ᓟ䈲䇮ᄙ䈒䈱੐ ଀䈮ㆡ↪䈚䈩䇮䉥䊷䊋䊷䊓䉾䊄䈱⹏ଔ䉕ㅴ䉄䉎䈫䈫䉅. aLF2. 䈮䇮䉋䉍ല₸⊛䈭↢ᚑᚻᴺ䉕ᬌ⸛䈚䈩䈇䈐䈢䈇䇯㩷 finish. finish. 㩷. 㩿㪈㪀㪪㪼㫅㪻㪼㫉㪘↪. 㩿㪉㪀㪪㪼㫅㪻㪼㫉㪙↪. ෳ⠨ᢥ₂㩷. ࿑㪈㪉㩷䉥䊑䉱䊷䊋㪪㪼㫅㪻㪼㫉㪘. HS. HF. HF. LS1 LS2. LS1 LS2. 㪕㪈㪇. 㪪㪼㫅㪻㪼㫉㪙. HS. HF. LF1 LF2. LF1. 㪕㪈㪇. HF. LF1 LF2. HF. LF2 㪕㪈㪇. LF1. ⋥೨䈮⋙ⷞ䈚䈩 ⊒⷗䈘䉏䈢䉲䊷䉬䊮䉴▸࿐ 䈇䈢䉲䊷䉬䊮䉴. ࿑㪈㪊㩷⊒⷗䈘䉏䈢䉲䉴䊁䊛䈱ᝄ䉎⥰䈇. 䉕฽䉃䉲䊷䉬䊮䉴䉕⊒⷗䈪䈐䈢䇯㩷 ᧄ䉝䊒䊥䉬䊷䉲䊢䊮䈲䇮䊒䊨䉶䉴䈫䈚䈩㪪㪼㫅㪻㪼㫉䈫㪩㪼㪺㪼㫀㫍㪼㫉䈱ઁ䈮䇮䊋䉴േ૞䉕䉲䊚䊠䊧䊷䉲䊢䊮䈜䉎䊒䊨䉶䉴䈭䈬䈎䉌᭴ᚑ䈘䉏䉎䇯㪪㪼㫅㪻㪼㫉䈱ᤨ㑆䉥䊷䊃䊙䊃䊮䈲㪈㪉䊨䉬䊷䉲䊢䊮䇮㪈㪐 ㆫ⒖䈪䈅䈦䈢䈫䈖䉐䉕䉥䊑䉱䊷䊋䈻䈱ㅢ⍮䈱䈢䉄䈱ୃᱜ䈮䉋䉍㪌㪇䊨䉬䊷䉲䊢䊮䇮㪌㪎 ㆫ⒖䈮Ⴧ䈋䉎䇯㪩㪼㪺㪼㫀㫍㪼㫉䈲㪈㪇䊨䉬䊷䉲䊢䊮䇮㪈㪍 ㆫ. 㪲㪈㪴㩹㪬㪤㪣㩷㪧㫉㫆㪽㫀㫃㪼㩷㪽㫆㫉㩷㪪㪺㪿㪼㪻㫌㫃㪸㪹㫀㫃㫀㫋㫐㪃㩷㪧㪼㫉㪽㫆㫉㫄㪸㫅㪺㪼㩷㪸㫅㪻㩷㪫㫀㫄㪼㩹㪃㪬㪩㪣㪑㪿㫋㫋㫇㪑㪆㪆㫎㫎㫎㪅㫆㫄㪾㪅㫆㫉㪾㪆㪺㪾㫀㪄㪹㫀㫅㪆㪻㫆㪺㪖㪽㫆㫉㫄㪸㫃㪆㪉㪇㪇㪌㪄㪇㪈㪄㪇㪉㩷㪲㪉㪴㩹㩷㪘㫌㫋㫆㫄㪸㫋㪼㪻㩷㪚㪿㪼㪺㫂㩷㫆㪽㩷㪘㫉㪺㪿㫀㫋㪼㪺㫋㫌㫉㪸㫃㩷㪤㫆㪻㪼㫃㫊㩷㪚㫆㫅㫊㫀㫊㫋㪼㫅㪺㫐㩷㪬㫊㫀㫅㪾㩷㪪㪧㪠㪥㩹㪃㪧㪸㫆㫃㪸㩷㪠㫅㫍㪼㫉㪸㫉㪻㫀㪃㩷㪟㪼㫅㫉㫐㩷㪤㫌㪺㪺㫀㫅㫀㪃㩷㪧㪸㫋㫉㫀㫑㫀㫆㩷㪧㪼㫃㫃㫀㪺㪺㫀㫆㫅㪼㪃㩷㪧㫉㫆㪺㪅㩷㫆㪽㩷㪘㪪㪜㪉㪇㪇㪈㩷㩷㪲㪊㪴㩹㪫㫀㫄㪼㪻㩷㪪㪼㫈㫌㪼㫅㪺㪼㩷㪛㫀㪸㪾㫉㪸㫄㫊㩷㪸㫅㪻㩷㪫㫆㫆㫃㪄㪙㪸㫊㪼㪻㩷㪘㫅㪸㫃㫐㫊㫀㫊㩷㪘㩷㪚㪸㫊㪼㩷㪪㫋㫌㪻㫐㩹㪃㩷㪫㪿㫆㫄㪸㫊㩷㪝㫀㫉㫃㪼㫐㪃㩷㪤㫀㪺㪿㪸㪼㫃㪸㩷㪟㫌㪿㫅㪃㩷㪢㪸㫉㫊㫋㪼㫅㩷㪛㫀㪼㫋㪿㪼㫉㫊㪃㩷㪫㪿㫆㫄㪸㫊㩷㪞㪼㪿㫉㫂㪼㪃㩷㪸㫅㪻㩷㪬㫉㫊㫌㫃㪸㩷㪞㫆㫃㫋㫑㪃㩷㪧㫉㫆㪺㪅㩷㫆㪽㩷㪬㪤㪣㪈㪐㪐㪐㩷㪲㪋㪴㩹㪘㩷㪫㫌㫋㫆㫉㫀㪸㫃㩷㫆㫅㩷㪬㫇㫇㪸㪸㫃㩹㪃㩷㪞㪼㫉㪻㩷㪙㪼㪿㫉㫄㪸㫅㫅㪃㩷㪘㫃㪼㫏㪸㫅㪻㫉㪼㩷㪛㪸㫍㫀㪻㪃㩷㪸㫅㪻㩷㪢㫀㫄㩷㪞㪅㩷㪣㪸㫉㫊㪼㫅㪅㩷㪧㫉㫆㪺㪅㩷㫆㪽㩷㪪㪝㪤㪄㪩㪫㩾㪇㪋㪅㩷㩷㪲㪌㪴㩹㪭㪼㫉㫀㪽㫀㪺㪸㫋㫀㫆㫅㩷㫆㪽㩷㪸㫅㩷㪘㫌㪻㫀㫆㩷㪧㫉㫆㫋㫆㪺㫆㫃㩷㫎㫀㫋㪿㩷㪙㫌㫊㩷㪚㫆㫃㫃㫀㫊㫀㫆㫅㩷㪬㫊㫀㫅㪾㩷㪬㫇㫇㪸㪸㫃㩹㪅㩷㪡㫆㪿㪸㫅㩷㪙㪼㫅㪾㫋㫊㫊㫆㫅㪃㩷㪮㪅㩷㪦㪅㩷㪛㪸㫍㫀㪻㩷㪞㫉㫀㪽㪽㫀㫆㪼㫅㪃㩷㪢㪸㫉㪼㩷㪡㪅㩷㪢㫉㫀㫊㫋㫆㪽㪽㪼㫉㫊㪼㫅㪃㩷㪢㫀㫄㩷㪞㪅㩷㪣㪸㫉㫊㪼㫅㪃㩷㪝㫉㪼㪻㫉㫀㫂㩷㪣㪸㫉㫊㫊㫆㫅㪃㩷㪧㪸㫌㫃㩷㪧㪼㫋㫋㪼㫉㫊㫊㫆㫅㩷㪸㫅㪻㩷㪮㪸㫅㪾㩷㪰㫀㪃㩷㪧㫉㫆㪺㪅㩷㫆㪽㩷㪚㪘㪭㪈㪐㪐㪍㪅㩷. −150−.

(9)