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

DOI10.1007/978-3-642-16310-4_12MaRDI QIDQ4933285zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

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

Describes a project that uses

Uses Software

• MOMENT2
• Maude

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)