TY - GEN
T1 - Flexible and extensible notations for modeling languages
AU - Gao, Jimin
AU - Heimdahl, Mats
AU - Van Wyk, Eric
PY - 2007
Y1 - 2007
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=37149018450&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=37149018450&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-71289-3_9
DO - 10.1007/978-3-540-71289-3_9
M3 - Conference contribution
AN - SCOPUS:37149018450
SN - 3540712887
SN - 9783540712886
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 102
EP - 116
BT - Fundamental Approaches to Software Engineering - 10th International Conference, FASE 2007. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Proceedings
PB - Springer Verlag
T2 - 10th International Conference on Fundamental Approaches to Software Engineering, FASE 2007
Y2 - 24 March 2007 through 1 April 2007
ER -