search query: @instructor Huima, Antti / total: 8
reference: 3 / 8
Author: | Vainikainen, Tommi |
Title: | Applying graph rewriting to model transformations |
Graafiuudelleenkirjoituksen soveltaminen mallitransformaatiossa | |
Publication type: | Master's thesis |
Publication year: | 2005 |
Pages: | ix + 51 s. Language: eng |
Department/School: | Tietotekniikan osasto |
Main subject: | Tietojenkäsittelyteoria (T-119) |
Supervisor: | Niemelä, Ilkka |
Instructor: | Huima, Antti |
OEVS: | Electronic archive copy is available via Aalto Thesis Database.
Instructions Reading digital theses in the closed network of the Aalto University Harald Herlin Learning CentreIn the closed network of Learning Centre you can read digital and digitized theses not available in the open network. The Learning Centre contact details and opening hours: https://learningcentre.aalto.fi/en/harald-herlin-learning-centre/ You can read theses on the Learning Centre customer computers, which are available on all floors.
Logging on to the customer computers
Opening a thesis
Reading the thesis
Printing the thesis
|
Location: | P1 Ark Aalto | Archive |
Keywords: | graph rewriting model transformation model UML graafiuudelleenkirjoitus mallitransformaatio malli UML |
Abstract (fin): | Tässä työssä on tutkittu mallitransformaatioiden toteuttamista graafiuudelleenkirjoituksella. Ohjelmistotuotantoprosessin osana käytetään usein mallinnusta. Mallien automaattinen käyttö tarvitsee erilaisia transformaatiota mallien välillä. OMG-ryhmän Model Driven Architecture tarjoaa viitekehyksen mallitransformaatioille. Graafiuudelleenkirjoitus on eräs tapa toteuttaa mallitransformaatioita. Graafiuudelleenkirjoitus on graalin käsittelyä uudelleenkirjoitussäännöillä, joilla aligraafeja korvataan toisilla graafeilla. Työssä on kehitetty sääntökieli graafiuudelleenkirjoitukseen pohjautuvien mallitransformaatioiden määrittelyyn. Käytännön tarkastelua varten on toteutettu transformaatio kirjoittamalla sääntöjoukko, joka toteuttaa muunnoksen UML-pohjaisesta tilakonemallista Conformiqin omaan CQA-mallinnuskieleen. Graafiuudelleenkirjoituksen soveltumista mallitransformaatioiden perustaksi on tutkittu sekä sääntökielen että toteutetun transformaation pohjalta. Huomiota on kiinnitetty myös graafiuudellenkirjoituksen suorituskykyyn sekä sääntöpohjaisen järjestelmän ylläpidettävyyteen. Työssä havaittiin, että vaikka teoreettiselta kannalta graafiuudellenkirjoitus on ongelmana laskennallisesti vaativa, käytännön suorituskyky oli tarkoitukseen nähden riittävä, ja samalla transformaation suunnittelijalle suodut vaihtoehdot sääntöjen suunnittelussa mahdollistavat tehokkaan tavan mallitransformaation toteuttamiseksi sekä järkevän abstraktiotason erilaisten mallien syntaksi- ja notaatioeroihin. |
ED: | 2006-02-16 |
INSSI record number: 30609
+ add basket
INSSI