Automating the transformation-based analysis of visual languages

DOI10.1007/S00165-009-0114-YMaRDI QIDQ973037zbMATH OpenOpenAlexFDO

Authors Juan de Lara, Hans Vangheluwe

Publication date 28 May 2010

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/10486/662820

zbMATH Keywords

timePetri netsgraph transformationtime Petri netsdomain-specific visual languagesmodel-to-model transformation

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Designing the automatic transformation of visual languages
• scientific article; zbMATH DE number 1236363
• Visual modelling and analysis of model transformations based on graph transformation
• Syntax-directed implementation of visual languages based on automaton graphical grammars
• scientific article; zbMATH DE number 1786546

Cites work

• scientific article; zbMATH DE number 3722109 (Why is no real title available?)
• scientific article; zbMATH DE number 1304447 (Why is no real title available?)
• scientific article; zbMATH DE number 2016071 (Why is no real title available?)
• scientific article; zbMATH DE number 2016074 (Why is no real title available?)
• scientific article; zbMATH DE number 763717 (Why is no real title available?)
• Attributed graph transformation with node type inheritance
• Computer Aided Verification
• Conflict Detection for Graph Transformation with Negative Application Conditions
• Fundamental Approaches to Software Engineering
• Fundamentals of algebraic graph transformation
• Handbook of Graph Grammars and Computing by Graph Transformation
• Lectures on Concurrency and Petri Nets
• Pattern-Based Model-to-Model Transformation
• Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation
• Termination Analysis of Model Transformations by Petri Nets
• Theoretical Aspects of Computing – ICTAC 2005
• Time-based expressivity of time Petri nets for system specification

Cited in

(6)

• On the behavioral semantics of real-time domain specific visual languages
• Designing the automatic transformation of visual languages
• Automated generation of program translation and verification tools using annotated grammars
• Graph transformation for domain-specific discrete event time simulation
• Amalgamation of domain specific languages with behaviour
• View transformation in visual environments applied to algebraic high-level nets

Describes a project that uses

Uses Software

• AGG
• Romeo

This page was built for publication: Automating the transformation-based analysis of visual languages

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