Tutorial introduction to graph transformation: A software engineering perspective

DOI10.1007/3-540-45832-8_30MaRDI QIDQ4438799zbMATH OpenFDO

Authors R. Heckel, Luciano Baresi

Publication date 10 December 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2505/25050402.htm

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42)

Recommendations

• Tutorial Introduction to Graph Transformation
• Formal Methods in Software and Systems Modeling
• scientific article; zbMATH DE number 1231497
• Lessons Learned from Building a Graph Transformation System
• A tutorial on graph transformation

Cited in

(25)

• Towards automated software model checking using graph transformation systems and bogor
• Granularity of conflicts and dependencies in graph transformation systems: a two-dimensional approach
• Categorical approach to the construction of fuzzy graph grammars
• Fundamentals of algebraic graph transformation
• Graph and model transformation. General framework and applications
• Graph transformation and visual modeling techniques
• Graph transformation as a conceptual and formal framework for system modeling and model evolution
• scientific article; zbMATH DE number 2088775 (Why is no real title available?)
• The Edge of Graph Transformation — Graphs for Behavioural Specification
• Lessons Learned from Building a Graph Transformation System
• Tutorial Introduction to Graph Transformation
• Temporal Graph Queries to Support Software Evolution
• Application of Graph Transformation in Verification of Dynamic Systems
• A Graph Transformation-Based Approach to Formal Modeling and Verification of Workflows
• scientific article; zbMATH DE number 1231497 (Why is no real title available?)
• Using graph transformation as the semantical model for software process execution in the APSEE environment
• scientific article; zbMATH DE number 2087493 (Why is no real title available?)
• How to specify a graph transformation approach: a meta model for \textsc{Fujaba}
• Visual design of software architecture and evolution based on graph transformation
• Defining object-oriented execution semantics using graph transformations
• Preserving consistency in geometric modeling with graph transformations
• Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems
• Formal Methods in Software and Systems Modeling
• scientific article; zbMATH DE number 7809761 (Why is no real title available?)
• A living monograph for graph transformation

Describes a project that uses

Uses Software

• PROGRES

This page was built for publication: Tutorial introduction to graph transformation: A software engineering perspective

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