Graph and Model Transformation
General Framework and Applications
Page
%P
-
Article
Light-sheet 3D microprinting via two-colour two-step absorption
High-speed high-resolution 3D printing of polymers is highly desirable for many applications, yet still technologically challenging. Today, optics-based printing is in the lead. Projection-based linear optical...
-
Article
Open AccessHistone deacetylase inhibitor resminostat in combination with sorafenib counteracts platelet-mediated pro-tumoral effects in hepatocellular carcinoma
In hepatocellular carcinoma (HCC), blood platelets have been linked to tumor growth, epithelial-to-mesenchymal transition (EMT), extrahepatic metastasis and a limited therapeutic response to the multikinase in...
-
Article
Open AccessDomatinostat favors the immunotherapy response by modulating the tumor immune microenvironment (TIME)
The efficacy of PD-(L)1 blockade depends on the composition of the tumor immune microenvironment (TIME) and is generally higher in tumors with pre-existing cytotoxic T cells (CTL) than in those with low CTL nu...
-
Article
MODUL—a multicenter randomized clinical trial of biomarker-driven maintenance therapy following first-line standard induction treatment of metastatic colorectal cancer: an adaptable signal-seeking approach
The old approach of one therapeutic for all patients with mCRC is evolving with a need to target specific molecular aberrations or cell-signalling pathways. Molecular screening approaches and new biomarkers ar...
-
Article
Open AccessImmunotherapy Bridge 2017 and Melanoma Bridge 2017: meeting abstracts
-
Article
Open AccessA Review of Clinical Studies and Practical Guide for the Administration of Triplet Chemotherapy Regimens with Bevacizumab in First-line Metastatic Colorectal Cancer
Colorectal cancer is the third most common cancer worldwide. A significant proportion of patients presents with unresectable metastatic disease or develops metachronous metastases following surgical resection ...
-
Article
Model synchronization based on triple graph grammars: correctness, completeness and invertibility
Triple graph grammars (TGGs) have been used successfully to analyze correctness and completeness of bidirectional model transformations, but a corresponding formal approach to model synchronization has been mi...
-
Book
-
Chapter
General Introduction
In this general introduction we give a general overview of graph and model transformation and a short overview of the parts and chapters of this book. The main questions are the following:
- ...
-
Chapter
Modelling and Static Analysis of Self-adaptive Systems by Graph Transformation
Software systems nowadays require continuous operation despite changes both in user needs and in their operational environments. Self-adaptive systems are typically instrumented with tools to autonomously perf...
-
Chapter
Graph Transformation
In this chapter, we introduce graphs and graph transformation. In Sect. 2.1, we define graphs, typed graphs, and typed attributed graphs with their corresponding morphisms. Transformations of these graphs are ...
-
Chapter
Tool Support
The more graph transformations are applied in various application domains, the more tools supporting modelling, simulation and analysis of graph transformation system become crucial for the promotion of graph ...
-
Chapter
Adhesive and \(\mathcal{M}\) -Adhesive Categories
In this chapter, we introduce adhesive and \(\mathcal{M}\) -adhesive categories as the categorical foundation of gra...
-
Chapter
Multi-amalgamated Transformations
In this chapter, we introduce amalgamated transformations. An amalgamated rule is based on a kernel rule, which defines a fixed part of the match, and multi rules, which extend this fixed match. From a kernel ...
-
Chapter
Analysis of Model Transformations
Model transformations based on TGGs as presented in Chap. 7 provide an excellent framework for analysing and verifying a major part of the properties that ma...
-
Chapter
Enterprise Modelling and Model Integration
The aim of enterprise modelling is to support and improve the design, documentation, analysis and administration of business objects and operations based on adequate modelling techniques [FG98, SAB98]. For thi...
-
Chapter
Model Transformation
This chapter is an introduction to model transformation, which is a key component of model-driven development. Sect. 3.1 describes the relevance and concepts of model transformations in general. Using the noti...
-
Chapter
\(\mathcal{M}\) -Adhesive Transformation Systems
In this chapter, we introduce \(\mathcal{M}\) -adhesive transformation systems based on the
-
Chapter
Model Transformation and Model Integration
In this chapter, we describe the formal framework for model transformation and model integration based on triple graph grammars. For this purpose, we use triple graph transformation systems as introduced in Ch...
-
Chapter
Model Synchronisation
Bidirectional model transformations are a key concept for model generation and synchronisation within model-driven engineering (MDE, see [Ste10, QVT15, CFH+09]). Triple graph grammars (TGGs) have been successfull...
