Formal Aspects of and Development Environments for Montages

Anlauff, Matthias; Kutter, Philipp W.; Pierantonio, Alfonso

doi:10.14236/ewic/al1997.1

Cited by 19 publications

(7 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…荷兰 CWI 的研究者提出的 ASF+SDF 模型 [23,24] , 使用代数方法刻画了 SDF2 用户描述语言, 构建了基于 SDF2 的元语言环境, 提出了对"语言块"和"语言成分"进行封装的想法. 瑞士的 TIK 和意大利的 L'Aquila 大学合作的 Montages 项目 [25,26] , 为领域语言的设计和快速原型化提供一个环境. 用户可以通过一个框架对领域语言的语法和语义进行形式化的描述.…”

Section: 相关工作比较unclassified

Garden:一种面向领域语言的集成开发环境

张¹,

孙²,

琚³

2008

SSIF

View full text Add to dashboard Cite

Section: 相关工作比较unclassified

Garden:一种面向领域语言的集成开发环境

张¹,

孙²,

琚³

2008

SSIF

View full text Add to dashboard Cite

“…Based on such an ASM model, the tool Gem-Mex [1] automatically generates a debugging and simulation environment. The simulator input consists of the application program which has been translated by the ASIP-compiler into the ASIP specific assembler code.…”

Section: Buildabong -Overviewmentioning

confidence: 99%

Efficient architecture/compiler co-exploration for ASIPs

Fischer¹,

Teich²,

Thies³

et al. 2002

Proceedings of the International Conference on Compilers, Architecture, and Synthesis for Embedded Systems - CASES '02

View full text Add to dashboard Cite

In this paper, we present an efficient exploration algorithm for architecture/compiler co-designs of application-specific instruction-set processors. The huge design space is spanned by processor architecture parameters as well as different compiler optimization strategies. The objective space is multi-dimensional including conflicting objectives such as hardware cost, execution time and code size. The goal of the presented exploration algorithm is to determine the set of Pareto-optimal designs and compiler settings for a given benchmark program. In a case study, while exploring Pareto-optimal designs for a given DSP benchmark program, we show that for a realistic architecture family, the huge search space may be reduced dramatically using proper techniques to prune search spaces that may not contain Pareto-optimal solutions. Finally, we analyse and present solutions on what is the best architecture for a mixture of benchmark programs, i.e., what are the best architecture/compiler co-designs to execute the DSPstone benchmark.

show abstract

“…Montages [17,2] constitute a specification formalism for describing all aspects of programming languages. Syntax, static analysis and semantics, and dynamic semantics are given in an unambiguous and coherent way by means of semivisual descriptions.…”

Section: Visual Formal Semantics Descriptions: Montagesmentioning

confidence: 99%

“…The development environment for Montages is given by the Gem-Mex tool [2,4]. The intended use of the tool Gem-Mex is, on one hand to allow the designer to 'debug' her/his semantics descriptions by empirical testing of whether the intended decisions have been properly formalized; on the other hand, to automatically generate a correct (prototype) implementation of programming languages from the description, including visualization and debugging facilities.…”

Section: Gem-mex: the Development Environment For Montagesmentioning

confidence: 99%

Using Domain-Specific Languages for the Realization of Component Composition

Anlauff¹,

Kutter

Pierantonio

et al. 2000

Fundamental Approaches to Software Engineering

Self Cite

View full text Add to dashboard Cite

In recent years, component-based development has evolved to one of the key technologies in software engineering, because it provides a promising way to deal with large scale software developments. Due to this, the realization of component interactions has become an important task while implementing a system being assembled from (existing) components. Scripting languages, like Perl, Tcl, Unix-Shell, are often used for implementing this so-called glue code, because they provide a flexible way to process string-based input, the most common data structures used for component interactions. However, often it turns out that the algorithms of the component interactions are too sophisticated to be adequately expressed in this kind of languages. In this paper, we propose the use of language technology for that purpose: the strings passed between the components are treated as sentences in specialized component interaction languages (CIL). The syntax of such a language defines the input format of the components to be interconnected, and the semantics represents the functionality of the glue code. The appropriateness of this approach depends on the methodology and support functionality available for designing these languages. We report on the positive experiences using Montages as methodology. We will also describe the support functionality of the Gem-Mex tool containing its graphical animation and debugging facilities, which can be used as vehicle for the comprehension of the interplay between the components of the overall system.

show abstract

Formal Aspects of and Development Environments for Montages

Cited by 19 publications

References 15 publications

Garden:一种面向领域语言的集成开发环境

Garden:一种面向领域语言的集成开发环境

Efficient architecture/compiler co-exploration for ASIPs

Using Domain-Specific Languages for the Realization of Component Composition

Contact Info

Product

Resources

About