Title :
SAUML: A tool for symbolic analysis of UML-RT models
Author :
Zurowska, Karolina ; Dingel, Juergen
Author_Institution :
Sch. of Comput., Queen´´s Univ., Kingston, ON, Canada
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.
Keywords :
Unified Modeling Language; software reusability; symbol manipulation; IBM RSA RTE; SAUML; UML-RT models; analysis result reuse; model driven development; software development; symbolic analysis; Analytical models; Computational modeling; Educational institutions; Heuristic algorithms; Java; Software; Unified modeling language;
Conference_Titel :
Automated Software Engineering (ASE), 2011 26th IEEE/ACM International Conference on
Conference_Location :
Lawrence, KS
Print_ISBN :
978-1-4577-1638-6
DOI :
10.1109/ASE.2011.6100136
