Paper Info
Title
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 transitions, condition tables, and events. We also show how new languages can be created in this framework by feature composition.
Year
Venue
Keywords
2007
FASE
appropriate tool support,extensible implementation,flexible modeling language framework,development activity,host language mini-lustre,modeling language,formal description,new language,model-based development,example synchronous data-flow language,extensible notation,formal method,model based development,state transition
Field
DocType
Volume
Domain-specific language,Rule-based machine translation,Programming language,Software engineering,Computer science,Modeling language,Theoretical computer science,Object language,Software,Formal methods,Modular design,Boolean expression
Conference
4422
ISSN
Citations 
PageRank 
0302-9743
14
0.72
References 
Authors
19
3
Name
Order
Citations
PageRank
Jimin Gao11556.60
Mats Heimdahl2896.43
Eric Van Wyk344932.37