2016 年 10 月
モデル理論アプローチと概念フォームの
相互利用における業務対象ノードの識別
中西 昌武
＊高木 徹
＊＊Capture of Business Object Nodes in Mutual Use
of Model Theory Approach and Conceptual Form
NAKANISHI, Masatake TAKAGI, Toru
＊名古屋経済大学経営学部教授 ＊＊千葉工業大学社会システム科学部助教
ߪߓߦ
ᬺോജ↹㕙╬ߢജߥߒવ㆐ߐࠇࠆ৻⊛࠺࠲␜᭴ㅧߪ৻⥸ߦޟࡈࠜࡓޠߣ߫ ࠇࠆ㧚╩⠪߇ߎࠇ߹ߢឭ໒ߒߡ߈ߚޟCF: ᔨࡈࠜࡓޠ㧔conceptual form㧕ߪ㧘ታᬺോߢࠊࠇ ࠆࡈࠜࡓ߆ࠄ‛ℂ⊛ᚑಽࠍ㒰ߒߡᓧߚࡈࠜࡓߩᔨ⊛ߥ᭴ㅧߢࠅ㧘࠺࠲࠰ࠬߦࠕࠢ ࠬߔࠆᄖㇱ࠺࠲ߩ᭴ㅧࠍᔨ⊛ߦࡕ࠺࡞ߒߚ߽ߩߣߒߡℂ⸃ߔࠆߎߣ߽᧪ࠆ㧚߹ߚޟᔨ ࡈࠜࡓᑼޠߪᔨࡈࠜࡓߩ᭴ㅧࠍᢙᑼߢߒߚ߽ߩߢࠆ㧚 ᧄⓂߢߪ㧘ᔨࡈࠜࡓ߇ࠕࠢࠬኻ⽎ߣߔࠆ࠺࠲࠰ࠬߩࠛࡦ࠹ࠖ࠹ࠖ⋧ᒰ‛㧔ER ࠛࡦ࠹ ࠖ࠹ࠖ㧘ࠝࡉࠫࠚࠢ࠻ࠢࠬ㧘RDB ࠹ࡉ࡞㧘XML ⷐ⚛㧘ࡈࠔࠗ࡞ߥߤ㧕㧘߅ࠃ߮ߘࠇࠄߩ㑆ߩ 㑐ㅪ⋧ᒰ‛ࠍޟBON:ᬺോኻ⽎ࡁ࠼ޠbusiness object nodes ߣ✚⒓ߔࠆߎߣߦߔࠆ㧚ߎࠇ߹ߢ╩⠪ߪ㧘ࠛࡦ࠻ࡁ࠼߆ࠄ㗅ᰴᱠⴕน⢻ߥࡄࠬߩߺࠍࡈࠜࡓ↢ᚑኻ⽎ߣߔࠆࡄࠬᱠ ⴕߩේℂࠍㅊⓥߒ㧘2002 ᐕߦߪ㧘ࡈࠜࡓ↢ᚑࡄ࠲ࡦ߿࠹ࡦࡊ࠻ࠍ♽ൻ[1]ߒ㧘߹ߚ 2007 ᐕߦߪ㧘ࡄࠬᱠⴕࠍᢙℂ⊛ߦߔⴕේℂࠍឭ໒[2]ߒ㧘2010 ᐕ߆ࠄߪ㧘ߎࠇࠍᔕ↪ߒߚࡈࠜࡓ ↢ᚑߩታⵝ࠷࡞ࠍ⹜ߒㆡ↪ታ㛎[3]ߒߡ߈ߚ㧚ߕࠇ߽ᦨ߽ၮᧄ⊛ߥࡈࠜࡓ↢ᚑߩේℂߩ⏕┙ ࠍ⋡ᜰߔ߽ߩߢߞߚ㧚ߎࠇࠍบߣߒߡᦨㄭ㧘╩⠪ߪ㧘ⷐ᳞ಽᨆᎿ⒟ߢߒ߫ߒ߫⊓႐ߔࠆࠬࠠ ࡑᧂቯ⟵ߩᗐቯࡁ࠼ߩขࠅᛒᣇߣ߁࿎㔍ߥ⺖㗴ࠍᜰ៰[4]ߒ㧘ߘߩ⸃ᣇᴺࠍ␜ߒߚ[5]߇㧘 ߘߎߢᛒࠊࠇࠆߴ߈ࡁ࠼߇㧘ࡊࡠࠬಽᨆߩߤߩዪ㕙ߢ⼂ߐࠇ㧘߹ߚߤߩࠃ߁ߦ⾰⊛⸽߇ਈ ߃ࠄࠇࠆ߆ߦߟߡߪਇߩ߹߹ߦߒߡߚ㧚ᧄⓂߢߪߎߩ㗴ߦߟߡ⠨ኤߔࠆ㧚 ࡊࡠࠬಽᨆߩࠕࡊࡠ࠴ߪߒߡ৻᭽ߢߥߊ㧘႐วߦࠃߞߡߪߦᵷࠍ┹߁ߎߣߔࠄ⚻㛎ߔ ࠆ㧚ߘߩਛߢᧄⓂߢߪ㧘㜞ේࠣ࡞ࡊ߇㐿⊒ߒߚࡕ࠺࡞ℂ⺰ࠕࡊࡠ࠴[6]ࠍ⠨ኤ᧚ᢱߣߒߡขࠅ ߍࠆ㧚㐳વ⛔ࠍᜬߟ࠙ࠜ࠲ࡈࠜ࡞ဳࠕࡊࡠ࠴ߢࠇ㧘ߘࠇࠍᛕ್ߒߡឭ᩺ߐࠇߡ߈ߚᄙ ᭽ߥࠕࡊࡠ࠴⟲ߢࠇ㧘㆐ᚑߔߴ߈⸳⸘᭽ߪหߓߢࠅ㧘ᬺോ࠻ࡦ࡚ࠩࠢࠪࡦಣℂࠪࠬ࠹ࡓ 㧔TPS: transaction processing system㧕ߢࠆ㧚ߎࠇࠍቯᑼൻߔࠇ߫㒢ࠝ࠻ࡑ࠻ࡦࡕ࠺࡞ ߣߥࠆߎߣࠍℂ⺰⊛ߦ␜ߒߚߩߪ Takahara & Liu [7]ߩ⽸₂ߢࠆ㧚⸳⸘᭽ࠍታⵝߔࠆᣇᑼߪ㧘 ࠷࡞ߩ⢛᥊ᕁᗐ߿․ᕈࠍᤋߒߡᄙᓀߛ߇㧘ߕࠇ߽ߩࡕ࠺࡞ߩᤋߦߔ߉ߥ㧘ߣℂ⺰ ⊛ߦᏫ⌕᧪ࠆὐ߇㊀ⷐߢࠆ㧚ߘߩᓟ㧘㜞ේࠣ࡞ࡊߪ㧘ߎࠇࠍบߣߒߡ⁛⥄ߩࡊࡠࠬಽᨆ 㧒ࠪࠬ࠹ࡓ↢ᚑߩᣇᴺ⺰ߢࠆࡕ࠺࡞ℂ⺰ࠕࡊࡠ࠴ࠍ᭴▽ߒ㧘࠹ࠠࠬ࠻ߦ߹ߣߚ[8]㧚ߎߩࠕࡊ ࡠ࠴ࠍᓐࠄߪ MTA㧔model theory approach㧕ߣࠎߢࠆ㧚ᔨࡈࠜࡓߣߩ㑐ㅪߢ߃߫㧘
MTA ߢߪ᭽ࠍ㧘⥄ὼ⸒⺆ߢߪߥߊ㓸ว⺰߿⺰ℂቇߦၮ␆ࠍᜬߟᒻᑼ᭽⸒⺆ߢ⸥ㅀߔࠆߚ㧘 ᔨࡈࠜࡓߢᛒࠊࠇࠆߴ߈ࡁ࠼߇㧘ࡊࡠࠬಽᨆߩߤߩዪ㕙ߢ⼂ߐࠇ㧘߹ߚߤߩࠃ߁ߦ⾰⊛ ⸽߇ਈ߃ࠄࠇࠆ߆ࠍቴⷰ⊛ߦ⼏⺰ߒ߿ߔ㧚߹ߚ MTA ߘߩ߽ߩ߇ℂ⺰᭴▽‛ߢࠆߚ㧘ߎࠇ ࠍෳᾖࡕ࠺࡞ߣߔࠆߎߣߢઁߩࡊࡠࠬಽᨆ࠷࡞ߢߩห᭽ߩ㗴ߩℂ⺰⊛ߥᬌ⸛߇ኈᤃߣߥࠆ㧚 ߎࠇ߇ᧄⓂߢ MTA ࠍ⚛᧚ߦߒߚℂ↱ߢࠆ㧚
論文
ࡕ࠺࡞ℂ⺰ࠕࡊࡠ࠴MTA
ߎߎߢߪ MTA ߦߟߡㅀߴࠆ㧚ⷐ᳞ಽᨆߩ⚿ᨐ㧘㐿⊒ߔߴ߈ࠪࠬ࠹ࡓߩ᭽ࠍ⏕ߦቯ⟵ߔࠆ ⴕὑࠍޟࠪࠬ࠹ࡓ⸳⸘ޠ㧘߹ߚߘߩ᭽ࠍޟ⸳⸘᭽ޠߣ߱ߎߣߦߔࠆ㧚⸳⸘᭽߇⥄ὼ⸒⺆ߢ ⸥ㅀߐࠇࠆ႐วߩ᭽ߩᦌᤒߐ߇ᓟᎿ⒟ࠍ⢿߆ߔ⣀ᒙߐ߳ߩᛕ್߆ࠄ㧘෩ኒߦ᭽ࠍ⸥ㅀ᧪ࠆᒻ ᑼⷐઙࠍ߃ߚੱᎿ⸒⺆㧔ᒻᑼ᭽⸒⺆㧕߇✬ߺߐࠇ㧘ታ㓙ߩㆡ↪ߢᚑᨐࠍߍߡ߈ߚ㧚ߣߊߦ 㓸ว⺰ߦၮ⋚ࠍ߽ߟ⺰ℂቇࠍᔕ↪ߒߚ Z ⸒⺆߿ VDM ߪฬߢࠆ[9]㧚ߎࠇߦኻߒߡߪᢙቇ⊛⸥ㅀ ߦㆊ߉ߡߦߊߣߔࠆታോ߆ࠄߩᛕ್߽ࠆ߇㧘㘵ፉߪ㧘ᘠࠇࠇ߫ߔߋߦ߃ࠆࠃ߁ߦߥࠆ ⸒⺆ߢࠅ㧘නߦᢙቇᢎ⢒ߩ㗴ߢߒ߆ߥߣㅒᛕ್[10]ߒߡࠆ㧚MTA ߢߪ Z ⸒⺆߿ VDM ߩ ♽⼆ߦߞߡߎࠇࠍᡷༀߒߚ CAST ߣ߁㓸ว⺰⊛ࡕ࠺࡞⸥ㅀ⸒⺆ࠍㆡ↪ߒߡࠆ[11]㧚 ╩⠪ߩℂ⸃ߢߪ MTA ߦߪ㧘⍎߆ߟ෩ኒߥ⸳⸘᭽߇ࠇ߫ታⵝ᧪ࠆߎߣߩ⸽㧘ߣ߁ࡕ ࠺࡞⺰⊛ߥേᯏ߇ࠅ㧘ߘߩ㒢ࠅߦ߅ߡ㧘ታ㓙ߩᬺോࠪࠬ࠹ࡓߩታⵝߦࠎߢసߒߥߌࠇ߫ߥ ࠄߥ᭽ޘߥታ⊛̆̆․ߦࠕࠠ࠹ࠢ࠴ࡖߦ㑐ࠊࠆ̆̆⚂ߩ㗴ߪ⺰⼏ኻ⽎ᄖߣߥߞߡࠆ㧚 MTAߢߪ㧘ޟ࡙ࠩࡕ࠺࡞ޠߣ߫ࠇࠆⷙᩰߦࠃࠆޟࠕ࠻ࡒ࠶ࠢࡊࡠࠬޠ߇㐿⊒නߢࠆߣ หᤨߦ⸳⸘᭽ൻߩනߢࠆ㧚MTA ߢߪࠕ࠻ࡒ࠶ࠢࡊࡠࠬࠍ⍎ߦቯ⟵ߖߕ㧘ޟฦࡑࠢࡠࠕࠢ ࡚ࠪࡦߪ㧘ౕ⊛ߦಣℂࠍታⴕߔࠆߊߟ߆ߩၮᧄಣℂ㧔ᯏ⢻㧕㧘ߔߥࠊߜࠕ࠻ࡒ࠶ࠢࡊࡠࠬߦ ࠃߞߡታⵝߐࠇࠆޠ[8]ߣߒ߆ㅀߴߥ߇㧘㘈ቴ▤ℂ߿⽼ᄁ▤ℂߣߞߚᬺോࡊࡠࠬࡌ࡞ߦߚ ࠆࡑࠢࡠࠕ࡚ࠢࠪࡦጀ߆ࠄࠕ࠻ࡒ࠶ࠢࡊࡠࠬጀ߳ߣಽ⸃ߔࠆ 2 㓏ጀߩ DFD ዷ㐿ࠍ↪ߡࡊࡠ ࠬಽᨆߒ㧘ࠕ࠻ࡒ࠶ࠢࡊࡠࠬጀߢߪᣂⷙ⊓㍳(register)㧘࠺࠲ᦝᣂ(update) 㧘࠺࠲␜(disp)㧘 ࠺࠲㒰(del)ߣ߁㧘CRUD㧔C: create, U: update, R: refer, D: delete㧕ߦኻᔕߔࠆ 4 ߟߩၮᧄ ᯏ⢻߳ߩಽ⸃ࠍᮡḰߣߒߡࠆߩߢ㧘ࠕ࠻ࡒ࠶ࠢࡊࡠࠬߪ㧘৻⥸ߩ㐿⊒ᣇᴺ⺰ߦ߅ߌࠆ CRUD ࡈࠔࠗ࡞ಣℂߦ⋧ᒰߔࠆࡊࡠࠬනߣหߓߣߡࠃ㧚ࠕ࠻ࡒ࠶ࠢࡊࡠࠬࠍ CAST ߢ෩ኒߦ⸥ㅀߔࠆߣ㧘CAST ᭽ࠍ extProlog ߣ߁㧔CAST ߣ⋧ ᕈߩࠃ㧕ታⵝ⸒⺆ߦᷰߔߛߌߢታⴕࠦ࠼߇ࠦࡦࡄࠗ࡞↢ᚑߐࠇࠆ㧚ା㗬᧪ࠆ CAST ᭽ߩቢ ᚑ߇㧘ା㗬᧪ࠆታⵝ㐿⊒ߩᔅⷐචಽ᧦ઙߣߥߞߡ߅ࠅ㧘ߘࠇ߇ MTA ߩᣇᴺࠍℂ⺰⊛ߦ․ᓽઃߌ ߡࠆ㧚ߒ߫ࠄߊ MTA ߩ࠹ࠠࠬ࠻ߦᓥߟߟ⼏⺰ࠍㅴࠃ߁㧚MTA ߪ࡙ࠩࡕ࠺࡞ࠍᰴߩࠃ߁ߦ ቯᑼൻߔࠆ㧚
࡙ࠩࡕ࠺࡞ߪ
㧨ActionName, ResName, AttrName, fjj, para, delta_lambdaactionNi, actionNii, MactionName㧪 ߦࠃߞߡߐࠇࠆ㧚ߚߛߒฦⷐ⚛ߪએਅߩߎߣࠍ␜ߔ㧚 Ԙ ActionName : ࠕ࠻ࡒ࠶ࠢࡊࡠࠬฬߩ㓸ว ԙ ResName : ᔕ╵ฬߩ㓸ว Ԛ AttrName : ࡈࠔࠗ࡞ࠪࠬ࠹ࡓߢࠊࠇࠆዻᕈฬߩ㓸ว ԛ {fj| fjңAttrName} : ࡈࠔࠗ࡞᭴ㅧߩࠢࠬ㧔ᣖ㧕 Ԝ para:ActionName ψ㷙(AttrName) : ฦࠕ࠻ࡒ࠶ࠢࡊࡠࠬߩታⵝߦᔅⷐߥ࠺࠲ߩዻᕈࠍᜰቯߔࠆ㑐ᢙ ԝ delta_lambda([actionNi],paralist)ЩResname : actionNiЩActionName ߦኻߔࠆࠗࡦ࠲ࡈࠚࠬⷐ⚛ delta_lambda([actionNi],paralist)=res↔ res:= actionNi(paralist)
ⴕ ⟵ ะ 㿈 ߔ pa 㿉 Ԟ એ ߎߩ ⴕߞߡ ߒߚ MT ߆ 㿈㩷 ⷐ ታ ࠬ( ߔࠆ ara 㿉㩷 ⁁ ⷐ Ԟ a ߩ a r p c c Ǿ ߩ࡙ ߡ߅ ߚ߽ TA ߁ᚻ ⷐ᳞ ߔ (act ߣห 㑐 ⁁ᘒ ⷐ᳞ acti ac ߩቯ acti res par c c2 Ǿ ࡙ ߅ࠅ ߽ߩ ߩ ᚻ㗅 ᳞ಽᨆ ߔࠆ tion หᤨ 㑐ᢙ ᘒߩ⸳ ᳞ಽ ion tio (㹾 ቯᑼ ion alis ࠩ ࠅ㧘 ߩߢ ࿑ ߩ㐿⊒ 㗅ߪ ᨆ ࠆߴ n)ࠍ ᤨߦ ࠍ ⸳⸘ ᨆߢ nNi nN c,c ᑼൻ Ni st ࠩࡕ Ǿߪ ߢ㧘T ࿑㧙 ⊒ᚻ ߪℂ⺰ ߴ߈ᯏ ࠍታ ߦ㧘 ቯ ⸘㧦 ߢ i Ni(p c2)( ߢ㧘 : i : a : a : : : ࠺࡞ ߪ TP ᚻ㗅 ⺰⊛ ᯏ⢻ ታ ࠕ ቯߔ 㧦 ࡈ par (res ฦ i ⇟ act act ࡈ ࡈ ᰴ ࡞ߩ ޟࠝ PS ߩ ࡙ 㗅ߪ ⊛ߢ ⢻ࠍ ߔ ࠻ࡒ ߔࠆ ࡈࠔ ࠄ alis s,c2 ฦ⸥ ⇟⋡ tion tion ࠔࠗ ࠔࠗ ߩ⁁ ߩࡕ ࠝ ߩᯏ ࡙ࠩ ߪ㧘 ߢ◲ ࠍ㧘 ࠆ߆ ࡒ࠶ ߣ ࠔࠗ ࠇ : st) 2):= ⸥ภ ߩࠕ nNi nNi ࠗ࡞ ࠗ࡞ ⁁ᘒ ࡕ࠺ ࠻ࡑ ᯏ⢻ ࠩࡕ એਅ ◲ẖ ߆ ࠶ࠢ ߈㧘 ࠗ࡞ ߚ A act = r =Ǿ ภߪᰴ ࠕ࠻ i ߩ i ࠍ ࡞ࠪ ࡞ࠪ ᘒߣ ࠺࡞⺰ ࡑ࠻ ⢻ࠍ ࡕ࠺ ਅ㿈 ߢ ࠞ 㧔 ࡊ ߘ ࡞ࠪࠬ Att tion res (c, ᰴߩ ࠻ࡒ ߩታ ࠍታ ࠪࠬ ࠪࠬ ߣᔕ ⺰⊛ ࠻ࡦ ታ ࠺࡞ 㿈䌾 ࠆ ജ ࡠ ߘࠇ ࠬ࠹ trN nN ↔ par ߩᗧ ࡒ࠶ ታⴕ ⵝߔ ࠹ࡓ ࠹ࡓ ╵ࠍ ⊛⸥ ࡦߣ ߔ ࡞ߩ 䌾㿌 ࠆ㧚 ജ 㧕㧘 ࠬ ࠇߦ ࠹ࡓ Nam Ni ߇ rali ᗧ ࠢ ߦኻ ߔࠆ ࡓߩ ࡓߩ ࠍ⸘ ⸥ㅀ ߒ ߔࠆ ࡕ࠺ 㿌ߩ ജࠪ ߘ ࠬࠍ ࡓߩ me ߇ታ ist) ࠍ ࡊࡠ ኻᔕ ࠆߩ ߩ ߩᰴ ⸘▚ ㅀߪ ߡቯ ࠆߚ ࠺࡞ ㅢࠅ ࠪࠬ࠹ ࠇߦ ࠍታ ᔅ ߩ⸳⸘ ࠍ ታ㓙 )) ߒ ࡠ ᔕߔ ߩߦ ᰴߩ ▚ߔ ࿑㧙 ቯᑼ ߚ ࡞⺰ ࠅߛ ࠹ࡓ ߦኻ ⵝߔ ᔅⷐ ⸘ ࡈࠔ ߦⴕ ߒߡ ࠬ ߔࠆ ߦᔅⷐ ߩ⁁ ߩ⁁ᘒ ߔࠆ 㧙 ᑼൻ ߩᧄ ⺰⊛ ߛ߇ ࡓߣ ኻᔕ ߔࠆ ⷐߣ ࠔࠗ ⴕ߁ ߡ ࠬ ᔕ╵ ⷐߥ ⁁ᘒ ᘒ 㑐ᢙ 㧔[ ൻߐ ᧄ⾰ ⊛⸥ ߇㧘 ߣߒ ᔕߔ ࠆߚ ߔ ࠗ࡞ ߁ಣ ࠆ ╵ฬ ߥࡄ ᘒ ᢙ [6] ࠇߚ ⾰⊛ ㅀߦ ࡙ ߒߡ ߔࠆᔕ ߚ ࠆዻ ࡞ߦ ಣℂ 㧚 ฬ ࡄ ࠃࠅ ߚࠕ ⊛ߥ ߦၮ ࠩ ᔕ╵ ߦᔅ ዻᕈ ߦಽഀ ℂߩౝ ࡔ ࠅォ ࠕ࠻ ㇱಽ ၮߠ ࠩࡕ ߔ ╵ߪ ᔅⷐ ᕈߩ ഀߒ ౝኈ ࠲ ォタ ࠻ࡒ ಽޠ ߠߊ ࡕ࠺ ߔࠆ ߪߤ ⷐߥ ߩ㓸 ߒߡ ኈ ࠲ タ㧕 ࠶ [8 ࠕ ࠺࡞ ࠆ㧚 ߤߩ ߥࡄ ว ߡ㧘ࡈ 㧔ታ 㧔࠺ ߩࠝ ࠢࡊ 8]ߢ ࠻ࡒ ߩᅷ ߔߥ ࠃ ࡄ 㧔A ࡈࠔ ታⵝⷐ ࠺ ࠝ ࡊࡠ ߢ ࡒ࠶ ᅷᒰ ߥࠊ ߁ߥ ࡔ Attr ࠔࠗ ⷐ⚛ ࠲㧕 ࠻ ࡠ ࠆ ࠶ࠢ ᒰߥ ࠊߜ ߥ߽ ࠲ rNa ࠗ࡞ ⚛㧕 㧕ߩ ࠻ࡑ ࠬ 㧚 ࠢࡊ ߥ⼂ ߜߤ ߽ߩ ࠲߽ am ࡞᭴ㅧ ߩ ࠻ ߩ ࡠ ⼂ ߤߩ ߩߦߔ ߽ me㧕 ㅧߩ ࠬ ࡦ ജ ࠬ ߣ⸳ ࠃ߁ ߔࠆ ቯ ߽ ߩࠢ ࠬ࠻ ࡕ ജ㑐 ࠬߩ ⸳⸘ ߁ߥ ࠆ߆ ߔࠆ ࠢ ࡕ࠺ 㑐ᢙ ߩ᭴ ⸘ ߥࠕ ߆㧔 ࠆ ቯߐ ࠬ ࠺࡞ ᢙࠍ ᭴ᚑ ᭽ ࠕ࠻ 㧔 㧔pa ߐࠇ 㧔ᣖ ߦၮ ౕ ߩቢ ࡒ࠶ ജ㧕 ara ࠇߡ ᣖ㧕ࠍ ၮߠ ⊛ ቢᚑ ࠶ࠢ 㧕ࠍ a 㑐 ߡߊ ࠍ ߠ ⊛ߦ ᚑ߳ ࠢࡊ ࠍ 㑐ᢙ ࠆ㧚 ࠆ ߡ ߦቯ ߳ߣ ࡊࡠ ቯ ᢙ㧕㧚 㧚 ࠆ㧚 ቯ ቯ
㿊㩷 ฦࠕ࠻ࡒ࠶ࠢࡊࡠࠬ㧔actionNi㧕ߦኻߔࠆࠗࡦ࠲ࡈࠚࠬߩ⸳⸘ 㿋㩷 actionNi ߦኻߔࠆታⵝ⸳⸘ 㿌㩷 ࠕ࠻ࡒ࠶ࠢࡊࡠࠬߩࠦ࠼⥄േ↢ᚑߣ࠹ࠬ࠻ એ߇ MTA ߩ࡙ࠩࡕ࠺࡞ߣ㐿⊒ᚻ㗅ߛ߇㧘MTA ࠍߞߚࠎ㔌ࠇߡࡊࡠࠬ᭽ߣ࠺࠲ዻᕈ ߅ࠃ߮ࡈࠔࠗ࡞᭴ㅧߩ⋧㑐ㅪߦߟߡ߃߫㧘ⷐ᳞ಽᨆߣࡊࡠࠬಽᨆߣ࠺࠲ಽᨆ߇Ⲣහዷ㐿 ߐࠇࠆߥ߆ߢ㧘߶߷หᤨߦ᭽ቯߔࠆ㧘ߣ߁ߩ߇ታߢࠆ㧚ߘߎߢ৻⥸ߩ㐿⊒ᣇᴺ⺰ߢߪⷐ ᳞ಽᨆߣࠪࠬ࠹ࡓ⸳⸘ߩᎿ⒟ࠍಽߌ㧘Ბ㓏ࠍㅊߥ߇ࠄᅷᒰߥ⸳⸘᭽ࠍᓧࠃ߁ߣߔࠆ㧚ߎࠇߦኻ ߒ MTA ߦߪ㧘ߘࠇ⥄りߩℂ⺰⊛⢛᥊߽ߞߡ㧘⎬⋥ߒߚ❈ࠅߣ߹ߞߚߊㅒߩᗧߢ㧘හᤨߩታⵝ ߦછߖࠄࠇࠆ⸳⸘᭽ߩቯࠍ߽ߞߡⷐ᳞ಽᨆߩቢੌⷐઙߣߥߘ߁ߣߔࠆᘒᐲ߇ࠄࠇࠆ㧚࠹ ࠠࠬ࠻ߪ㐿⊒ᚻ㗅ߩ⸃⺑ߢ㧘ޟࡑࠢࡠࠕ࡚ࠢࠪࡦߩㅊടߣᄌᦝߪ㧘ᓟߩᲑ㓏ߢ㧘ߟߢ߽น⢻ߢ ࠆޠ,ޟࠕ࠻ࡒ࠶ࠢࡊࡠࠬߩㅊടߣᄌᦝ߽㧘ᓟߢᔅⷐߦᔕߓߡ◲නߦ᧪ࠆߩߢ㧘ขࠅ⚵ߺ߿ߔ ࡑࠢࡠࠕ࡚ࠢࠪࡦࠆߪࠕ࠻ࡒ࠶ࠢࡊࡠࠬ߆ࠄ㐿⊒ࠍᆎࠆߎߣߢ߆߹ࠊߥޠߥߤߣㅀߴࠆ ߇㧘ታⵝᷙੂࠍᧂὼߦ㒐ᱛ᧪ࠆ㐿⊒නߩ⼂ߣ㧘ᱜ⏕ᕈࠍ⸽ߔࠆ᭽⸥ㅀߣ߳ߩ⏕࿕ߚࠆ⥄ ା߇ુ߃ࠆ㧚 ᧄⓂߦ㑐ଥߔࠆߩߪ㧘㿈㪃㩷 㿉㪃㩷 㿊 ߢࠆ㧚ߩ㿊ߢቯߔࠆࠗࡦ࠲ࡈࠚࠬ᭽ߪ㧘ߘߩ᭽߇ ࠇ߫ߔߋߦታⵝ᧪ࠆࡌ࡞ߩ߽ߩߛ߇㧘࠺࠲ࡕ࠺ࡦࠣߩ߆ࠄ⸒߃߫㧘ࠗࡦ࠲ࡈࠚࠬ ᭽ߪା㗬᧪ࠆ࠺࠲᭴ㅧࠍ࿕ࠆߚߩᔅⷐ᧦ઙߢߪߥ㧚ା㗬᧪ࠆ࠺࠲᭴ㅧࠍᓧࠆߚߦ ᔅⷐߥߩߪ㧘ߒࠈࡑࠢࡠࠕ࡚ࠢࠪࡦߣࠕ࠻ࡒ࠶ࠢࡊࡠࠬߩࡊࡠࠬಽᨆߢ⸃ߔߴ߈̆̆ᧄⓂ ߢߪᬺോኻ⽎ࡁ࠼ߣ߱̆̆ࡈࠔࠗ࡞᭴ㅧߩࠢࠬߩሽ┙ᖱႎߢࠆ㧚ㅢᏱߩ㐿⊒ᣇᴺ⺰ߩኻ⽎ ߦߪ 㿈㪃㩷 㿉㪃㩷 㿊 ߩߔߴߡ߇߹ࠇߡࠆߒ㧘MTA ߢ߽ା㗬᧪ࠆᚑᨐ‛ࠍ᳞ࠆ߇㧘MTA ߇ᵞ ߒߩᛛⴚ⽿છࠍ⽶ߞߡࠆࠊߌߢߪߥ㧚ߎࠇߦߟߡߪᓟߦ⼏⺰ߔࠆߎߣߦߒ㧘ᰴ┨ߢߪ MTAߣߩធวᣇᴺࠍᔨ㗡ߦᔨࡈࠜࡓࠍ⺰ߓࠆ㧚
㧚ᔨࡈࠜࡓCF
ᔨࡈࠜࡓߣࡄࠬᱠⴕ
ߎߎߢߪᔨࡈࠜࡓߦߟߡ⸃⺑ߔࠆ㧚ℂ⸃ߩߚᣢ⊒ߩ৻ㇱࠍౣឝߔࠆὐࠍੌ⸃ߐࠇߚ㧚 ࿑㧙 ߪ ߩࡁ࠼ࠍᜬߟ H5ဳ࠺࠲࠰ࠬ[1]ߩ◲ᤃߢࠆ㧚ࡁ࠼ߩࠪࡦࡏ࡞ߪࡁ࠼ ⥄ࠍ㧘⍫✢ߪࡁ࠼㑆ߩ ኻᄙ⚿วࠍߔ㧚ࠣࡈℂ⺰ߢ߃߫㧘ߎߩߪᧁ᭴ㅧࠍߥߔ߇㧘ᐞ ߟ߽ߩㆡ↪ࠗࡔࠫާฝߦ␜ި߇ᛩᓇน⢻ߥ᭴ㅧߢࠆ㧚 ࿑㧙 ߩࡁ࠼E
ࠍࠛࡦ࠻ࡁ࠼ߣߒోࡁ࠼ࠍᷰࠅᱠߊ࠺࠲࠰ࠬࠕࠢࠬߪ㧘ᱠⴕኻ ⽎߇ᧁ᭴ㅧߩߣ߈㧘ࡄࠬᱠⴕ⚻〝ࡄ࠲ࡦ߇Ᏹߦ㧝ߛߌᓧࠄࠇࠆ㧚ߘߩὐߦ⇐ᗧߒ㧘ࡈࠜࡓ᭴ ㅧࠍߔ࠹ࡦࡊ࠻ⷐ⚛ࠍX,Y,
Z...
ߢߔߎߣߦߒߡ⠨ኤߒࠃ߁㧚ᔨࡈࠜࡓᑼߢߪએਅߩ࿐ ࿑㧙࠺࠲࠰ࠬ ڎㆡ↪ࠗࡔࠫ㧝 # ㇱ⟑㧘B ␠ຬ㧘C ᛔ㙃ኅᣖ㧘D ㈩ዻࡊࡠࠫࠚࠢ࠻㧘E ࡊࡠࠫ ࠚࠢ࠻ ڎㆡ↪ࠗࡔࠫ㧞 # ࿑ᦠ㧘B ࿑ᦠຠ㧘C ⁁ᘒ㧘D ⾉㧘E ↪⠪ A B C D Eߺᰣߩ⸥ภࠍ↪ߔࠆ㧚 ࠕ࡞ࡈࠔࡌ࠶࠻ߢ⸥ߐࠇߚࡁ࠼ߩߩ⍫✢⸥ภ ψ㧝ኻᄙ⚿วࠍᄙߩߦะߌߡࡄࠬᱠⴕߔࠆࠕࠢࠬߢⷫሶ᭴ㅧࠍࠆ㧚 φ㧝ኻᄙ⚿วࠍ㧝ߩߦะߌߡࡄࠬᱠⴕߔࠆࠕࠢࠬާਅߩ␜ߺࠃި B Ds㧔ਅ✢⸥ภ㧕ࡁ࠼ D ߦኻߒ B ߪ㕖ᱜⷙൻߦࠃࠅ㧝ኻ㧝ⴕ⚿วࠍ↢㧚 C Br㧔Ꮐ⢋⸥ภ㧕ࡁ࠼ C ߪ B߆ࠄ㧝ኻᄙߩ⚿วߩࠕࠢࠬߢᓧࠄࠇࠆ㧚 ߎߩࡈࠜࡓߩᔨ⊛ߥዷ㐿ࠗࡔࠫࠍ࿑㧙 ߦ⸥ߔ㧚E߆ࠄD߳ߩ㧝ψᄙߩࡄࠬᱠⴕߪEࠍࡋ ࠶࠳㧘Dࠍࡏ࠺ࠖߣߔࠆ㧞㓏ጀ᭴ㅧEDr∈XYrࠍࠆ㧚D߆ࠄB߳ߩᄙψ㧝ߩᱠⴕߪ㧝ኻ㧝ߩⴕ ⚿วߦࠃࠅࡆࡘ BDrsࠍࠆ߆ࠄ㧘㧞㓏ጀ߇⛽ᜬߐࠇEDrBs∈XYrߣߥࠆ㧚B߆ࠄA߳ߩࠕ߽ࠢࠬ㧘 ᄙψ㧝ߩᱠⴕߢࠆ߆ࠄห᭽㧝ኻ㧝ߩⴕ⚿วߦࠃࠅDrBsߪDrBsAs߳ߣᚑ㐳ߒ㧘 㓏ጀ߽⛽ᜬߐࠇ㧘 Y Xr s s r ∈ A B D E ߣߥࠆ㧚ᱷࠆB߆ࠄ
C
߳ߩ㧝ψᄙߩᱠⴕߪBߩᚑಽࠍౝߔࠆDrBsAsࠍࡋ࠶࠳㧘C
ࠍ ࡏ࠺ࠖߣߔࠆ㧞㓏ጀ᭴ㅧDBsAs⋅ CBr∈YZrࠍࠆ㧚ߣߎࠈ߇DrBsAsߪ㧘ࡋ࠶࠳ߢࠆEߦኻߔࠆࡏ࠺ ࠖߢࠆ߆ࠄ㧘ࡈࠜࡓߩో᭴ㅧߪ㧟㓏ጀߩEDBsAs⋅ CBr∈XYrZrߣߥࠆ㧔࿑㧙㧕㧚 E∈X㧘EDrBsAs∈Y㧘BCr∈Zߪ㧘ᔨࡈࠜࡓߦౝߒߡ 㓏ጀ᭴ㅧߩฦጀࠍߥߔࡆࡘᚑಽߢ ࠆ㧚ߎߩࠃ߁ߥࡆࡘᚑಽࠍޟࡈࠜࡓ↢ᚑࡆࡘޠߣ߱㧚ࡄࠬᱠⴕⴕ
ᔨࡈࠜࡓᑼߩዉߦߟߡߪ㧘ࡁ࠼㑆ߩ⚿ว㑐ଥࠍ⸥ㅀߒߚ㓞ធⴕߢࠆࡄࠬᱠⴕⴕ ࠍ߁ࠦࡦࡇࡘ࠲น⺒ߩᣇᴺ߇ᣢߦ⏕┙[2]ߒߡࠆ㧚 ࡄࠬᱠⴕߩ೨ઙࡁ࠼ ( P )ࠍ㧘ᓟઙࡁ࠼( Q )ࠍⴕߣߒ㧘ⴕᚑಽߣߒߡ㧘ࡁ࠼㑆ߩ⚿ ว߇ታߒߡࡄࠬᱠⴕߩ⚻〝น⢻ᕈ߇ࠆ႐วࠍ [P]Q ߩᑼߢ㧘ߘࠇએᄖߩ႐วࠍ㧜ߢߔ㓞ធⴕ ࠍ㧘ޟࡄࠬᱠⴕⴕޠߣ߱㧚 ࡄࠬᱠⴕⴕߩᱠⴕ࡞࡞ߪએਅߩߣ߅ࠅߢࠆ㧚δ ߪࡁ࠼ߩ㧞ᐲ⺒ߺࠍឃ㒰ߔࠆේೣࠍౝ ߔࠆ㧚 ࿑㧙࿑㧙 ߩㅢᏱߩࡄࠬᱠⴕ⚿ᨐ ࿑㧙 ㅢᏱߩࡄࠬᱠⴕߢᓧࠄࠇߚ EDBsAs⋅ CBr∈XYrZrߩࡈࠜࡓዷ㐿 γ ᰴߦ⛯ߊࡁ࠼ߪ㧘߆ߥࠄߕ⺒ߺㅴ㧚 δ ⺒ߺ⚳߃ߚࡁ࠼ߣ㧘ኻ⒓⟎ߩࡁ࠼ߪ㧘ⴕߩࡁ࠼ߩ୯ࠍ0
ߦߔࠆ㧚 ε ⶄᢙࡁ࠼ߦኻߒหߓᣇะ߆ࠄ⺒ࠆ႐วߪหᤨߦหߓᣇะ߆ࠄ⺒ߺㅴߎߣ㧚 ζ ᦨᓟߦ O ⴕࠍᓧߚࠄᅷᒰߥᱠⴕߢࠆ㧚 A B C D E X ∈ E Z ∈ C B Y ∈ A B Dss View-1 View-2 View-3 e 䉟䊮䉴䉺䊮䉴৻ⷩ E 㩷㩷㪼 d, b, a 䉟䊮䉴䉺䊮䉴৻ⷩ A B Dss 㩷㩷 d, b, a c 䉟䊮䉴䉺䊮䉴৻ⷩ C Br View-1 View-2 View-3 Z ∈ C B Y ∈ A B Dss X ∈ Eߔ • E D Er ᵈ ߒ ߣ wh ߦ ߎ ᚑ ࠰ ࠆ 㑆 ⷐ ࠜ ࿑㧙 ߔࠆ㧚 = ⁇ A B Drss 㧕
>
ࠆ㧚 ߩ ߡ↪ ࠄࠇ ߔࠇ her ࠃߞ Se ߩࠃ ߐࠇ ࠬ ߎ ߩᱠ ᳞ಽ ࡓ 㧙 㧚 ⎢ ⎢ ⎢ ⎢ ⎢ ⎢ ⎣ ⎡ • E ⋅ C AsBr><
㧚 ࡄ ߩࡄ ↪ ࠇࠆ ࠇ߫ re એ ߞߡ ele ࠃ߁ ࠇߚ ࠬ߇ ߣ߇ ᱠⴕ ಽᨆ ࡓߩ ߦ ⎣ ⎡ 0 0 0 ] [ 0 B Ar = C ߩ⚿ ࡄࠬ ࡄࠬ ࠄ ࠆ㧚ᮡ ߫㧘 એਅ ߡቯ ect * ߁ߥ ߚࡄ ߇ሽ ߇ ⴕ⚻ ᨆᎿ ߩ↢ ࿑㧙 ߦኻ [ [ [ B B B B r Vie ⚿ว ࠬⴕ ࠬ⿷ ࠄࠇ ᮡ⊛ ߎࠇ ਅߩ ቯ⟵ * fr ߥᣇ ࡄࠬ ሽ ᧪ ⚻〝 Ꮏ⒟ ↢ᚑ 㧙 ᔕߔ 0 ] ] 0 ] D B C B A B r r s 1 ew > ว⸥ ⴕ ⿷〔ዊ ࠇࠆ ⊛㧰 ࠇࠄ ߩ⚿ ⟵ߐࠇ rom ᣇᴺ ࠬᱠⴕ ߔ ᧪ࠆ 〝㧕 ⒟ߩ ᚑᯏ᭴ C ߔࠆ 0 0 0 ] [ 0 C ⎢ ⎢ ⎢ ⎣ ⎡ E >< ⸥ภ ᱠ ዊⴕ 㧚ࡆ 㧰㧮 ࠄߪ ⚿ว ࠇߡ m T ߪઁ ⴕⴕ ࠆ႐ ߒ㧘 ࠍ ࡊࡠ ᭴ࠍ CF ࠆࡄ [ [ Bs [Vie ภߩ ⴕ߆ ⴕ ࡆࡘ 㧮߇ ߪߘ ว᧦ઙ ߡ T ,1 ઁߩ ⴕ ႐ว ᗐ ࡠ࠻ ࠍ FE ߦ ࡄࠬ ] 0 0 ] 0 E D B D s s ] 1 w ฝߪ ߆ࠄ ߪ ࡘ RD ߘࠇ ઙߦ ࠆ T ,2 ߩ࠲ ࠍ วߪ ㅀ ᗐቯ ࠻࠲ ޟC ߦ߅ ᱠⴕ 0 [ 0 0 0 E 0 ] 0 Vi E ߪࡆ ࠄߩ ߪ㧘 ᭴ㅧ DB ߙࠇ ߦߟ ࠆߩ L , ࠲ࠗ ࠍၮ ߪ㧘ࠬ ㅀߪ ቯ⊛ ࠲ࠗ FE ߅ߌ ⴕⴕ ⇒ ⎥ ⎥ ⎥ ⎥ ⎥ ⎥ ⎦ ⎤ 0 ] 0 0 0 Dr View ࡆࡘ ߩࡊ ࡈࠜ ㅧⴕ B ߩ ࠇߩ ߟ ߢ㧘 n T L ࡊߩ ၮᐩ ࠬࠠ [5] ⊛ߦㅊ ࡇࡦ E: ߌࠆ ⴕ ⇒ DE [ 2 ࡘ ࡊࡠ ࠜ ⴕ ߩ႐ว ߩਥ ߡ 㧘ߎ w ߩታ ߣߔ ࠠ ߦ⼑ ㅊട ࡦࠣ ᔨ ࡁ U ⎢ ⎢ ⎢ ⎢ ⎢ ⎢ ⎣ ⎡ • D Er [View ᭴ㅧ ࡠࠣ ࡓ ߪ ว㧘 ਥࠠ ߪ㧘 ߎࠇ whe ታⵝ ߔࠆ ࡑ ⼑ࠆ ടߒ ࠣߦ ᔨࡈ Uާ ⎣ ⎡ 0 0 0 ] [ 0 B Ar ] 2 0 0 w ㅧⴕ ࠣ ࡓ↢ ߪࡈ ࡁ ࠠ ߔ ࠇࠍ ere ⵝ㧰 ࠆో ࡑࠍ ࠆ߇ ߒߚ ߦᓎ ࡈࠜ ࠼ ާਅ⸥ [ [ [ B B B B r ] 0 0 Vi B ⴕ ࡓ ᚑࡆ ࠜ ߣᄖ ߔߴ ࠍ↪ ⚿ 㧮 ోߡ ߮ ߇㧘ሽ ߚࠅ ᓎ┙ ࡓ ߮ ⸥ߩ 0 ] ] 0 ] D B C B A B r r s 3 iew [3 ↢ᚑ ࡆࡘ ࡓ ࠼ߪ ᄖㇱ ߴߡ ߡ ⚿ว᧦ ߦ߽ ߩᏭ ߮ ሽ 㓝⭁ ߡࠆ ࡓࠛ ߮ࡁ ߩవ 0 0 0 ] [ 0 B C 0 3 0 0 3]㧚 ᚑߣ ࡘ ࡓ↢ ߪ࠹ ㇱࠠ ߩ⚿ ߡ✂ ᧦ઙ ߽ㆡ Ꮽ ߒ ߒ ⭁ߒ ࠆߎ ࠛࡦ వ㗡 [D Bs 0 0 0 ⎥ ⎥ ⎥ ⎦ ⎤ ߥ ߣ ࠍ ↢ᚑ ࠹ ࠠ ⚿ว ✂⟜ ઙ ㆡ↪ ߒߡ ߒߥ ߒߚ ߎߣ ࡦࠫ ࠼⚿ 㗡ⴕ 0 0 ] 0 0 B D s . .t s ߅ ᔨ ᭴ᚑ ᚑࡆࡘ ࡉ࡞ ߢ⚿ ว㑐 ⟜⊛ ↪น ࡈ ታ㓙 ߥ ߚࠅ ߣ߇ ࠫࡦ ⚿ว ި ⎥ ⎥ ⎥ ⎥ ⎥ ⎥ ⎦ ⎤ 0 0 0 0 0 ⎜⎜ ⎜ ⎜ ⎝ ⎛ Vie ᔨࡈ ᚑߔ ࡘ ࡞ߣ ⚿ว 㑐ଥ ߦ น⢻ߢ ࠜ 㓙ߦ ႐ว ߒ ᧪ ޠ㧔 วߩ ި߳ ⇒ E View View View ew2 ࡈࠜ ߔࠆ ࠍ ߣߥ วߐ ଥ߇㧘 SQ ߢ ࡓ ߦߎ วߢ ߡ ᧪ࠆ 㧔co ߩ ߳ߩ • B D Ers 3 2 : 1 w w w w2 ߪ ࠜ ࠆࡁ ࠍ⚿ ߥࠆ ߐࠇ 㧘> QL ࠅ ࡓߩ ߎࠇ ߢ ᗐ ࠆ㧔 nce ᗐቯ ߩ࿑ ⎢ ⎢ ⎢ ⎢ ⎢ ⎢ ⎣ ⎡ • 0 0 0 ] [ 0 A : : : ∈ C D E B E r r ߪࡄ ࡓ ⚿ว ࠆ㧚ࡆ ࠇࠆ >< ᢥࠍ ࠅ㧘 ߩࡄ ࠇߦ ߞ ᗐቯ 㧔࿑ ept ቯߩ ࿑㧙 0 0 [ 0 ] [ 0 Br ∈ ∈ C A B D r s s r Z X ࡄࠬ ࡓࠛ ࠼ࠍ ߒߡ ࡆࡘ ߩߢ ߩ೨ ࠍ↢ ࡁ ࠲ ࠕࠢ ߞߡ ቯߩ 㧙 tua ߩㅊ ߩ 0 ] [ 0 ] [ 0 C B A B r s ∈ A Z. Y ⿷〔 ࡦ ࠍ⚿ ߡࡈ ࡘ ߢ㧘 ೨ઙ ↢ᚑ ࠼ ࡦ ࠢ ߽㧘 ߩࡈ 㧕㧚 l fo ㅊട ߩࡄ 0 0 0 [ 0 C C w Y 〔ዊ ࠫࡦ ⚿ว ࡈࠜ ᭴ᚑ SQ ઙ㗄 ᚑߒ ࠼ߣ ࡦ⟲ ࠬ ࡁ ࠜ ߎ orm ߿㓝 ࡄࠬ 0 0 0 ] 0 B Cs wher ዊⴕ ࡦ วߒ ࠜ ᚑ࠹ QL 㗄ߣ 㧘ታ ߣ⚿ ⟲߇ ࠬߔ ࡁ ࡓ ߎߩ m en 㓝⭁ ᱠⴕ 0 0 0 0 0 0 0 0 0 0 re ⴕ ߡ ࡓ↢ ࠹ ᢥߪ ࡄࠬ ታⴕ ⚿ว ߇✂⟜ ߔࠆ ࠼߿ ࡓࠍ ࠃ ngi ⭁ࠍ ⴕߪ ⇒ ⎥ ⎥ ⎥ ⎥ ⎥ ⎥ ⎦ ⎤ 0 0 0 0 0 View [3] ࡆࡘ ↢ᚑ ࡉ ߪએ ࠬ⿷ ⴕߔ ⷐઙ ⟜ ࡈࠜ ߿ࡁ ࠍ⥄ ߁ߥ ine ࠍⴕ ߪએ ⇒EDrB 2 = w ]ߢ ࡘ ᚑߔ ࡉ࡞ એਅ ⿷〔 ߔࠆ ઙߐ ᧪ ࠜ ࡁ േ↢ ߥᣇ 㧕 ⴕ߁ એਅ(
A, Bss = D ᭴ㅧ ↢ ߔࠆ ⟲ࠍ ਅߩ 〔ዊ ࠆߎ ߐ߃ ᧪ࠆ ࡓ ࠼ ↢ᚑ ᣇᴺ ߣ ↹㕙 ਅߩ)
⎢ ⎢ ⎢ ⎢ ⎢ ⎢ ⎣ ⎡ • Cr 0 0 0 ⎢ ⎢ ⎢ ⎣ ⎡ • ㅧ ↢ᚑ ࠆᖱ ࠍ T ߩࠃ ዊⴕ ߣ߇ ߃ಽ ࠆ㧚 ࡓࠍ ࠼⚿ ᚑߔ ᴺߦ ߱ 㕙ߩ ࠃ ⎢ ⎢ ⎢ ⎢ ⎢ ⎢ ⎣ ⎡ 0 0 0 0 0 0 0 0 0 0 0 0 [ 0 B ߔࠆ ႎߣ T1, ߁ߦ ౝ ߇ ಽ߆ࠇ ታⵝ ⥄േ ⚿ว ߔࠆ ࠃࠆ ߱㧚 ߩ ߁ߦ 0 0 0 0 0 0 0 0 0 0 0 0 ]A B s ߐ ࠆᖱ ߣߒ T2, ߦߥ ౝߩ ᧪ ࠇ߫ ⵝ࠺ േ↢ 㧔ࡁ ࠆߎ ࠆ ߦዷ 0 0 0 0 0 [D ࠇߡ ᖱႎ ߒߡ ,… ߥࠆ ߩᚑ ᧪ࠆ ߫㧘 ࠺ ↢ᚑ ࡁ ߣߢ ᔨ ዷ㐿 ⎥ ⎥ ⎥ ⎥ ⎥ ⎥ ⎦ ⎤ 0 0 0 0 0 0 ] 0 ⎦ ⎤ B Ds ߡ ႎߣ ߡ↪ ,Tn ࠆ㧚 ᚑಽ 㧚 ↢ ࠲ ᚑߔ ࠼ ߢ㧘 ᔨࡈ ⇒ . ⎥ ⎥ ⎥ ⎦ ⎤ n ಽ ↢ ߔ ࠼ᔨࡈࠜࡓࠍᩭߣߔࠆࡊࡠ࠻࠲ࠗࡇࡦࠣᡰេࠪࠬ࠹ࡓߣ MTA ߩធว
ᔨࡈࠜࡓ㨯ࡕ࠺࡞ߪ㧘ߎߩࠃ߁ߦࡁ࠼㑆ߩ㧝ኻᄙ⚿วࠍ↪ߡᮡ⊛࠺࠲࠰ࠬ߆ࠄዉ น⢻ߥోߡߩࡈࠜࡓࡄ࠲ࡦ⟲ࠍℂ⺰⊛ߦ✂⟜᧪ࠆߩߢ㧘ࡈࠜࡓࠍ⥄േ↢ᚑߒߡⷐ᳞ಽᨆ Ꮏ⒟ߩࡊࡠ࠻࠲ࠗࡇࡦࠣߦᓎ┙ߡࠆߎߣ߇᧪ࠆ㧚╩⠪ߪએ೨ߦߎߩࠃ߁ߥᡰេࠪࠬ࠹ࡓࠍឭ᩺
[12]ߒߚߎߣ߇ࠆ㧚ߎࠇࠍޟCFPS ᔨࡈࠜࡓࠍᩭߣߔࠆࡊࡠ࠻࠲ࠗࡇࡦࠣᡰេࠪࠬ࠹ࡓޠ
conceptual form centric prototyping support system ߣ߱ߎߣߦߔࠆ㧚
࿑㧙ߪ㧘CFPS ߣ MTA ߩᚑᨐ‛ࠍᇦߣߒߚㅪേߦࠃࠆⷐ᳞ಽᨆะߌߩࡊࡠ࠻࠲ࠗࡇࡦࠣⅣ Ⴚߢࠆ㧚ߎߎߢߪ CFPS ߣᚑᨐ‛ᖱႎࠍ឵ߒߟߟ MTA ߇ㅴⴕߔࠆࠗࡔࠫߣߥߞߡࠆ㧚ࠗ ࡦࡈࠜࡔ࡚ࠪࡦࠦࡦࠪࠚ࡞ࠫࠚߪ࡙ࠩߩⷐ᳞ಽᨆࠍᡰេߔࠆኾ㐷ኅߢࠆ㧚ࡈࠜࡓࠫࠚ ࡀ࠲ߪ↪࠷࡞ߦࡄࡔ࠲ࠍᷰߔߎߣ߽᧪ࠆ߇㧘╩⠪߇ታ㛎↪ߦ㐿⊒ߒߚ◲ᤃࡈࠜ ࡓࠫࠚࡀ࠲ߢ߽᭴ࠊߥ㧚ߎߩⅣႺߢߪⷐ᳞ಽᨆߣࡊࡠࠬಽᨆߣ࠺࠲ಽᨆߩⲢහዷ㐿ߦࠃ ࠆ᭽⏕ቯ߇⋡ᜰߐࠇߡࠆ㧚 ࿑㧙CFPS ߣ MTA ߩᚑᨐ‛ࠍᇦߣߒߚⷐ᳞ಽᨆะߌߩࡊࡠ࠻࠲ࠗࡇࡦࠣⅣႺ MTAߩծޟⷐ᳞ಽᨆޠߢߪࡑࠢࡠࠕ࡚ࠢࠪࡦ߆ࠄࠕ࠻ࡒ࠶ࠢࡊࡠࠬ߳ߩಽ⸃ಽᨆߩਛߢฦࠕ ࠻ࡒ࠶ࠢࡊࡠࠬ߇ಣℂߔࠆ࠺࠲ዻᕈ߇⼂ߐࠇࠆ߇㧘ታ㓙ߩ㐿⊒႐ߢߪ㧘ታലജࠆⷐ᳞ಽ ᨆߣߔࠆᚻᲑߣߒߡᗐቯߩࡈࠜࡓ㧔Ꮽ↹㕙╬㧕߇̆̆ߒߚ߇ߞߡߘߩ⢛ᓟߦࠆߴ߈ᬺോ ኻ⽎ࡁ࠼߇⼂ߐࠇߚߣߒߡ߽ᗐቯߩ߹߹ߢ̆̆ߒ߫ߒ߫↪ࠄࠇࠆ㧚࠺࠲࠰ࠬ߇ᣢሽߩ ߣ߈㧘CFPS ߪߘߎ߆ࠄዉน⢻ߥోߡߩࡈࠜࡓࡄ࠲ࡦ⟲ࠍ࡙ࠩߦ↢ᚑឭ␜ߒߡ㧘࡙ࠩ 䊥䊘䉳䊃䊥 䊂䊷䉺䉸䊷䉴 CFE: ᔨ䊐䉤䊷䊛 䉣䊮䉳䊮 䊐䉤䊷䊛 䍚䍼䍈䍦䍸䍎䍞 ↪䉿䊷䊦 ◲ᤃ䉿䊷䊦 ↹㕙 Ꮽ 䊡䊷䉱 䊉䊷䊄⚿ว 䊂䊷䉺 ᖱႎⷐ᳞ ឭ᩺ 䉟䊜䊷䉳 䊌䊤䊜䊷䉺 ⥄േ↢ᚑ ↢ᚑ‛䈱ታⵝ 䉿䊷䊦 ↪ 䉰䊘䊷䊃 ജ䊂䊷䉺 CFPS: ᔨ䊐䉤䊷䊛䉕ᩭ䈫䈜䉎 䊒䊨䊃䉺䉟䊏䊮䉫ᡰេ䉲䉴䊁䊛 㪪㪨㪣 㪯㫈㫌㪼㫉㫐 䈭䈬 RDB XML 䈠䈱ઁ 䉟䊮䊐䉤䊜䊷䉲䊢䊮 䉮䊮䉲䉢䊦䉳䉢 䊒䊨䉶䉴䈱ಽᨆ䈫᭽ᬌ⸛ 䋨ᬺോኻ⽎䊉䊷䊄䈱⼂䋩 Ꮽ 䊶 ↹ 㕙 ╬ 䈱 ⼂ 䈫 ቯ ⟵
A
B
C
⁁ ᘒ 䈱 ⸳ ⸘ ⷐ᳞ಽᨆ 䊂䊷䉺ዻᕈ䉇䊐䉜䉟䊦䈱⼂ MTA 䈮䈍䈔䉎䊒䊨䊃䉺䉟䊏䊮䉫䈱ᵹ䉏 䊜䉺䊂䊷䉺 ᗐቯᖱႎ 䉟䊮䉺䊐䉢䊷䉴䈱⸳⸘ 䊐䉤䊷䊛⥄りߦࠃࠆⷐ᳞⏕߿⋥ߒࠍଦߔߎߣ߇᧪ࠆ㧚࠺࠲࠰ࠬ߇ᧂ⊓㍳ߢߞߚࠅ᭽ᄌᦝ߇੍ ቯߐࠇߡࠆ႐วߪ㧘ᗐቯߩᬺോኻ⽎ࡁ࠼ࠍࡐࠫ࠻⊓㍳ߔࠆߎߣߦࠃࠅ㧘ߘߩࠃ߁ߥૉߒ ᦠ߈ߩࡈࠜࡓࠗࡔࠫࠍឭଏߔࠆߎߣ߇᧪ࠆ㧚࿑ߢߪ MTA ߩծ߆ࠄ CFPS ߩࡐࠫ࠻ߦ ᬺോኻ⽎ࡁ࠼ߩᖱႎ߇ᒁ߈ᷰߐࠇߡࠆ߇㧘MTA ߩծߦ㧘࠺࠲ዻᕈߩᵞߒߦࠃࠄߕᬺോ ኻ⽎ࡁ࠼ࠍ⼂᧪ࠆᯏળ߇ࠆ߆ߤ߁߆㧘ߣ⸒߁ὐߦߟߡߪᰴߩ┨ߢ⼏⺰ߔࠆ㧚 MTAߩկޟ⁁ᘒߩ⸳⸘ޠߢߪծߢขᓧߒߚ࠺࠲ዻᕈࠍᱜⷙൻߒߡ⼂ߒߚࡈࠔࠗ࡞ࠍቯ⟵ߔ ࠆߎߣߣߥߞߡࠆ߇㧘CFPS ߢߪ㕖ᱜⷙൻ⁁ᘒߩࡁ࠼ߢߞߡ߽ࡈࠜࡓ↢ᚑ߇น⢻ߢࠆ㧚 ߥ߅ MTA ߽ CFPS ߽㧘ߣ߽ߦկߩᬺࠍᡰេߔࠆᯏ᭴ߪᜬߞߡߥ㧚వߦ߽ㅀߴߚࠃ߁ߦⷐ᳞ ಽᨆߣࡊࡠࠬಽᨆߣ࠺࠲ಽᨆ߇Ⲣහዷ㐿ߐࠇࠆߥ߆ߢ㧘߶߷หᤨߦ᭽ቯߔࠆߩ߇ታ㓙ߢ ࠅ㧘࿑ߩࠃ߁ߦծկհࠍᚻߦ࿁ߒߥ߇ࠄା㗬᧪ࠆկߩ⏕ቯࠍ⋡ᜰߔᵹࠇ߇ࡊࡠ࠻࠲ࠗࡇࡦࠣߢ ߪᄢಾߢࠆ㧚 MTA ߩհޟࠗࡦ࠲ࡈࠚࠬߩ⸳⸘ޠߢߪ㧘ࠗࡦ࠲ࡈࠚࠬߣߥࠆࡈࠜࡓ㔇ᒻ߇ߔߢߦ MTA ߦ⊓㍳ᷣߺߢࠅ㧘ߎࠇࠍ↪ߡኻ⽎ࠕ࠻ࡒ࠶ࠢࡊࡠࠬߩࡈࠜࡓࠗࡔࠫࠍ࡙ࠩឭ␜ߔࠆ ߣߒߡࠆ߇㧘ࡈࠜࡓ㔇ᒻ߇ߤߩࠃ߁ߥ࠺࠲࠰ࠬ᭴ㅧߦኻᔕน⢻߆ߦߟߡߩ⼏⺰ߪࠄࠇ ߥ㧚ߒ߆ߒ CFPS ߢߪᮡ⊛࠺࠲࠰ࠬ᭴ㅧ߆ࠄዉน⢻ߥోߡߩࡈࠜࡓࡄ࠲ࡦ⟲ࠍ⥄േ ↢ᚑߔࠆߩߢ㧘MTA ߩࡈࠜࡓ㔇ᒻࠍ CFPS ߆ࠄ⥄േ↢ᚑߔࠆᯏ᭴ߪℂ⺰⊛ߦ᭴▽น⢻ߢࠆ㧚 ߐࠄߦ〯ߺㄟࠎߢ߃߫㧘CFPS ࠍᩭߦᛴߌ߫ MTA ߩࡈࠜࡓ㔇ᒻߪਇⷐߦ᧪ࠆ߆߽ߒࠇߥ㧚
MTA ߢߩᬺോኻ⽎ࡁ࠼ߩ⼂
ߩ MTA ߢߪ㧘ࡊࡠࠬಽᨆߢ⼂ߐࠇߚ࠺࠲ዻᕈࠍᱜⷙൻߔࠆߎߣߢࡈࠔࠗ࡞⼂ߔࠆ㧘 ࠊࠁࠆࡏ࠻ࡓࠕ࠶ࡊဳߩ࠺࠲ࡕ࠺ࡦࠣࠍㆡ↪ߒߡࠆ߇㧘ࡊࡠࠬಽᨆߩᣧᲑ㓏߆ࠄ࠻࠶ ࡊ࠳࠙ࡦߦ⼂ߔࠆᯏળߪࠆߛࠈ߁߆㧫 MTA ߪ㧘ߎࠇߦߟߡ߽⺆ࠄߥ߇㧘ᗐቯߩᬺ ോኻ⽎ࡁ࠼߇࡙ࠩࡕ࠺࡞ߦᤋ᧪ࠆ߆ߤ߁߆㧘߹ߚߘࠇࠍ↪ࠆߎߣߢࡊࡠࠬಽᨆߦ⋉ ߥᨐታ߇ᦼᓙ᧪ࠆ߆ߤ߁߆ߢ್ᢿน⢻ߣᕁࠊࠇࠆ㧚 వߦ߽ㅀߴߚ߇㧘࡙ࠩࡕ࠺࡞ߪ㧘㧨ActionName, ResName, AttrName, fjj, para, delta_lambdaactionNi, actionNii, MactionName㧪ߢ ߞߚ㧚ߎߩ߁ߜ࠺࠲ࡕ࠺࡞ⷐ⚛ߪ AttrName㧔ዻᕈฬߩ㓸ว㧕㧘{fj}j㧔ࡈࠔࠗ࡞᭴ㅧߩࠢࠬ㧕㧘 para㧔ฦࠕ࠻ࡒ࠶ࠢࡊࡠࠬߩታⵝߦᔅⷐߥ࠺࠲ߩዻᕈࠍᜰቯߔࠆ㑐ᢙ㧕ߩ 3 ߟߛ߇㧘CRUD ߦ⌕⋡ߒߡಽ⸃ߒߚࠕ࠻ࡒ࠶ࠢࡊࡠࠬߩ࠻ࡦ࡚ࠩࠢࠪࡦಣℂߩ⚿ᨐߪࡈࠔࠗ࡞⁁ᘒߦᤋߔ ࠆߩ߇ㅢᏱߢࠆ߆ࠄ㧘para ౝߩ࠺࠲ዻᕈ⟲ߢߒ߆⼂ߢ߈ߥ㘃ߩᬺോኻ⽎ࡁ࠼ߣ߁ߩ ߪ㧔․ᱶߥ↪ㅜߢߥߌࠇ߫㧕⠨߃ߦߊ㧚ߒߚ߇ߞߡ㧘{fj}j㧔ࡈࠔࠗ࡞᭴ㅧߩࠢࠬ㧕߇ᬺോኻ⽎ ࡁ࠼ߩኻᔕ‛ߢࠆߣ⠨߃ߡࠃ㧚ߢߪ࠺࠲ዻᕈ߽ᦌᤒߥ⁁ᘒߦ߅߆ࠇߚᗐቯߩᬺോኻ⽎ࡁ ࠼ࠍࡈࠔࠗ࡞᭴ㅧࠢࠬߣߒߚ࡙ࠩࡕ࠺࡞ߪ㧘MTA ߩࡊࡠࠬಽᨆߢࠍ↢ߺߖࠆߛࠈ߁ ߆㧫
MTA ߩ CAST ⸒⺆ߢ⸥ㅀߒߚ⸳⸘᭽ߪ extProlog ߇ᱜᏱߦࠦ࠼↢ᚑ᧪ࠆࡌ࡞ߩ⸥タࠍ ߽ߞߡ⸳⸘ቢੌၮḰߣߒߡ߅ࠅ㧘࠺࠲ዻᕈ㧔AttrName㧕ߩਇߪ⋥ߜߦታⵝࠛߣߥࠆ߆ࠄ㧘 ᗐቯࡁ࠼ߣ߁ሽ߇ MTA ᧄ᧪ߩ⠨߃ߣ⋧ኈࠇߥߎߣߪࠄ߆ߢࠆ㧚ߒ߆ߒಽᨆࡌ࡞ ࠍⷐ᳞㗄ߩ⏕߿⋥ߒߦ⇐㧘⋥ߜߩታⵝ⏕߹ߢߪ᳞ߥಽᨆࠬࠦࡊߢࠇ߫ߤ߁ߛࠈ ߁߆㧫
MTAߩࠕ࠻ࡒ࠶ࠢࡊࡠࠬߩታⵝߪએਅߩᚻ㗅ߢዷ㐿ߔࠆߎߣߦߥߞߡࠆ㧚 (a) DFDߦၮߠߡࡈࠔࠗ࡞ߩዻᕈฬࠍቯࠆ㧚 (b) ࠕ࠻ࡒ࠶ࠢࡊࡠࠬߩታⴕߦᔅⷐߥജ࠺࠲ࠍࠆ㧚 (c) ࠗࡦ࠲ࡈࠚࠬⷐ⚛ࠍ⸥ㅀߔࠆ㧚 (d) ታⵝⷐ⚛ࠍ⸥ㅀߔࠆ㧚 (e) ࠦࡦࡄࠗ࡞ߒ㧘ታⴕߒߡ⚿ᨐࠍ⏕ߔࠆ㧚 ᗐቯࡁ࠼ߢߪ㧘(a)એਅߢోߡߩ࠺࠲ዻᕈ߇ਇߣߥࠆ߇㧘ߎߎߢߪ᭽⸥ㅀߩߔߴߡ߇ਇ ߣ߁ࠊߌߢߪߥὐߦᵈ⋡ߒߚ㧚․ߦ㊀ⷐߢࠆ(d)ߩታⵝⷐ⚛ߦߟߡ࠹ࠠࠬ࠻ߩ◲නߥࠍ ߡߺࠃ߁㧚એਅ㧘ࠬࠢࡊ࠻ߩᢳ߅ࠃ߮ᄥሼߪ╩⠪ߦࠃࠆ㧚 㧕ࡑࠢࡠࠕ࡚ࠢࠪࡦޟ㘈ቴ▤ℂ㧔cregiser㧕ޠߩࠕ࠻ࡒ࠶ࠢࡊࡠࠬޟ㘈ቴߩᣂⷙ⊓㍳ 㧔registercostomer㧕ޠߩታⵝⷐ⚛ߪએਅߩ⸥ㅀߣߥࠆ㧚 registercostomer([cname,ctel])=res<-> (member([cid,cname,ctel,loan],㪹㪺㫌㫊㫋㫆㫄㪼㫉㪅㫃㫀㪹)) -> (
res:=[“customer is already registered”]
)
otherwise
(
cID:=getCID(),
㪹㪺㫌㫊㫋㫆㫄㪼㫉㪅㫃㫀㪹:=append(㪹㪺㫌㫊㫋㫆㫄㪼㫉㪅㫃㫀㪹,[[cID,cname,ctel,0 ]]), res:=[cname, “was registered”]
);
customerregisterߢߪ㧘ࠗࡦ࠲ࡈࠚࠬⷐ⚛߆ࠄ paralist ߣߒߡ[cname,ctel]ߩ㧞ዻᕈߩ࠺࠲
⚵ࠍฃߌขࠅ㧘ߘߩ୯߇㘈ቴࡈࠔࠗ࡞ 㪹㪺㫌㫊㫋㫆㫄㪼㫉㪅㫃㫀㪹 ߩਛߩࡔࡦࡃߢࠆߣ߈㧘ߔߥࠊߜ⸥ㅀ member([cid,cname,ctel,loan],㪹㪺㫌㫊㫋㫆㫄㪼㫉㪅㫃㫀㪹)߇⌀ߩߣ߈ߪ㧘“customer is already registered”ߣ ߁ࡔ࠶ࠫࠍߔ㧚߹ߚனߩߣ߈ߪ㧘cID:=getCID() ߦࠃࠅᣂⷙ㘈ቴ ID ࠍ⊒ⴕߩ߁߃
㪹㪺㫌㫊㫋㫆㫄㪼㫉㪅㫃㫀㪹:=append(㪹㪺㫌㫊㫋㫆㫄㪼㫉㪅㫃㫀㪹,[[cID,cname,ctel,0 ]]) ߦࠃࠅᣂⷙ㘈ቴࠦ࠼
[cID,cname,ctel,0 ]ࠍ 㪹㪺㫌㫊㫋㫆㫄㪼㫉㪅㫃㫀㪹 ߦㅊട㧔append㧕ߒ㧘ᦨᓟߦ cname,“was registered”ߣ߁ࡔ ࠶ࠫࠍߔ㧘ߣ߁࠻ࡦ࡚ࠩࠢࠪࡦಣℂߣ↹㕙ᔕ╵㧔res㧕ߩ᭽ߢࠆ㧚 ߎߎߢᗐቯࡁ࠼ߩ႐วࠍ⠨߃ࠆߣ㧘䊐䉜䉟䊦ฬ㧔ᄥሼ㧕ߦߟߡߪᗐቯࡁ࠼ߩኻᔕฬࠍ ਈ߃ࠆߎߣ߇᧪ࠆߒ㧘ઍ⊛ߥዻᕈฬ㧔ᢳ㧕ߥࠄ⺕ߢ߽ߍࠆߎߣ߇᧪ࠆ㧚ߎߩᲑ㓏ߢขᓧ ߒߚᬺോኻ⽎ࡁ࠼ߩᖱႎࠍ CFPS ߩࡐࠫ࠻ߦᒁ߈ᷰߖ߫㧘ߚߣ߃ᗐቯߩ߽ߩߢߞߡ߽ CFPSߪ⋥ߜߦ࠺࠲࠰ࠬᖱႎߦၮߠߊࡈࠜࡓࠗࡔࠫࠍ↢ᚑߔࠆߎߣߢ MTA ߩⷐ᳞ಽᨆ ࠍᡰេߔࠆ⼾߆ߥ␜ໂ᧚ᢱࠍឭଏߔࠆ㧚ታⵝߦࠃࠆേᬌ⸽ࠍ৻ᤨ⇐ߒߡ߽㧘චಽߦ⍎ߥ⸥ㅀ ߢߩࡊࡠࠬᬌ⸛߇᧪ࠆߪߕߢࠅ㧘ߘߎߦಽᨆᎿᢙࠍ߆ߌࠆଔ୯ߪࠆ㧚CFPS ߣߩធวߦࠃ ࠅ MTA ߩㆡ↪▸࿐ࠍࠃࠅᵹ߳ߣᒛߔࠆน⢻ᕈ߇߃ࠆߩߢࠆ㧚
㧕ࡑࠢࡠࠕ࡚ࠢࠪࡦޟ⽼ᄁ▤ℂ㧔sales㧕ޠߩࠕ࠻ࡒ࠶ࠢࡊࡠࠬޟ⽼ᄁಣℂ㧔bsale㧕ޠ㧔ᄁવ ߩ⸥㍳ߣᄁដ㊄ߩᦝᣂ㧕ߩታⵝⷐ⚛ߪએਅߩ⸥ㅀߣߥࠆ㧚 bsale([cname,ctel,bname,bprice ])=res<-> (member([cid,cname,ctel,loan],㪹㪺㫌㫊㫋㫆㫄㪼㫉㪅㫃㫀㪹)) -> ( date:=getDate2(), 㪹㫊㪸㫃㪼㫊㪅㫃㫀㪹:=append(㪹㫊㪸㫃㪼㫊㪅㫃㫀㪹,[[cid,bname,bprice,date]]), loan2:=loan+bprice, project(㪹㪺㫌㫊㫋㫆㫄㪼㫉㪅㫃㫀㪹,pcid,[cid,cname,ctel,loan]), 㪹㪺㫌㫊㫋㫆㫄㪼㫉㪅㫃㫀㪹:=replaceList(㪹㪺㫌㫊㫋㫆㫄㪼㫉㪅㫃㫀㪹,pcid,[cid,cname,ctel,loan2]), res:=[“Thank you for your purchase”,bname]
) otherwise (
res:=[ “Sorry,your name is not registered yet, Please register”] );
bsale ߪ㧘ࠗࡦ࠲ࡈࠚࠬⷐ⚛߆ࠄ paralist ߣߒߡ[cname,ctel,bname,bprice]ߩ 4 ዻᕈߩ࠺࠲ ⚵ࠍฃߌขࠅ㧘ߎߩ߁ߜ[cname,ctel]ߩ୯߇㘈ቴࡈࠔࠗ࡞ 㪹㪺㫌㫊㫋㫆㫄㪼㫉㪅㫃㫀㪹 ߩਛߩࡔࡦࡃߢࠆߣ߈㧘 ߔߥࠊߜ⸥ㅀ member([cid,cname,ctel,loan],㪹㪺㫌㫊㫋㫆㫄㪼㫉㪅㫃㫀㪹)߇⌀ߩߣ߈ߪ㧘ᄁࡈࠔࠗ࡞ 㪹㫊㪸㫃㪼㫊㪅㫃㫀㪹 ߣ㘈ቴࡈࠔࠗ࡞ 㪹㪺㫌㫊㫋㫆㫄㪼㫉㪅㫃㫀㪹 ߩᦝᣂࠍⴕߞߡ߆ࠄ“Thank you for your purchase”,bname ߣ߁ࡔ ࠶ࠫࠍߔ㧚߹ߚனߩߣ߈ߪ㧘㘈ቴߩᣂⷙ⊓㍳ࠍଦߔߚ “Sorry,your name is not registered yet, Please register”ߣ߁ࡔ࠶ࠫࠍߔ㧘ߣ߁࠻ࡦ࡚ࠩࠢࠪࡦಣℂߣ↹㕙ᔕ╵㧔res㧕ߩ ᭽ߢࠆ㧚 ߎߎߢߪᄁࡈࠔࠗ࡞ 㪹㫊㪸㫃㪼㫊㪅㫃㫀㪹 ߣ㘈ቴࡈࠔࠗ࡞ 㪹㪺㫌㫊㫋㫆㫄㪼㫉㪅㫃㫀㪹 ߩ 2 ߟߩታⵝࡌ࡞ߩᬺോኻ⽎ࡁ ࠼߇⼂ߐࠇࠆ߇㧘 ߣห᭽㧘ᗐቯࡌ࡞ߩ߽ߩߢߞߡ߽චಽߦⷐ᳞ಽᨆߪⴕ߃ࠆ㧚ߚߛ ߒታⵝⷐ⚛ߩ⸥ㅀ߆ࠄਔࡁ࠼㑆ߩ 1 ኻᄙ⚿วࠍᯏ᪾⊛ߦ⺒ߺขࠆߎߣߪ࿎㔍ߢࠅ㧘ߎߎ߆ࠄ࠺ ࠲࠰ࠬ᭴ㅧࠍഀࠅߔߦߪߩಽᨆᛛⴚ߇ᔅⷐߣߥࠆߎߣ߇ಽ߆ࠆ㧚ߎࠇߦߟߡߩ⼏⺰ߪᧄ Ⓜߢߪⴕࠊߥ㧚 ⼏⺰ߣዷᦸ ᧄⓂߢߪ㧘ᔨࡈࠜࡓࡕ࠺࡞߇ᛒ߁ᬺോኻ⽎ࡁ࠼⟲߇㧘ࡊࡠࠬಽᨆߩߤߩᎿ⒟ߢߤߩࠃ ߁ߦ⼂ߐࠇ㧘ߤߩࠃ߁ߦ⾰⊛⸽߇ਈ߃ࠄࠇࠆ߆㧘߹ߚߘߩᎿ⒟ߦኻߒᔨࡈࠜࡓࡕ࠺࡞߇ ߤߩࠃ߁ߦ⽸₂᧪ࠆ߆㧘ߣ߁㗴ߦߟߡ㧘ࡕ࠺࡞ℂ⺰ࠕࡊࡠ࠴㧔MTA㧕ߣᔨࡈࠜࡓ ࠍᩭߣߔࠆࡊࡠ࠻࠲ࠗࡇࡦࠣᡰេࠪࠬ࠹ࡓ㧔CFPS㧕ߣߩធวㅪേࠍ᧚ᢱߦ⠨ኤߒߚ㧚ߘߩ⚿ᨐ㧘 ᰴߩߎߣࠍ⏕ߒߚ㧚ߔߥࠊߜߩ MTA ߪᅷᒰߥታⵝ↢ᚑࠍⴕ߃ࠆ⸳⸘᭽ߩ⏕ࠍ߽ߞߡⷐ ᳞ಽᨆߩቢੌⷐઙߣߒߡࠆ߇㧘CFPS ߩᡰេߦࠃࠆࡊࡠ࠻࠲ࠗࡇࡦࠣࠍ೨ឭߣߔࠇ߫㧘ᔅߕߒ ߽ታⵝ↢ᚑߪ᳞ߥߊߡ߽ࠃߊ㧘ᗐቯߩᬺോኻ⽎ࡁ࠼ߩᲑ㓏ߢ߽CAST ߢ᭽⸥ㅀߒߡCFPS
ࡐࠫ࠻ߦᷰߖ߫㧘CFPS ߪᒰᐳߩ࠺࠲࠰ࠬ᭴ㅧ߆ࠄዉน⢻ߥోߡߩࡈࠜࡓࡄ࠲ ࡦ⟲ࠍ MTA ߦߔߎߣߢⷐ᳞ಽᨆߣࡊࡠࠬಽᨆߣ࠺࠲ಽᨆߩⲢහ⊛ዷ㐿ࠍᡰេ᧪ࠆ㧚ߎࠇ ߇⚿⺰ߢࠆ㧚 MTA߇ CFPS ߦᷰߔᬺോኻ⽎ࡁ࠼ߩຠ⾰ߪ㧘ߘߩ߹߹ CFPS ߆ࠄ MTA ߦ↢ᚑឭଏߐࠇࠆࡈ ࠜࡓߩຠ⾰ߦᤋߔࠆ㧚ߟ߹ࠅ㧘MTA-CFPS ߩࡊࡠ࠻࠲ࠗࡊⅣႺߦ߅ߡਔ⠪ߪ㏜ᤋ㑐ଥߦ ࠆ㧚ߎࠇߦ⌕⋡ߔࠇ߫㧘MTA-CFPS ࠍㅪേߐߖࠆ⚵ߺ㧔MTA ߆ࠄ CFPS ߳ߩᬺോኻ⽎ࡁ࠼ ߣ࠺࠲ዻᕈߩᒁᷰߒ㧘CFPS ߆ࠄ MTA ߳ߩ↢ᚑࡈࠜࡓߩᒁᷰߒ㧘ㅪേ▤ℂᯏ᭴ߥߤ㧕ߩ㐿⊒ ߇ᓟᦼᓙߐࠇߡࠃ㧚
MTAߢߪ㓸ว⺰⊛ࡕ࠺࡞⸥ㅀ⸒⺆ CAST ߢ᭽⸥ㅀߒ㧘CAST ߣ⋧ᕈߩࠃ extProlog ߦታⵝ
ࡄࡔ࠲ࠍᷰߒߡߚ߇㧘࿁ߩ⍮ߪ㧘᭽⸥ㅀ⸒⺆߿ታⵝ↢ᚑ⸒⺆ߩ߆ࠎࠍࠊߥ⚿ ⺰ߢࠅ㧘ઁߩ㐿⊒ᣇᴺ⺰߿࠷࡞ⅣႺߦߟߡ߽ᢝⴖ᧪ࠆ㧚 MTAߢߪ․ቯߩᬺോࡊࡠࠬࡄ࠲ࡦࠍ㔇ᒻߣߒߡ↪ᗧߒߡ߅ࠄߕ㧘໑৻ߩⷐઙߣ߽߃ࠆ ޟ࡙ࠩࡕ࠺࡞ⷙᩰࠍḩߚߔ࠻ࡦ࡚ࠩࠢࠪࡦಣℂࠪࠬ࠹ࡓ߳ߩ৻⥸ㆡ↪ޠߣ߁ℂ⺰⊛᥉ㆉᕈ ߦ߅ߡઁߦ㘃ࠍߥࠕࡊࡠ࠴ߢࠆ㧚CFPS ߦ߅ߡ߽ห᭽ߩߎߣ߇⸒߃ࠆ㧚MTA-CFPS ߣ߁ℂ⺰ࡕ࠺࡞ห჻ߩㅪേߦߟߡ࿁ᓧߚ⚿⺰ߪ㧘ℂ⺰⊛ߥ⠨ኤߩ⚿ᨐߢࠆ߇ࠁ߃ߦ㧘ߘ ߁ߢߥታോ⇇ߢㆡ↪ߐࠇߡࠆᄙ᭽ߥࠕࡊࡠ࠴⟲ߦኻߒߡ߽⋉ߥ␜ໂࠍឭଏߔࠆ㧚 ⷐ᳞Ꮏቇಽ㊁ߩ⪺ฬߥࡠ࠼ࡑ࠶ࡊ[13]ߦ߅ߡ㧘ࡈࠜࡓಽᨆߪ㧘ER ࡕ࠺࡞ࠍߔ㧠ߟߩ ᚻᴺߩ߭ߣߟߣߐࠇߡߚߦ߽㑐ࠊࠄߕ㧘ߎࠇߦኻߔࠆℂ⺰ࡌࠬߩᚻᴺࠍឭ␜ߢ߈ߥߢߚ ߇㧘ᧄⓂߢㅀߴߚࠕࡊࡠ࠴ߪ㧘ߎߩ㗴߳ߩᛂ㐿ߩࠍ㐿ߊߎߣߦߥࠆ㧚 ߥ߅ MTA ߩታⵝⷐ⚛ߩࠬࠢࡊ࠻ߪ㧘ࡄ࠲ࡦ࠹ࡦࡊ࠻ࠍࠅ߿ߔ᭴ㅧߢࠅ㧘․ቯ ߩᬺോࡊࡠࠬࡄ࠲ࡦࠍ㔇ᒻߣߒߡ↪ᗧߒߡಽᨆ⠪ߦឭଏߔࠆߎߣߪኈᤃߢࠆߣᕁࠊࠇࠆ㧚 ߹ߚࠕ࠽ࠪࠬࡄ࠲ࡦߥߤߩෳᾖࡕ࠺࡞[14][15]ߦḰߒߚᒻߢ㔇ᒻ࡙ࠩࡕ࠺࡞ࠍᢛߒឭ ଏߔࠆߎߣ߽චಽน⢻ߢࠆߣᕁࠊࠇࠆ㧚ߘࠇࠄ߇ᢛߐࠇߚߣ߈ߩ MTA-CFPS ⅣႺߪࠬࠢ࠶ ࠴ߢߩⷐ᳞ಽᨆߦᲧߴ㘧べ⊛ߦ⾰ߩ㜞ಽᨆࠍ߽ߚࠄߔߎߣ߇੍ᗐߐࠇࠆ߇㧘ᓟߩᦼᓙߣߒߚ 㧚
ෳ⠨ᢥ₂
[1] ਛᱞޟ࠺࠲࠰ࠬ࠲ࠗࡊ㧘ᔨᏭ↢ᚑࡄ࠲ࡦ㧘߅ࠃ߮ᔨᏭ࠹ࡦࡊ࠻ߩࠞ࠲ࡠࠣൻޠ ޡ⚻༡ᖱႎቇળޢ Vol.11, No.12002.6.[2] M. Nakanishi. “Office Form Generator Supported with Path Reading Matrix”, Economic and Business Review, Vo1.15, No.1, Nagoya Keizai University, 2007.9.
[3] ਛᱞޟᔨᏭߦ߅ߌࠆ View ᭴ㅧߩⴕߣߘߩᔕ↪ޠޡ⚻༡ᖱႎቇળ 2010 ᐕᤐቄో࿖⎇ ⓥ⊒ᄢળ੍Ⓜ㓸ޢ, 2010.6. [4] ਛᱞޟࡄࠬᱠⴕⴕࠍᇦߒߚᏭᬌ⸛ࡊࡠࠬޠޡᖱႎࠪࠬ࠹ࡓቇળ 2014 ᐕో࿖ᄢળ੍Ⓜ㓸ޢ㧘 2014.11. [5] ਛᱞޟࡄࠬᱠⴕⴕߩᗐቯߩࡁ࠼߮ࡄࠬ߳ߩᒛޠޡᖱႎࠪࠬ࠹ࡓቇળޢ㧘Vol.11, No.1, 2016.1. [6] 㜞ේᐽᒾਛ㊁ᢥᐔᢪ⮮ᢅ㓶ᣩ⾆ᦶᩊ⋥᮸ਅᎹᜏᐔ㜞ᧁᔀޟࡕ࠺࡞⺰ߦ߽ߣߠߊࠪࠬ࠹ࡓ㐿 ⊒ᣇᴺ⺰㧦MGST ࠕࡊࡠ࠴ߦࠃࠆᬺോಣℂࠪࠬ࠹ࡓޠޡ⚻༡ᖱႎቇળޢ, Vol.14, No.1, 2005.9.
[7] Y. Takahara and Y. Liu, Foundations and Application of MIS, Springer, 2006. [8] 㜞ේᐽᒾᢪ⮮ᢅ㓶ᣩ⾆ᦶᩊ⋥᮸ޡᒻᑼᚻᴺࡕ࠺࡞ℂ⺰ࠕࡊࡠ࠴ ᖱႎࠪࠬ࠹ࡓ㐿⊒ߩၮ␆ޢ㧘 ᣣ⑼ᛛㅪ, 2007. [9] 㘵ፉᷕ৻ޟᖱႎࠪࠬ࠹ࡓ⸳⸘ޠ㜞ේᐽᒾ㜞ᵤାਃ㧔✬㧕ޡ⚻༡ᖱႎࠪࠬ࠹ࡓޢ╙ 5 ┨ᣣೀᎿ ᬺᣂ⡞␠, 2007, pp.117-121. [10]㘵ፉᷕ৻ޟᒻᑼ᭽ߣࠪࠬ࠹ࡓ⸳⸘ޠ㜞ේᐽᒾ⟵ਭ ┙ᎹਂᄦḴญᔀᄦ㧔✬㧕ޡࠪࠬ࠹ࡓ ⸳⸘ߩℂ⺰ߣታ㓙ޢ╙ 7 ┨ㄭઍ⑼ቇ␠, 1991, pp.102-103. [11]ᣩ⾆ᦶ㜞ේᐽᒾਛ㊁ᢥᐔᢪ⮮ᢅ㓶ᩊ⋥᮸┻↰ାᄦޟ⚻༡ᖱႎࠪࠬ࠹ࡓ㐿⊒ߩߚߩࡕ࠺࡞ ⸥ㅀ⸒⺆ CASTޠ,ޡ⚻༡ᖱႎቇળޢ, Vol.16, No.4, 2008.3.
[12] ਛᱞޟᔨᏭࠛࡦࠫࡦߩࡊࡠ࠻࠲ࠗࡊޠޡ⚻༡ᖱႎቇળ 2010 ᐕ⑺ቄో࿖⎇ⓥ⊒ᄢળ੍Ⓜ㓸ޢ, 2010.10.
[13] R. J. Wieringa, Requirements Engineering: Frameworks for Understanding, Wiley, 1996, pp.165-166.
[14] M. Fowler, Analysis Patterns: Reusable Object Models, Addison-Wesley Professional, 1996 = ၳౝ৻ 㧔⋙⸶㧕ఽ₹ା㊁᥏ᄦ㧔⸶㧕ޡࠕ࠽ࠪࠬࡄ࠲ࡦ̆ౣ↪น⢻ߥࠝࡉࠫࠚࠢ࠻ࡕ࠺࡞ޢࡇ ࠕ࠰ࡦࠛ࠺ࡘࠤ࡚ࠪࡦ2002.
[15] S. W. Ambler, Object Primer: Agile Model-Driven-Development With UML 2.0, Cambridge University Press, 2004 =ࠝࠫࠬ✚⎇㧔⋙⸶㧕ᥓౖሶ㧔⸶㧕ޡࠝࡉࠫࠚࠢ࠻㐿⊒ߩ㜑̆UML2.0 ࠍߞߚࠕࠫࡖࠗ࡞ࡕ࠺࡞㚟േ㐿⊒ߩߔߴߡޢᣣ⚻㧮㧼2005.
