SAUML: A tool for symbolic analysis of UML-RT models

DOI 10.1109/ase.2011.6100136 dblp

Abstract

Model Driven Development (MDD) is an approach to software development built around the notion of models. One of its implementation is the IBM RSA RTE, which uses the UML-RT modeling language. In this paper we introduce the tool SAUML (Symbolic Analysis of UML-RT Models) that enhances the current practice of MDD with the analyses of UML-RT models. The implemented technique is based on symbolic execution, features modularity and supports the reuse of analysis results. The paper gives an overview of this technique and its implementation in the IBM RSA RTE tool.

BibTeX

@inproceedings{Zurowska-Dingel:ASE11,
  author    = {Karolina Zurowska and
               J{\"{u}}rgen Dingel},
  title     = {{SAUML:} A tool for symbolic analysis of {UML-RT} models},
  booktitle = {ASE},
  pages     = {604--607},
  publisher = {{IEEE} Computer Society},
  year      = {2011},
}

SAUML: A tool for symbolic analysis of UML-RT models

Abstract

Related papers