计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2010年
9期
137-140
,共4页
汪玲%戎玫%张广泉%王昇
汪玲%戎玫%張廣泉%王昇
왕령%융매%장엄천%왕승
Bigraph%Bigraph反应系统%AODSA%动态演化
Bigraph%Bigraph反應繫統%AODSA%動態縯化
Bigraph%Bigraph반응계통%AODSA%동태연화
随着网络技术的发展,软件运行环境的开放化和用户需求的多样化,使得人们对软件动态演化能力提出了更高的要求.面向方面软件开发中的关注点分离思想很好地支持了软件动态演化,现有的形式化方法难以直观地表示体系结构的动态性,且不能很好地验证系统演化前后的正确性.Bigraph不仅具有直观的图形化表达能力,而且具备良好的数学基础,可以推理和验证系统的演化性质.因此,提出了一种面向方面动态软件体系结构(AODSA)模型,扩展的Bigraph用于描述AODSA的结构,使用Bigraph反应系统(BRS)来描述AODSA的动态演化.最后以一个简化的ATM存款系统模型为例,说明Bigraph表示的ATM模型以及基于BRS的演化过程.
隨著網絡技術的髮展,軟件運行環境的開放化和用戶需求的多樣化,使得人們對軟件動態縯化能力提齣瞭更高的要求.麵嚮方麵軟件開髮中的關註點分離思想很好地支持瞭軟件動態縯化,現有的形式化方法難以直觀地錶示體繫結構的動態性,且不能很好地驗證繫統縯化前後的正確性.Bigraph不僅具有直觀的圖形化錶達能力,而且具備良好的數學基礎,可以推理和驗證繫統的縯化性質.因此,提齣瞭一種麵嚮方麵動態軟件體繫結構(AODSA)模型,擴展的Bigraph用于描述AODSA的結構,使用Bigraph反應繫統(BRS)來描述AODSA的動態縯化.最後以一箇簡化的ATM存款繫統模型為例,說明Bigraph錶示的ATM模型以及基于BRS的縯化過程.
수착망락기술적발전,연건운행배경적개방화화용호수구적다양화,사득인문대연건동태연화능력제출료경고적요구.면향방면연건개발중적관주점분리사상흔호지지지료연건동태연화,현유적형식화방법난이직관지표시체계결구적동태성,차불능흔호지험증계통연화전후적정학성.Bigraph불부구유직관적도형화표체능력,이차구비량호적수학기출,가이추리화험증계통적연화성질.인차,제출료일충면향방면동태연건체계결구(AODSA)모형,확전적Bigraph용우묘술AODSA적결구,사용Bigraph반응계통(BRS)래묘술AODSA적동태연화.최후이일개간화적ATM존관계통모형위례,설명Bigraph표시적ATM모형이급기우BRS적연화과정.
