Automating the transformation-based analysis of visual languages

DOI10.1007/s00165-009-0114-yzbMath1213.68412OpenAlexW2009029954MaRDI QIDQ973037

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

Petri netstime Petri netstimegraph transformationdomain-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)

Related Items (1)

Amalgamation of domain specific languages with behaviour

Uses Software

• Romeo
• AGG

Cites Work

• Attributed graph transformation with node type inheritance
• Time-based expressivity of time Petri nets for system specification
• Fundamentals of algebraic graph transformation
• Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation
• Pattern-Based Model-to-Model Transformation
• Conflict Detection for Graph Transformation with Negative Application Conditions
• Termination Analysis of Model Transformations by Petri Nets
• Handbook of Graph Grammars and Computing by Graph Transformation
• Fundamental Approaches to Software Engineering
• Theoretical Aspects of Computing – ICTAC 2005
• Lectures on Concurrency and Petri Nets
• Computer Aided Verification
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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