Implementing Semantic Feedback in a Diagram Editor
(2013) Graphical Modeling Language Development (GMLD), 2013 p.42-50- Abstract
- In editors for visual languages it is often useful to provide interactive feedback that depends on the static semantics of the edited program. In this paper we demonstrate how such feedback can be implemented using reference attribute grammars. Because the implementation is declarative, it is easy to modularize compiler and editor computations, reusing the compiler's program model in the editor. Furthermore, the declarative approach makes it easy to keep the program model and view consistent during editing. The approach is illustrated using a function block diagram language, with visual feedback on, for example, type checking and cyclic data flow.
Please use this url to cite or link to this publication:
https://lup.lub.lu.se/record/4022898
- author
- Fors, Niklas LU and Hedin, Görel LU
- organization
- publishing date
- 2013
- type
- Chapter in Book/Report/Conference proceeding
- publication status
- published
- subject
- host publication
- Graphical Modeling Language Development
- pages
- 9 pages
- publisher
- Association for Computing Machinery (ACM)
- conference name
- Graphical Modeling Language Development (GMLD), 2013
- conference location
- Montpellier, France
- conference dates
- 2013-07-02
- external identifiers
-
- scopus:84882320549
- ISBN
- 978-1-4503-2044-3
- DOI
- 10.1145/2489820.2489827
- project
- ELLIIT LU P05: Scalable Language Tools for Cyber-Physical Systems
- language
- English
- LU publication?
- yes
- id
- a03592d0-53bc-4e05-ad27-e26d5f87fb4a (old id 4022898)
- date added to LUP
- 2016-04-04 11:04:06
- date last changed
- 2022-01-29 21:20:07
@inproceedings{a03592d0-53bc-4e05-ad27-e26d5f87fb4a, abstract = {{In editors for visual languages it is often useful to provide interactive feedback that depends on the static semantics of the edited program. In this paper we demonstrate how such feedback can be implemented using reference attribute grammars. Because the implementation is declarative, it is easy to modularize compiler and editor computations, reusing the compiler's program model in the editor. Furthermore, the declarative approach makes it easy to keep the program model and view consistent during editing. The approach is illustrated using a function block diagram language, with visual feedback on, for example, type checking and cyclic data flow.}}, author = {{Fors, Niklas and Hedin, Görel}}, booktitle = {{Graphical Modeling Language Development}}, isbn = {{978-1-4503-2044-3}}, language = {{eng}}, pages = {{42--50}}, publisher = {{Association for Computing Machinery (ACM)}}, title = {{Implementing Semantic Feedback in a Diagram Editor}}, url = {{http://dx.doi.org/10.1145/2489820.2489827}}, doi = {{10.1145/2489820.2489827}}, year = {{2013}}, }