CAJ | 학술논문

可视化语言技术比一维文本语言在描述软件组成方面具有优越性.由于图表和图形概念在系统建模中的广泛使用,可视化语言可以应用于需求分析、设计、测试和维护等软件开发的各个阶段.除了具有直观易见的特点之外,图文法在计算机上的精确建模和验证能力,为设计可视化语言提供了一个坚实的理论基础.讨论了可视化语言的形式理论基础,回顾了相关的可视化图形编程环境.特别提出了一种空间图文法,并且用该图文法定义了统一建模语言的行为语义.基于空间图文法,开发了一种基于模式驱动的框架,以帮助软件架构与设计.
가시화어언기술비일유문본어언재묘술연건조성방면구유우월성.유우도표화도형개념재계통건모중적엄범사용,가시화어언가이응용우수구분석、설계、측시화유호등연건개발적각개계단.제료구유직관역견적특점지외,도문법재계산궤상적정학건모화험증능력,위설계가시화어언제공료일개견실적이론기출.토론료가시화어언적형식이론기출,회고료상관적가시화도형편정배경.특별제출료일충공간도문법,병차용해도문법정의료통일건모어언적행위어의.기우공간도문법,개발료일충기우모식구동적광가,이방조연건가구여설계.
Visual language techniques have exhibited more advantages in describing various software artifacts than one-dimensional textual languages during software development, ranging from the requirement analysis and design to testing and maintenance, as diagrammatic and graphical notations have been well applied in modeling system. In addition to an intuitive appearance, graph grammars provide a well-established foundation for defining visual languages with the power of precise modeling and verification on computers. This paper discusses the issues and techniques for a formal foundation of visual languages, reviews related practical graphical environments, presents a spatial graph grammar formalism, and applies the spatial graph grammar to defining behavioral semantics of UML diagrams and developing a style-driven framework for software architecture design.