Automating the transformation-based analysis of visual languages
type: Item
instance of: scholarly article
title: Automating the transformation-based analysis of visual languages
zbMATH Open document ID: 1213.68412
author: Juan de Lara
author: Hans Vangheluwe
published in: Formal Aspects of Computing
publication date: 2010-05-28T00:00:00Z
full work available at URL: http://hdl.handle.net/10486/662820
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 5713412
zbMATH Keywords: domain-specific visual languages
zbMATH Keywords: graph transformation
zbMATH Keywords: model-to-model transformation
zbMATH Keywords: time
zbMATH Keywords: Petri nets
zbMATH Keywords: time Petri nets
describes a project that uses: Romeo
describes a project that uses: AGG
MaRDI profile type: Publication
OpenAlex ID: W2009029954
cites work: Q4835250
cites work: Lectures on Concurrency and Petri Nets
cites work: Time-based expressivity of time Petri nets for system specification
cites work: Handbook of Graph Grammars and Computing by Graph Transformation
cites work: Fundamentals of algebraic graph transformation
cites work: Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation
cites work: Computer Aided Verification
cites work: Q4438774
cites work: Q4438777
cites work: Theoretical Aspects of Computing – ICTAC 2005
cites work: Conflict Detection for Graph Transformation with Negative Application Conditions
cites work: Attributed graph transformation with node type inheritance
cites work: Pattern-Based Model-to-Model Transformation
cites work: Q4251204
cites work: Q3911403
cites work: Fundamental Approaches to Software Engineering
cites work: Termination Analysis of Model Transformations by Petri Nets
DOI: 10.1007/S00165-009-0114-Y
Recommended article: Designing the automatic transformation of visual languages
Recommended article: Q4223776
Recommended article: Q3656207
Recommended article: Syntax-directed implementation of visual languages based on automaton graphical grammars
Recommended article: Q4547843
description: scientific article; zbMATH DE number 5713412