Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Automated Synthesis of Model Comparison Benchmarks
Mälardalens högskola, Akademin för innovation, design och teknik.
2019 (Engelska)Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
Abstract [en]

Model-driven engineering promotes the migration from code-centric to model-based software development. Systems consist of model collections integrating different concerns and perspectives, while semi-automated model transformations generate executable code combining the information from these. Increasing the abstraction level to models required appropriate management technologies supporting the various software development activities. Among these, model comparison represents one of the most challenging tasks and plays an essential role in various modelling activities. Its hardness led researchers to propose a multitude of approaches adopting different approximation strategies and exploiting specific knowledge of the involved models. However, almost no support is provided for their evaluation against specific scenarios and modelling practices. This thesis presents Benji, a framework for the automated generation of model comparison benchmarks. Given a set of differences and an initial model, users generate models resulting from the application of the first on the latter. Differences consist of preconditions, actions and postconditions expressed using a dedicated specification language. The generator converts benchmark specifications to design-space exploration problems and produces the final solutions along with a model-based description of their differences with respect to the initial model. A set of representative use cases is used to evaluate the framework against its design principles, which resemble the essential properties expected from model comparison benchmark generators.

Ort, förlag, år, upplaga, sidor
2019. , s. 35
Nyckelord [en]
model-driven engineering, model comparison, benchmarking, domain-specific language
Nationell ämneskategori
Datorsystem
Identifikatorer
URN: urn:nbn:se:mdh:diva-44333OAI: oai:DiVA.org:mdh-44333DiVA, id: diva2:1327868
Ämne / kurs
Datavetenskap
Presentation
2019-06-10, Lambda, Högskoleplan 1, 722 20 Västerås, Västerås, 14:05 (Engelska)
Handledare
Examinatorer
Tillgänglig från: 2019-06-25 Skapad: 2019-06-20 Senast uppdaterad: 2019-06-25Bibliografiskt granskad

Open Access i DiVA

fulltext(888 kB)24 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 888 kBChecksumma SHA-512
9fc5dbda4cfb2476a5dc562f9636a0f639246203589ee7b3db50400c366d97853198ae606dbdfc173fe2b94177173898075812351f922b3b6890ecddc8f0be86
Typ fulltextMimetyp application/pdf

Sök vidare i DiVA

Av författaren/redaktören
Addazi, Lorenzo
Av organisationen
Akademin för innovation, design och teknik
Datorsystem

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 24 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.

urn-nbn

Altmetricpoäng

urn-nbn
Totalt: 205 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf