Automating the transformation-based analysis of visual languages

DOI10.1007/s00165-009-0114-yzbMath1213.68412MaRDI 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 nets; time Petri nets; time; graph transformation; domain-specific visual languages; model-to-model transformation

Mathematics Subject Classification ID

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

Related Items

Amalgamation of domain specific languages with behaviour

Uses Software

• Romeo
• AGG

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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