可视化建模语言 meaning in English
visual modeling language
Examples
- Besides , uml is the visualized modeling language , with which developer can exactly describe the architecture and details of software system in the form of diagram , which will promote the communication between customers and developers
此外， uml作为一种可视化建模语言，使用它的开发人员能够用图形清晰地描述系统体系结构及其所有细节，有利于用户与开发人员之间的交流。 - Unified modeling language ( uml ) is a graphical modeling language with powerful ability and intuitionistic meaning . it provides various diagrams to depict system characteristics and complex environment from different viewpoints and different application layers
统一建模语言( unifiedmodelinglanguage ， uml )是一种描述能力强大且涵义直观的可视化建模语言，它提供多种图元从不同角度和应用层次刻画系统特性以及复杂的运行环境。 - This paper composes a new way to describe software architecture through combining the visual modeling language which is object oriented and the formal method which based on temporal logic . it contributes to the research of software architecture description and the research of formal semantics of uml as well as the application of formal method in the software development
本文通过将面向对象的可视化建模语言与基于时序逻辑的形式化方法结合起来描述软件体系结构,对软件体系结构描述研究、 uml形式语义研究和形式化方法在软件开发中的应用等方面都有一定的推动作用。 - So , in this paper , it does the research of the bidirectional conversion between uml and xyz / adl . in this way it combines the oo visual modeling language and formal method based on temporal logic together to describe software architecture , and so to find how to apply the formal method to real software development to promote the research not only on main technologies in software but also on formal method
基于此,本文开展了对基于时序逻辑的软件体系结构描述语言xyz / adl和uml之间的双向转换问题的研究,通过研究二者之间的转换,实现将基于时序逻辑的形式化方法与面向对象的可视化建模语言相结合描述软件体系结构,来探讨如何将形式化方法应用于实际的软件开发过程中,这样不但能促进对当前软件主流技术的研究,而且能促进对形式化开发方法的研究。