Correctly defined concrete syntax for visual modeling languages

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4199 LNCS, Issue , 2006, Pages 111-125

  Baar, Thomas ^a  

^a EPFL   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION LANGUAGES; DECISION MAKING; DECISION THEORY; MATHEMATICAL MODELS; METADATA; TEXT PROCESSING;

CONCRETE SYNTAX; METAMODELING APPROACH; MODELING LANGUAGE; TEXTUAL ELEMENTS;

SYNTACTICS;

EID: 33750305209     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11880240_9     Document Type: Conference Paper

References (12)

1. James Rumbaugh, Ivar Jacobson, and Grady Booch. The Unified Modeling Language Reference Manual. Object Technology Series. Addison-Wesley, second edition, 2005.
2. Frédéric Fondement and Thomas Baar. Making metamodels aware of concrete syntax. In Alan Hartman and David Kreische, editors, Proc. European Conference on Model Driven Architecture (ECMDA-FA), volume 3748 of LNCS, pages 190-204. Springer, 2005.
3. D. L. Detlefs, G. Nelson, and J. Saxe. Simplify: the ESC theorem prover. Technical report, DEC, 1996.
4. OMG. Unified Modeling Language: Diagram interchange version 2.0. Convenience Document ptc/05-06-04, June 2005.
5. Gennaro Costagliola, Andrea De Lucia, Sergio Orefice, and Giuseppe Polese. A classification framework to support the design of visual languages. Journal of Visual Languages and Computing, 13(6):573-600, 2002.
6. Fabien Rohrer and François Helg. Synchronization between display objects and representation templates in graphical language construction. Minor thesis at Software Engineering Laboratory of EPFL, 2006. Available from http://lglpc35.epfl.ch/lgl/members/fondement/projects/probxs/HelgRohrer.pdf.
7. Andy Schürr. Specification of graph translators with triple graph grammars. In Proceedings of 20th International Workshop on Graph- Theoretic Concepts in Computer Science (WG'94), volume 903 of LNCS, pages 151-163. Springer, 1995.
8. M. Pressburger. Über de Vollständigkeit eines gewissen systems der arithmetik ganzer zahlen, in welchen, die addition als einzige operation hervortritt. Sprawozdanie z I Kongresu Matematikow Krajow Slowcanskich Warszawa, pages 92-101, 1929.
9. Bernhard Beckert, Reiner Hähnle, and Peter H. Schmitt, editors. The KeY Book - The Road to Verified Software. Springer, 2006. To appear.
10. A. Königs and A. Schürr. Tool Integration with Triple Graph Grammars - A Survey. In R. Heckel, editor, Proceedings of the SegraVis School on Foundations of Visual Modelling Techniques, volume 148 of Electronic Notes in Theoretical Computer Science, pages 113-150, Amsterdam, 2006. Elsevier Science Publ.
11. Yong Xia and Martin Glinz. Rigorous EBNF-based definition for a graphic modeling language. In Proceedings of 10th Asia-Pacific Software Engineering Conference (APSEC 2003), pages 186-196. IEEE Computer Society Press, 2003.
12. Martin Glinz, Stefan Berner, and Stefan Joos. Object-oriented modeling with ADORA. Information Systems, 27(6):425-444, 2002.