Sciweavers

Share
FASE
2007
Springer

Flexible and Extensible Notations for Modeling Languages

12 years 5 months ago
Flexible and Extensible Notations for Modeling Languages
Abstract. In model-based development, a formal description of the software (the model) is the central artifact that drives other development activities. The availability of a modeling language well-suited for the system under development and appropriate tool support are of utmost importance to practitioners. Considering the diverse needs of different application domains, flexibility in the choice of modeling languages and tools may advance the industrial acceptance of formal methods. We describe a flexible modeling language framework by which language and tool developers may better meet the special needs of various users groups without incurring prohibitive costs. The framework is based on a modular and extensible implementation of languages features using attribute grammars and forwarding. We show a prototype implementation of such a framework by extending the host language Mini-Lustre, an example synchronous data-flow language, with a collection of features such as state transiti...
Jimin Gao, Mats Per Erik Heimdahl, Eric Van Wyk
Added 07 Jun 2010
Updated 07 Jun 2010
Type Conference
Year 2007
Where FASE
Authors Jimin Gao, Mats Per Erik Heimdahl, Eric Van Wyk
Comments (0)
books