Возможности и проблемы использования современного языкового инструментария в разработке на предметно-ориентированных языках программирования

Abstract

В статье кратко рассматриваются общие для различных современных программных средств возможности, которые позволяют создавать и поддерживать предметно-ориентированные языки программирования. Среди возможностей рассматриваются возможности среды создания предметно-ориентированных языков и среды редактирования программ на таких языках. При рассмотрении возможностей сред редактирования основное внимание уделяется описанию проекционных сред редактирования, которые используются в современных языковых инструментальных средствах и позволяют привнести возможности интеллектуальных редакторов современных интегрированных сред разработки. В качестве вывода в данном кратком сообщении приводятся проблемы использования современных языковых инст- рументальных средств и разработки в языково-ориентированном стиле без их применения. Основное внимание в заключении уделено проблеме представления семантики предметно-ориентированных языков и отображения семантики на синтаксис. Делается предположение о возможности использования различных способов представления знаний для описания семантических моделей предметно- ориентированных языков. Generalized features of various modern software tools that let you create and maintain object-oriented programming languages are considered briefly in this article. The feature of domain-specific languages development environment and editing environment are considered absolutely and irrespectively among different features. Consideration of editing environment features focuses on the description of the projectional editing environment, which are used in modern language workbenches and features that allow you to bring intelligent editors modern IDEs. In conclusion in this brief report describes problems of using modern language workbenches and software development in the language-oriented programming without applying them. The focus of the opinion is given to the problem of representing the semantics of object-oriented languages and display semantics to syntax. Making assumptions about the use of various knowledge representation methods to represent the semantic models of object-oriented languages.