体系结构描述语言XYZ/ADL到UML的映射  

Mapping from architecture description language XYZ/ADL to UML

作　　者：陈琳琳[1] 戎玫[2] 张广泉[1] 

机构地区：[1]苏州大学计算机科学与技术学院,江苏苏州215006 [2]暨南大学深圳旅游学院,广东深圳518053

出　　处：《计算机应用》2006年第2期468-471,共4页journal of Computer Applications

基　　金：国家自然科学基金资助项目(60073020);中国科学院计算机科学国家重点实验室开放课题(SYSKF0303);江苏省高校自然科学研究项目(05KJB520119);重庆市科学技术研究项目(040803)

摘　　要：选择了一种基于时序逻辑语言XYZ/E的体系结构描述语言XYZ/ADL,分析了其设计元素和UML建模元素的语义,并通过UML扩展机制和对象约束语言进行扩展和约束,建立起从XYZ/ADL到UML的映射。Now a hot spot in architecture description field is to study how to combine lormal descnption witn visual description. In this paper, it chose XYZ/ADL, an ADL based on temporal logic language, analyzed the semantics of its design elements and modeling elements in UML, used the UML extension mechanism and Object Constraint Language to make extension and constraint, and so achieved mapping XYZ/ADL to UML.

关 键 词：软件体系结构 形式化描述 可视化描述 XYZ/ADL UML 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]