mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Automated Synthesis of Model Comparison Benchmarks
Mälardalen University, School of Innovation, Design and Engineering.
2019 (English)Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesis
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.

Place, publisher, year, edition, pages
2019. , p. 35
Keywords [en]
model-driven engineering, model comparison, benchmarking, domain-specific language
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:mdh:diva-44333OAI: oai:DiVA.org:mdh-44333DiVA, id: diva2:1327868
Subject / course
Computer Science
Presentation
2019-06-10, Lambda, Högskoleplan 1, 722 20 Västerås, Västerås, 14:05 (English)
Supervisors
Examiners
Available from: 2019-06-25 Created: 2019-06-20 Last updated: 2019-06-25Bibliographically approved

Open Access in DiVA

fulltext(888 kB)28 downloads
File information
File name FULLTEXT01.pdfFile size 888 kBChecksum SHA-512
9fc5dbda4cfb2476a5dc562f9636a0f639246203589ee7b3db50400c366d97853198ae606dbdfc173fe2b94177173898075812351f922b3b6890ecddc8f0be86
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Addazi, Lorenzo
By organisation
School of Innovation, Design and Engineering
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar
Total: 28 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

urn-nbn

Altmetric score

urn-nbn
Total: 218 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf