On the behavioral semantics of real-time domain specific visual languages

DOI10.1007/978-3-642-16310-4_12zbMATH Open1306.68086OpenAlexW1539155578MaRDI QIDQ4933285FDOQ4933285

Authors: José E. Rivera, Francisco Durán, Antonio Vallecillo 

Publication date: 12 October 2010

Published in: Rewriting Logic and Its Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-16310-4_12

Recommendations

• Automating the transformation-based analysis of visual languages
• An approach for development of domain-specific visual languages
• scientific article; zbMATH DE number 1231547
• A Visual Modeling Language for MSVL
• Semantics and pragmatics of real-time maude

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (6)

• The rewriting logic semantics project: a progress report
• The rewriting logic semantics project: a progress report
• Twenty years of rewriting logic
• Verifying hierarchical Ptolemy II discrete-event models using real-time maude
• An approach for development of domain-specific visual languages
• Amalgamation of domain specific languages with behaviour

Uses Software

• Maude
• MOMENT2

This page was built for publication: On the behavioral semantics of real-time domain specific visual languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4933285)