计算机研究与发展
計算機研究與髮展
계산궤연구여발전
JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT
2007年
9期
1485-1494
,共10页
软件体系结构%体系结构描述语言%双重描述框架%XYZ/E%时序逻辑%UML%活动图%状态图%形式语义
軟件體繫結構%體繫結構描述語言%雙重描述框架%XYZ/E%時序邏輯%UML%活動圖%狀態圖%形式語義
연건체계결구%체계결구묘술어언%쌍중묘술광가%XYZ/E%시서라집%UML%활동도%상태도%형식어의
体系结构设计在软件开发过程中扮演着重要角色.工程中常用图形语言为软件体系结构建模,它们有直观、半形式化的优点;但是语义不够精确,难以对它们表示的模型进行分析,在这方面,形式化方法可与之互补.但在工程使用中仅用形式化语言建模又不太现实,所以如何结合二者之长以提高软件的可靠性已成为工业界和学术界共同关心的问题.提出了双重软件体系结构描述框架XYZ/ADL:支持工程中软件体系结构的基本概念,前端用一般的体系结构框图作为结构描述,用UML活动图、状态图作为抽象行为表示;后端用既可表示系统动态语义又可表示系统静态语义的时序逻辑语言XYZ/E作为一致的语义基础.前端的图形语言便于软件工程师的交流和使用,后端的形式语言是进一步的形式化分析验证的基础.
體繫結構設計在軟件開髮過程中扮縯著重要角色.工程中常用圖形語言為軟件體繫結構建模,它們有直觀、半形式化的優點;但是語義不夠精確,難以對它們錶示的模型進行分析,在這方麵,形式化方法可與之互補.但在工程使用中僅用形式化語言建模又不太現實,所以如何結閤二者之長以提高軟件的可靠性已成為工業界和學術界共同關心的問題.提齣瞭雙重軟件體繫結構描述框架XYZ/ADL:支持工程中軟件體繫結構的基本概唸,前耑用一般的體繫結構框圖作為結構描述,用UML活動圖、狀態圖作為抽象行為錶示;後耑用既可錶示繫統動態語義又可錶示繫統靜態語義的時序邏輯語言XYZ/E作為一緻的語義基礎.前耑的圖形語言便于軟件工程師的交流和使用,後耑的形式語言是進一步的形式化分析驗證的基礎.
체계결구설계재연건개발과정중분연착중요각색.공정중상용도형어언위연건체계결구건모,타문유직관、반형식화적우점;단시어의불구정학,난이대타문표시적모형진행분석,재저방면,형식화방법가여지호보.단재공정사용중부용형식화어언건모우불태현실,소이여하결합이자지장이제고연건적가고성이성위공업계화학술계공동관심적문제.제출료쌍중연건체계결구묘술광가XYZ/ADL:지지공정중연건체계결구적기본개념,전단용일반적체계결구광도작위결구묘술,용UML활동도、상태도작위추상행위표시;후단용기가표시계통동태어의우가표시계통정태어의적시서라집어언XYZ/E작위일치적어의기출.전단적도형어언편우연건공정사적교류화사용,후단적형식어언시진일보적형식화분석험증적기출.
