A Visual Modeling Language for MSVL

DOI10.1007/978-3-319-57708-1_13MaRDI QIDQ4989021zbMATH OpenOpenAlexFDO

Authors

Publication date 20 May 2021

Published in Structured Object-Oriented Formal Language and Method (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-57708-1_13

zbMATH Keywords

formal verificationsystem modelingtemporal logic programmingvisual languages

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic programming (68N17) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A visual environment for visual languages
• Towards a Framework for Visual Model Development
• An approach for development of domain-specific visual languages
• scientific article; zbMATH DE number 975698

Cited in

(6)

• scientific article; zbMATH DE number 1630102 (Why is no real title available?)
• Extending MSVL with semaphore
• Physical modeling in MvStudium
• An approach for development of domain-specific visual languages
• On the behavioral semantics of real-time domain specific visual languages
• SOFSEM 2005: Theory and Practice of Computer Science

This page was built for publication: A Visual Modeling Language for MSVL

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