Volume II: Parallel Languages on PARLE: Parallel Architectures and Languages Europe
The monadic second-order logic of graphs. I. recognizable sets of finite graphs
Information and Computation
Fundamentals of software engineering
Fundamentals of software engineering
Algebraic approach to single-pushout graph transformation
Theoretical Computer Science - Special issue on selected papers of the International Workshop on Computing by Graph Transformation, Bordeaux, France, March 21–23, 1991
A new term graph rewriting formalism: hyperedge replacement jungle rewriting
Term graph rewriting
An algebraic framework for the transformation of attributed graphs
Term graph rewriting
Object-oriented development: the fusion method
Object-oriented development: the fusion method
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
Software architecture styles as graph grammars
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Fundamenta Informaticae - Special issue on graph transformations
Graph grammars with negative application conditions
Fundamenta Informaticae - Special issue on graph transformations
Logic based programmed structure rewriting systems
Fundamenta Informaticae - Special issue on graph transformations
Distributed software architectures (tutorial)
ICSE '97 Proceedings of the 19th international conference on Software engineering
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Node replacement graph grammars
Handbook of graph grammars and computing by graph transformation
Hyperedge replacement graph grammars
Handbook of graph grammars and computing by graph transformation
Algebraic approaches to graph transformation. Part I: basic concepts and double pushout approach
Handbook of graph grammars and computing by graph transformation
Handbook of graph grammars and computing by graph transformation
Programmed graph replacement systems
Handbook of graph grammars and computing by graph transformation
Building tightly integrated software development environments: the IPSEN approach
Building tightly integrated software development environments: the IPSEN approach
A survey of visual language specification and recognition
Visual language theory
How to represent a visual specification
Visual language theory
Objects, components, and frameworks with UML: the catalysis approach
Objects, components, and frameworks with UML: the catalysis approach
Consistency checking for multiple view software architectures
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Handbook of graph grammars and computing by graph transformation: vol. 3: concurrency, parallelism, and distribution
Actor grammars and local actions
Handbook of graph grammars and computing by graph transformation
Modeling concurrent, mobile and coordinated systems via graph transformations
Handbook of graph grammars and computing by graph transformation
Handbook of graph grammars and computing by graph transformation: vol. 2: applications, languages, and tools
Handbook of graph grammars and computing by graph transformation
Graph rewriting aspects of functional programming
Handbook of graph grammars and computing by graph transformation
Application of graph transformation to visual languages
Handbook of graph grammars and computing by graph transformation
The PROGRES approach: language and environment
Handbook of graph grammars and computing by graph transformation
The AGG approach: language and environment
Handbook of graph grammars and computing by graph transformation
Integrating UML diagrams for production control systems
Proceedings of the 22nd international conference on Software engineering
Communicating sequential processes
Communications of the ACM
Communication and Concurrency
Proceedings of the 24th International Conference on Software Engineering
TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
Strengthening UML Collaboration Diagrams by State Transformations
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Hierarchically Distributed Graph Transformation
Selected papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science
Refinements of Graph Transformation Systems via Rule Expressions
TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
Conceptual Model of the Graphical Editor GENGED for the Visual Definition of Visual Languages
TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
Hypergraphs as a Uniform Diagram Representation Model
TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
A Framework for Adding Packages to Graph Transformation Approaches
TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
Modeling Software Architecutes and Styles with Graph Grammars and Constraint Solving
WICSA1 Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1)
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Synchronized Hyperedge Replacement with Name Mobility
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Hierarchical Graph Transformation
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
A Comparison of Statecharts Variants
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
A Formal Semantics of UML State Machines Based on Structured Graph Transformation
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
A Visualization of OCL Using Collaborations
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
A Relational Approach to Defining Transformations in a Metamodel
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
Definition of Programming Language Semantics Using Grammars for Hierarchical Graphs
Proceedings of the International Workshop on Graph-Grammars and Their Application to Computer Science and Biology
Confluence of Typed Attributed Graph Transformation Systems
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Specification of Graph Translators with Triple Graph Grammars
WG '94 Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science
On the Interleaving Sematics of Transformation Units - A Step into GRACE
Selected papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science
VL '00 Proceedings of the 2000 IEEE International Symposium on Visual Languages (VL'00)
Graph-grammars: An algebraic approach
SWAT '73 Proceedings of the 14th Annual Symposium on Switching and Automata Theory (swat 1973)
IJCAI'69 Proceedings of the 1st international joint conference on Artificial intelligence
Pair grammars, graph languages and string-to-graph translations
Journal of Computer and System Sciences
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Formal interpreters for diagram notations
ACM Transactions on Software Engineering and Methodology (TOSEM)
Model transformations for hypertext modeling on web information systems
Proceedings of the 2006 ACM symposium on Applied computing
Semantic model-driven architecting of service-based software systems
Information and Software Technology
Progressing problems from requirements to specifications in problem frames
Proceedings of the 3rd international workshop on Applications and advances of problem frames
An Efficient Solution for Model Checking Graph Transformation Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Specification and runtime workflow support in the ASKALON Grid environment
Scientific Programming - Dynamic Computational Workflows: Discovery, Optimization and Scheduling
Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
Tutorial Introduction to Graph Transformation
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Automated Merging of Feature Models Using Graph Transformations
Generative and Transformational Techniques in Software Engineering II
Application of Graph Transformation in Verification of Dynamic Systems
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Run-time Optimisation of Grid Workflow Applications
GRID '06 Proceedings of the 7th IEEE/ACM International Conference on Grid Computing
Supporting Model---Driven Development of Object---Relational Database Schemas: A Case Study
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
A diagrammatic approach to model transformations
Proceedings of the 2008 Euro American Conference on Telematics and Information Systems
The graph neural network model
IEEE Transactions on Neural Networks
Towards Contract-based Testing of Web Services
Electronic Notes in Theoretical Computer Science (ENTCS)
Graph Transformation in a Nutshell
Electronic Notes in Theoretical Computer Science (ENTCS)
On the usage of concrete syntax in model transformation rules
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
Constraints modeling for (profiled) UML models
ECMDA-FA'07 Proceedings of the 3rd European conference on Model driven architecture-foundations and applications
Extending OCL to ensure model transformations
ER'07 Proceedings of the 2007 conference on Advances in conceptual modeling: foundations and applications
Grid computing: experiment management, tool integration, and scientific workflows
Grid computing: experiment management, tool integration, and scientific workflows
A formal framework for developing adaptable service-based applications
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
A unified categorical approach for attributed graph rewriting
CSR'08 Proceedings of the 3rd international conference on Computer science: theory and applications
Semi-automated service composition using visual contracts
Proceedings of the 7th International Conference on Frontiers of Information Technology
Multi-view modeling to support embedded systems engineering in SysML
Graph transformations and model-driven engineering
Symmetry for the analysis of dynamic systems
NFM'11 Proceedings of the Third international conference on NASA Formal methods
A tile logic-based semantics for mobile software architectures
International Journal of Critical Computer-Based Systems
Improving the definition of UML
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Model transformation in software performance engineering
QoSA'06 Proceedings of the Second international conference on Quality of Software Architectures
Automatic conformance testing of web services
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
From graph transformation to software engineering and back
Formal Methods in Software and Systems Modeling
Comparing and transforming between data models via an intermediate hypergraph data model
Journal on Data Semantics IV
On the use of alloy to analyze graph transformation systems
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Introductory tutorial on foundations and applications of graph transformation
ICGT'06 Proceedings of the Third international conference on Graph Transformations
A graphical specification of model transformations with triple graph grammars
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
Ontology transformation and reasoning for model-driven architecture
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, COA, and ODBASE - Volume Part II
Formal modeling of communication protocols by graph transformation
FM'06 Proceedings of the 14th international conference on Formal Methods
A tile logic based semantics for mobile software architectures
VECoS'10 Proceedings of the Fourth international conference on Verification and Evaluation of Computer and Communication Systems
Graph transformations for MDE, adaptation, and models at runtime
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
AMASE: a framework for composing adaptive and personalised learning activities on the web
ICWL'12 Proceedings of the 11th international conference on Advances in Web-Based Learning
Scenario-driven analysis of systems specified through graph transformations
Journal of Visual Languages and Computing
Incentives and rewarding in social computing
Communications of the ACM
Programming incentives in information systems
CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering
Hi-index | 0.02 |
We give an introduction to graph transformation, not only for researchers in software engineering, but based on applications of graph transformation in this domain. In particular, we demonstrate the use of graph transformation to model object- and component-based systems and to specify syntax and semantics of diagram languages. Along the way we introduce the basic concepts, discuss different approaches, and mention relevant theory and tools.