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
TOWARDS AUTOMATED ANALYSIS OF EXECUTABLE MODELS
Mälardalen University, School of Innovation, Design and Engineering.
Mälardalen University, School of Innovation, Design and Engineering.
2017 (English)Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesis
Abstract [en]

By utilising graphical modelling languages, software developers can design large systems while keeping the architecture simple and understandable. Another benefit of using modelling languages is the possibility to automatically generate code, saving both time and reducing human errors in code. In addition, through the usage of well defined and executable models, the system can be tested and analysed as early as during the design phase. Doing so, potential errors in the design can be found and corrected during the design phase, saving time and other resources.

In this thesis we present a method for analysing executable model representations of systems through three steps. First the model is transformed to a suitable format for analysis. The result of the transformation is then analysed using analysis tools. Lastly, the result of the analysis is mapped back to the source model.

The developed method was assessed through a proof-of-concept using a transformation from the action language for fUML, an executable modelling language. The target of the transformation was ALF, an intermediate language designed for analysis in the SWEET tool. The analysis of the source was performed in regards to properties of the system, such as program flow and value bounds. Through the proof-of-concept, the proposed method was shown to be a viable option for analysing fUML models.

Place, publisher, year, edition, pages
2017. , p. 51
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:mdh:diva-35840OAI: oai:DiVA.org:mdh-35840DiVA, id: diva2:1111740
Subject / course
Computer Science
Presentation
2017-06-01, Lambda, MDH, Västerås, 10:45 (English)
Supervisors
Examiners
Available from: 2017-06-26 Created: 2017-06-19 Last updated: 2017-06-26Bibliographically approved

Open Access in DiVA

fulltext(1061 kB)63 downloads
File information
File name FULLTEXT01.pdfFile size 1061 kBChecksum SHA-512
6f04d5bef8db455205689e67888852537c30d18d95eb87af7c0d357529d6865b372fc4a71a8f0808c383e829085c08a794cbe50c2ef01c0e1f9290ed9ea5e657
Type fulltextMimetype application/pdf

Other links

http://www.idt.mdh.se/examensarbete/index.php?choice=show&id=2024

Search in DiVA

By author/editor
Malm, JeanSkoog, Jonas
By organisation
School of Innovation, Design and Engineering
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar
Total: 63 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: 554 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