Relevant bibliographies by topics / Transformation graph / Dissertations / Theses
To see the other types of publications on this topic, follow the link: Transformation graph.

Dissertations / Theses on the topic 'Transformation graph'

Author: Grafiati
Published: 3 June 2025
Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Transformation graph.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Foss, Luciana. "Transactional graph transformation systems." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2008. http://hdl.handle.net/10183/14966.

Full text
Abstract:
Em contraste aos sistemas transformacionais, sistemas reativos são caracterisados por reagir continuamente a estímulos provinientes seu ambiente. Além da reatividade, se considerarmos que muitas aplicações requerem métodos de especificação que possibilitam descrever a distribuição espacial dos estados, sistemas de transformação de grafos parecem ser uma técnica de especificação bastante adequada. Algumas aplicações com essas características são sistemas móveis e vias biológicas. Além disso, diversas abordagens para especificação de sistemas reativos propõem usar linguagens assíncronas para esp
APA, Harvard, Vancouver, ISO, and other styles
2

Busatto, Giorgio. "An abstract model of hierarchical graphs and hierarchical graph transformation." Oldenburg : Univ., Fachbereich Informatik, 2002. http://deposit.ddb.de/cgi-bin/dokserv?idn=967851955.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Dodds, Mike. "Graph transformation and pointer structures." Thesis, University of York, 2008. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.495871.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Sarkar, Medha Shukla. "GXL, a graph transformation language with scoping and graph parameters." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2000. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape3/PQDD_0013/NQ52862.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Brenas, Jon Haël. "Hoare-like verification of graph transformation." Thesis, Université Grenoble Alpes (ComUE), 2016. http://www.theses.fr/2016GREAM066/document.

Full text
Abstract:
En informatique comme dans de multiples autres domaines, les graphes peuvent être trouvés partout. Ils sont utilisés pour représenter des données dans des domaines allant de la chimie à l'architecture, en tant que structures abstraites ou que modèles des données et de leurs évolutions. Dans tous ces domaines, il est prévisible que les graphes évoluent au cours du temps suite à des réactions chimiques, une mise à jour des connaissance ou l'exécution d'un programme. Être capable de traiter ces transformations est une tâche particulièrement importante et difficile. Dans ce travail, notre objectif
APA, Harvard, Vancouver, ISO, and other styles
6

Alabdullatif, Mohammed Abdulrahman Ahmed. "Graph transformation games for negotiating features." Thesis, University of Leicester, 2017. http://hdl.handle.net/2381/39460.

Full text
Abstract:
The success of e-commerce applications and services depends on the outcomes of interactions between the provider of the products or services and its requestors. The flexibility of these agents to negotiate features of the products or services traded is an important characteristic of face-to-face business interactions, but is often missing in the online world. Flexibility is needed to discuss preferences and constraints in order to determine a solution that benefits both parties. Game theory is a natural framework in which to pose such problems. This thesis is concerned with a proposal-based ne
APA, Harvard, Vancouver, ISO, and other styles
7

Bapodra, Mayur. "Zooming out of membrane graph transformation systems." Thesis, University of Leicester, 2013. http://hdl.handle.net/2381/27791.

Full text
Abstract:
Living cells offer a rich variety of complex interactions and interesting structures to those wishing to model processes in systems biology. Of particular interest is the hierarchical nature of cell configurations, the compartmentalized reactions that can occur within individual cells, and the interaction between different levels of this hierarchy. Graph transformation systems are an intuitive and readable modelling paradigm that lends itself to representing such systems since graphs can be utilised to represent this rich structural information, while graph rewriting rules can concisely descri
APA, Harvard, Vancouver, ISO, and other styles
8

Busatto, Giorgio [Verfasser]. "An abstract model of hierarchical graphs and hierarchical graph transformation / von Giorgio Busatto." Oldenburg : Univ., Fachbereich Informatik, 2002. http://d-nb.info/967851955/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Cherchago, Alexey. "Service specification and matching based on graph transformation." [S.l.] : [s.n.], 2006. http://deposit.ddb.de/cgi-bin/dokserv?idn=980143039.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Backes, Peter [Verfasser]. "Cluster abstraction of graph transformation systems / Peter Backes." Berlin : epubli GmbH, 2015. http://d-nb.info/1079766537/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
11

Nolte, Dennis [Verfasser], and Barbara [Akademischer Betreuer] König. "Analysis and Abstraction of Graph Transformation Systems via Type Graphs / Dennis Nolte ; Betreuer: Barbara König." Duisburg, 2019. http://d-nb.info/1193590825/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
12

Ziegert, Steffen [Verfasser]. "Graph transformation planning with time and concurrency / Steffen Ziegert." Paderborn : Universitätsbibliothek, 2016. http://d-nb.info/1093479582/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
13

Arijo, Niaz Hussain. "Modular performance modelling of mobile applications using graph transformation." Thesis, University of Leicester, 2012. http://hdl.handle.net/2381/10831.

Full text
Abstract:
Graph transformation provides a visual and formal notation for modelling systems of dynamic nature. We use graph transformation for modelling mobility and performance, and provide a methodology for modular system modelling to handle scalbility issues of large systems. In our methodology we have distinguished three approaches for system modelling, monolithic, topdown and bottom-up. In the monolithic approach, a system is modelled as a global or whole-world system. In the top-down approach, a global system is projected to its views based on their local type graphs. In the bottom-up approach, a s
APA, Harvard, Vancouver, ISO, and other styles
14

Khan, Ajab. "Stochastic simulation of P2P VoIP network reconfiguration using graph transformation." Thesis, University of Leicester, 2012. http://hdl.handle.net/2381/10428.

Full text
Abstract:
Peer-to-Peer (P2P) networks provide an alternative approach to distributed systems, relaxing the requirements for dedicated servers from the client-server model. A P2P network operates as an overlay at application layer, on top of the physical network. In the early years of P2P, most applications lacked mechanisms for enforcing a particular overlay topology. This resulted in inefficient communication schemes, such as flooding or the maintenance of large numbers of connections with other peers. However, researchers and practitioners have realized the importance of constructing and maintaining a
APA, Harvard, Vancouver, ISO, and other styles
15

Backes, Peter [Verfasser], and Reinhard [Akademischer Betreuer] Wilhelm. "Cluster abstraction of graph transformation systems / Peter Backes. Betreuer: Reinhard Wilhelm." Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2015. http://d-nb.info/1079523901/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
16

Steenken, Dominik [Verfasser]. "Verification of infinite-state graph transformation systems via abstraction / Dominik Steenken." Paderborn : Universitätsbibliothek, 2015. http://d-nb.info/106989933X/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
17

Nikjoo, Soukhtabandani Ali. "Partial shape matching using CCP map and weighted graph transformation matching." Thesis, Université Laval, 2014. http://www.theses.ulaval.ca/2014/30611/30611.pdf.

Full text
Abstract:
La détection de la similarité ou de la différence entre les images et leur mise en correspondance sont des problèmes fondamentaux dans le traitement de l'image. Pour résoudre ces problèmes, on utilise, dans la littérature, différents algorithmes d'appariement. Malgré leur nouveauté, ces algorithmes sont pour la plupart inefficaces et ne peuvent pas fonctionner correctement dans les situations d’images bruitées. Dans ce mémoire, nous résolvons la plupart des problèmes de ces méthodes en utilisant un algorithme fiable pour segmenter la carte des contours image, appelée carte des CCPs, et une nou
APA, Harvard, Vancouver, ISO, and other styles
18

Machado, Rodrigo. "Higher-order graph rewriting systems." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2012. http://hdl.handle.net/10183/54887.

Full text
Abstract:
Programas sofrem diversas modificações ao longo das etapas de desenvolvimento, implantação e manutenção. A evolução de um software pode ter várias causas: correção de erros, inclusão de novas funcionalidades ou até mesmo, como é o caso de programas orientados a aspecto, transformações estruturais podem fazer parte da semântica do sistema. Apesar de modificações serem comuns, não é tarefa trivial prever como estas afetam o comportamento dos programas, já que os componentes de software normalmente interagem de forma complexa, o que faz com que mesmo pequenas alterações possam introduzir comporta
APA, Harvard, Vancouver, ISO, and other styles
19

Ermel, Claudia. "Simulation and animation of visual languages based on typed algebraic graph transformation." [S.l.] : [s.n.], 2006. http://deposit.ddb.de/cgi-bin/dokserv?idn=981114261.

Full text
APA, Harvard, Vancouver, ISO, and other styles
20

Stückrath, Jan [Verfasser], and Barbara [Akademischer Betreuer] König. "Verification of Well-Structured Graph Transformation Systems / Jan Stückrath. Betreuer: Barbara König." Duisburg, 2016. http://d-nb.info/109991034X/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
21

Ziemann, Paul. "An integrated operational semantics for a UML core based on graph transformation." Berlin Logos-Verl, 2005. http://deposit.ddb.de/cgi-bin/dokserv?id=2774091&prov=M&dok_var=1&dok_ext=htm.

Full text
APA, Harvard, Vancouver, ISO, and other styles
22

Ziemann, Paul. "An integrated operational semantics for a UML core based on graph transformation /." Berlin : Logos-Verl, 2006. http://deposit.ddb.de/cgi-bin/dokserv?id=2774091&prov=M&dok_var=1&dok_ext=htm.

Full text
APA, Harvard, Vancouver, ISO, and other styles
23

Qayum, Fawad. "Search-based and goal-oriented refactoring using unfolding of graph transformation systems." Thesis, University of Leicester, 2012. http://hdl.handle.net/2381/10999.

Full text
Abstract:
To improve automation and traceability of search-based refactoring, in this thesis we propose a formulation of using graph transformation, where graphs represent object-oriented software architectures at the class level and rules describe refactoring operations. This formalisation allows us to make use of partial order semantics and an associated analysis technique, the approximated unfolding of graph transformation systems. In the unfolding we can identify dependencies and conflicts between refactoring steps leading to an implicit and therefore more scalable representation of the search space
APA, Harvard, Vancouver, ISO, and other styles
24

Hussein, Mudhafar Saber. "Modelling and analysing adaptive networks : from graph transformation system to ordinary differential equation." Thesis, University of Leicester, 2017. http://hdl.handle.net/2381/40123.

Full text
Abstract:
Online social networks pose particular challenges to designing effective algorithms and protocols. Apart from their distributed nature, their behaviour depends on user behaviour and is difficult to test at a realistic scale. Stochastic graph transformation systems can model the operation of such networks but due to the inherent complexity they are hard to analyse. Techniques such as model checking and simulation, which can be used to verify a range of quantitative properties, do not scale well to systems with large graphs and state spaces. Aiming for an efficient alternative, we propose to der
APA, Harvard, Vancouver, ISO, and other styles
25

El, Musleh Mohammad. "Transformation of UML State Machine Diagram into Graph Database to Generate Test Cases." Thesis, Uppsala universitet, Institutionen för informationsteknologi, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-426060.

Full text
Abstract:
The manual approach in software testing is considered as expensive, error-prone, and time-consuming activity since it depends highly on the test engineers. As well, the process of software testing requires proper planning and resources to design the test cases. For this reason, any approach that can be used to enhance or automate the current testing process is necessary. This thesis introduces an approach to transform the Unified Modeling Language (UML) behavioral state machines diagram into a graph database inside Neo4j, a graph database software. Moreover, a framework is proposed that fetche
APA, Harvard, Vancouver, ISO, and other styles
26

Setzer, Alexander [Verfasser]. "Local graph transformation primitives for some basic problems in Overlay networks / Alexander Setzer." Paderborn : Universitätsbibliothek, 2020. http://d-nb.info/1217325859/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
27

Amer, Hoda. "Automatic transformation of UML software specification into LQN performance models using graph grammar techniques." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2001. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp04/MQ61015.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
28

Hussein, Jamal A. "PROV-GTS : a template-based PROV graph transformation system for obscuring provenance confidential information." Thesis, University of Southampton, 2017. https://eprints.soton.ac.uk/417985/.

Full text
Abstract:
Provenance is a record that describes the people, institutions, entities, and activities involved in producing, influencing, or delivering a piece of data or a thing. Provenance can be used to trace the source of ingredients in food industry, record the intermediate and final results of scientific workflows, and follow the origin of online posts and news. Data provenance becomes a significant metadata in validating the origin of information and asserting its quality. It has been adopted in many significant domains for different purposes, for example, validating experimental results in scientif
APA, Harvard, Vancouver, ISO, and other styles
29

Carletti, Vincenzo. "Exact and inexact methods for graph Similarity in structural pattern recognition." Caen, 2016. http://www.theses.fr/2016CAEN2004.

Full text
Abstract:
Les graphes sont utilisés dans de nombreux domaines applicatifs tels que la biologie, les réseaux sociaux, les bases de données,. . . Les graphes permettentt de décrire un ensemble d'objets ainsi que leurs relations. L'analyse de ces objets réclame souvent de mesurer la similarité entre les graphes. Toutefois, en raison de son aspect combinatoire, ce problème est NP complet et estt généralement résolu en utilisant différentes heuristiques. Dans cette thèse nous avons exploré deux approches pour calculer la similarité entre graphes. La première est basé sur l'appariement exact. Nous avons conçu
APA, Harvard, Vancouver, ISO, and other styles
30

Giese, Holger, Stephan Hildebrandt, Stefan Neumann, and Sebastian Wätzoldt. "Industrial case study on the integration of SysML and AUTOSAR with triple graph grammars." Universität Potsdam, 2012. http://opus.kobv.de/ubp/volltexte/2012/6018/.

Full text
Abstract:
During the overall development of complex engineering systems different modeling notations are employed. For example, in the domain of automotive systems system engineering models are employed quite early to capture the requirements and basic structuring of the entire system, while software engineering models are used later on to describe the concrete software architecture. Each model helps in addressing the specific design issue with appropriate notations and at a suitable level of abstraction. However, when we step forward from system design to the software design, the engineers have to ensu
APA, Harvard, Vancouver, ISO, and other styles
31

Andersen, Jakob Lykke. "Analysis of Generative Chemistries." Doctoral thesis, Universitätsbibliothek Leipzig, 2016. http://nbn-resolving.de/urn:nbn:de:bsz:15-qucosa-202723.

Full text
Abstract:
For the modelling of chemistry we use undirected, labelled graphs as explicit models of molecules and graph transformation rules for modelling generalised chemical reactions. This is used to define artificial chemistries on the level of individual bonds and atoms, where formal graph grammars implicitly represent large spaces of chemical compounds. We use a graph rewriting formalism, rooted in category theory, called the Double Pushout approach, which directly expresses the transition state of chemical reactions. Using concurrency theory for transformation rules, we define algorithms for the co
APA, Harvard, Vancouver, ISO, and other styles
32

Makhlouf, Amani. "Environnement d'assistance au développement de transformations de graphes correctes." Thesis, Toulouse, INPT, 2019. http://www.theses.fr/2019INPT0027/document.

Full text
Abstract:
Les travaux de cette thèse ont pour cadre la vérification formelle, et plus spécifiquement le projet ANR Blanc CLIMT (Categorical and Logical Methods in Model Transformation) dédié aux grammaires de graphes. Ce projet, qui a démarré en février 2012 pour une durée de 48 mois, a donné lieu à la définition du langage Small-tALC, bâti sur la logique de description ALCQI. Ce langage prend la forme d’un DSL (Domain Specific Language) impératif à base de règles, chacune dérivant structurellement un graphe. Le langage s’accompagne d’un composant de preuve basé sur la logique de Hoare chargé d’automati
APA, Harvard, Vancouver, ISO, and other styles
33

Togo, Hamidou. "Parallélisation de simulateur DEVS par métamodélisation et transformation de modèle." Thesis, Clermont-Ferrand 2, 2015. http://www.theses.fr/2015CLF22663/document.

Full text
Abstract:
Cette thèse propose une approche d’ingénierie consistant à paralléliser des simulateurs DEVS existants, sans être obligé de modifier les algorithmes de l’implémentation initiale, mais en injectant des composants additionnels adaptés au protocole de communication intercomposants en vigueur. Les algorithmes de simulation de ces nouveaux composants appelés « Manteaux », sont définis. Une démarche d’ingénierie permettant de systématiser le passage d’une implémentation à sa contrepartie parallèle et distribuée est ensuite proposée. Cette démarche s’appuie sur les principes de méta modélisation et d
APA, Harvard, Vancouver, ISO, and other styles
34

Durand, Jean-Claude. "Ttedit : un système interactif d'édition et de transformation d'arbres décorés." Grenoble 1, 1988. http://www.theses.fr/1988GRE10028.

Full text
Abstract:
TTEDIT est le premier éditeur d'arbres décores qui utilise un formalisme de réécriture. Les commandes prédéfinies d’édition sont analogues à celles d'un éditeur de texte. Grace a la possibilité d'exécuter des règles de réécriture comme des commandes, et des grammaires sous forme de macros, TTEDIT est aussi un système de transformation d'arbres interactif
APA, Harvard, Vancouver, ISO, and other styles
35

Jurack, Stefan [Verfasser], and Gabriele [Akademischer Betreuer] Taentzer. "Composite Modeling based on Distributed Graph Transformation and the Eclipse Modeling Framework / Stefan Jurack. Betreuer: Gabriele Taentzer." Marburg : Philipps-Universität Marburg, 2013. http://d-nb.info/1032313943/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
36

Niesner, Christophe. "Sensibilité et robustesse à l'incertitude paramétrique : une approche Bond Graph." Ecole Centrale de Lille, 2005. https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/2005/50376-2005-Niesner.pdf.

Full text
Abstract:
Cette thèse s'inscrit dans la problématique de construction d'une loi de commande du véhicule robuste vis-à-vis des incertitudes paramétriques. Deux modèles de dynamique véhicule sont proposés le bicycle (modèle à 2 degrés de liberté), dans une optique de compréhension de la dynamique véhicule, et afin de fixer une trajectoire de référence pour une boucle de régulation et le modèle BGCar14 (modèle à 14 degrés de liberté) pour disposer un modèle du véhicule complet représentant le comportement dynamique du véhicule. Une étude est effectuée pour déterminer l'influence de la variation de la masse
APA, Harvard, Vancouver, ISO, and other styles
37

Becker, Basil, and Holger Giese. "Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants." Universität Potsdam, 2012. http://opus.kobv.de/ubp/volltexte/2012/6243/.

Full text
Abstract:
Cyber-physical systems achieve sophisticated system behavior exploring the tight interconnection of physical coupling present in classical engineering systems and information technology based coupling. A particular challenging case are systems where these cyber-physical systems are formed ad hoc according to the specific local topology, the available networking capabilities, and the goals and constraints of the subsystems captured by the information processing part. In this paper we present a formalism that permits to model the sketched class of cyber-physical systems. The ad hoc formatio
APA, Harvard, Vancouver, ISO, and other styles
38

Rizkallah, Mira. "Graph based transforms for compression of new imaging modalities." Thesis, Rennes 1, 2019. http://www.theses.fr/2019REN1S021/document.

Full text
Abstract:
En raison de la grande disponibilité de nouveaux types de caméras capturant des informations géométriques supplémentaires, ainsi que de l'émergence de nouvelles modalités d'image telles que les champs de lumière et les images omnidirectionnelles, il est nécessaire de stocker et de diffuser une quantité énorme de hautes dimensions. Les exigences croissantes en matière de streaming et de stockage de ces nouvelles modalités d’image nécessitent de nouveaux outils de codage d’images exploitant la structure complexe de ces données. Cette thèse a pour but d'explorer de nouvelles approches basées sur
APA, Harvard, Vancouver, ISO, and other styles
39

Cardot, Anaïs. "Rejeu basé sur des règles de transformation de graphes." Thesis, Poitiers, 2019. http://www.theses.fr/2019POIT2254.

Full text
Abstract:
Réaliser des variations d'un même modèle est un besoin en expansion dans de nombreux domaines de modélisation (architecture, archéologie, CAO, etc.). Mais la production manuelle de ces variations est fastidieuse, il faut donc faire appel à des techniques permettant de rejouer automatiquement tout ou partie du processus de construction du modèle, après spécification des modifications. La majorité des approches dédiées à la réalisation du rejeu sont basées sur un système de modélisation paramétrique, composée d’un modèle géométrique et d’une spécification paramétrique permettant d’enregistrer la
APA, Harvard, Vancouver, ISO, and other styles
40

Hagström, Åsa. "Understanding Certificate Revocation." Licentiate thesis, Linköping University, Linköping University, Department of Electrical Engineering, 2006. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-5477.

Full text
Abstract:
<p>Correct certificate revocation practices are essential to each public-key infrastructure. While there exist a number of protocols to achieve revocation in PKI systems, there has been very little work on the theory behind it: Which different types of revocation can be identified? What is the intended effect of a specific revocation type to the knowledge base of each entity?</p><p>As a first step towards a methodology for the development of reliable models, we present a graph-based formalism for specification and reasoning about the distribution and revocation of public keys and certificates.
APA, Harvard, Vancouver, ISO, and other styles
41

Giese, Holger, and Stephan Hildebrandt. "Efficient model synchronization of large-scale models." Universität Potsdam, 2009. http://opus.kobv.de/ubp/volltexte/2009/2928/.

Full text
Abstract:
Model-driven software development requires techniques to consistently propagate modifications between different related models to realize its full potential. For large-scale models, efficiency is essential in this respect. In this paper, we present an improved model synchronization algorithm based on triple graph grammars that is highly efficient and, therefore, can also synchronize large-scale models sufficiently fast. We can show, that the overall algorithm has optimal complexity if it is dominating the rule matching and further present extensive measurements that show the efficiency of the prese
APA, Harvard, Vancouver, ISO, and other styles
42

Gauthier, Valentin. "Développement d'un langage de programmation dédié à la modélisation géométrique à base topologique, application à la reconstruction de modèles géologiques 3D." Thesis, Poitiers, 2019. http://www.theses.fr/2019POIT2252/document.

Full text
Abstract:
La modélisation géométrique est utilisée dans de nombreux domaines pour la construction d’objets 3D, l’animation ou les simulations. Chaque domaine est soumis à ses propres contraintes et nécessiterait un outil dédié. En pratique, un même outil est utilisé pour plusieurs domaines, en factorisant les caractéristiques communes. Ces modeleurs fournissent un ensemble d'opérations types, que l'utilisateur compose pour construire ses objets. Pour des opérations plus spécifiques, les outils actuels offrent des API.La plate-forme Jerboa propose un outil de génération d'opérations géométriques personna
APA, Harvard, Vancouver, ISO, and other styles
43

Hermann, Frank [Verfasser], and Hartmut [Akademischer Betreuer] Ehrig. "Analysis and Optimization of Visual Enterprise Models : Based on Graph and Model Transformation [[Elektronische Ressource]] / Frank Hermann. Betreuer: Hartmut Ehrig." Berlin : Universitätsbibliothek der Technischen Universität Berlin, 2011. http://d-nb.info/1014891507/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
44

Oshurko, Ievgeniia. "Knowledge representation and curation in hierarchies of graphs." Thesis, Lyon, 2020. http://www.theses.fr/2020LYSEN024.

Full text
Abstract:
L'extraction automatique des intuitions et la construction de modèles computationnels à partir de connaissances sur des systèmes complexes repose largement sur le choix d'une représentation appropriée. Ce travail s'efforce de construire un cadre adapté pour la représentation de connaissances fragmentées sur des systèmes complexes et sa curation semi-automatisé.Un système de représentation des connaissances basé sur des hiérarchies de graphes liés à l'aide d'homomorphismes est proposé. Les graphes individuels représentent des fragments de connaissances distincts et les homomorphismes permettent
APA, Harvard, Vancouver, ISO, and other styles
45

Kwon, Ky-Sang. "Multi-layer syntactical model transformation for model based systems engineering." Diss., Georgia Institute of Technology, 2011. http://hdl.handle.net/1853/42835.

Full text
Abstract:
This dissertation develops a new model transformation approach that supports engineering model integration, which is essential to support contemporary interdisciplinary system design processes. We extend traditional model transformation, which has been primarily used for software engineering, to enable model-based systems engineering (MBSE) so that the model transformation can handle more general engineering models. We identify two issues that arise when applying the traditional model transformation to general engineering modeling domains. The first is instance data integration: the tradition
APA, Harvard, Vancouver, ISO, and other styles
46

Brust, Alexander Frederick. "Applications of Graph Cutting for Probabilistic Characterization of Microstructures in Ferrous Alloys." The Ohio State University, 2019. http://rave.ohiolink.edu/etdc/view?acc_num=osu1555523646156822.

Full text
APA, Harvard, Vancouver, ISO, and other styles
47

Dyck, Johannes [Verfasser], Holger [Akademischer Betreuer] Giese, Holger [Gutachter] Giese, Arend [Gutachter] Rensink, and Heike [Gutachter] Wehrheim. "Verification of graph transformation systems with k-inductive invariants / Johannes Dyck ; Gutachter: Holger Giese, Arend Rensink, Heike Wehrheim ; Betreuer: Holger Giese." Potsdam : Universität Potsdam, 2020. http://d-nb.info/121816980X/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
48

Pretz, Eduardo. "Uma metodologia de modelagem de sistemas computacionais baseada em gramáticas de grafos." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2000. http://hdl.handle.net/10183/70704.

Full text
Abstract:
Vários métodos de especificação procuram realizar a modelagem de sistemas sob três visões: uma visão funcional, que procura apresentar as informações que trafegam entre os diversos componentes do sistema, uma visão de dados, que apresenta as relações entre as estruturas de dados estáticas do sistema e a visão dinâmica, que mostra as transformações que o sistema pode sofrer ao longo do tempo. Alguns modelos procuram integrar mais de uma visão, mas, em geral, os modelos possuem sérias deficiências ao tentarem representar mais de um aspecto do sistema ao mesmo tempo, sendo necessário o apoio de o
APA, Harvard, Vancouver, ISO, and other styles
49

Naser, Taher A. J. "A flexible approach for mapping between object-oriented databases and xml. A two way method based on an object graph." Thesis, University of Bradford, 2011. http://hdl.handle.net/10454/5505.

Full text
Abstract:
One of the most popular challenges facing academia and industry is the development of effective techniques and tools for maximizing the availability of data as the most valuable source of knowledge. The internet has dominated as the core for maximizing data availability and XML (eXtensible Markup Language) has emerged and is being gradually accepted as the universal standard format for platform independent publishing and exchanging data over the Internet. On the other hand, there remain large amount of data held in structured databases and database management systems have been tradition
APA, Harvard, Vancouver, ISO, and other styles
50

Naser, Taher Ahmed Jabir. "A flexible approach for mapping between object-oriented databases and XML : a two way method based on an object graph." Thesis, University of Bradford, 2011. http://hdl.handle.net/10454/5505.

Full text
Abstract:
One of the most popular challenges facing academia and industry is the development of effective techniques and tools for maximizing the availability of data as the most valuable source of knowledge. The internet has dominated as the core for maximizing data availability and XML (eXtensible Markup Language) has emerged and is being gradually accepted as the universal standard format for platform independent publishing and exchanging data over the Internet. On the other hand, there remain large amount of data held in structured databases and database management systems have been traditionally us
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'Transformation graph' for other source types:
Journal articles Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography