摘要
选择了一种基于时序逻辑语言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.
出处
《计算机应用》
CSCD
北大核心
2006年第2期468-471,共4页
journal of Computer Applications
基金
国家自然科学基金资助项目(60073020)
中国科学院计算机科学国家重点实验室开放课题(SYSKF0303)
江苏省高校自然科学研究项目(05KJB520119)
重庆市科学技术研究项目(040803)
