检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]苏州大学计算机科学与技术学院 [2]暨南大学深圳旅游学院
出 处:《计算机科学》2007年第6期262-264,269,共4页Computer Science
基 金:江苏省高校自然科学研究项目(05KJB520119);中国科学院计算机科学国家重点实验室开放课题(SYSKF0303)。
摘 要:形式化描述和可视化描述是目前主要的两类软件体系结构描述方法,形式化描述以体系结构描述语言ADL为代表,可视化描述以统一建模语言UML为代表。目前软件体系结构描述领域的热点之一是研究这二者之间的结合,转换是其中一种重要的方式。基于此,本文对UML和基于时序逻辑的体系结构描述语言XYZ/ADL之间的转换问题进行了研究,定义了二者之间的转换规则。The main methods of software architecture description are formal description and visual description, in which architecture description language ADL is typical of the former and UML is typical of the latter. Now the combination ofthem is a hotspot in,and conversion between the two is a most important method. So, the paper researches the conversion between UML and XYZ/ADL,an ADL based on temporal logic,defines the conversion.
分 类 号:TP311[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:18.221.165.81