Abstraction-raising transformation for generating analysis models

  • Authors:

  • Antonino Sabetta;Dorina C. Petriu;Vincenzo Grassi;Raffaela Mirandola

  • Affiliations:

  • Dept. of Informatics, Systems and Production, University of “Tor Vergata”, Rome, Italy;Department of Systems and Computer Engineering, Carleton University, Ottawa, ON, Canada;Dept. of Informatics, Systems and Production, University of “Tor Vergata”, Rome, Italy;Dept. of Informatics, Systems and Production, University of “Tor Vergata”, Rome, Italy

  • Venue:
  • MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

The verification of non-functional requirements of software models (such as performance, reliability, scalability, security, etc.) requires the transformation of UML models into different analysis models such as Petri nets, queueing networks, formal logic, etc., which represent the system at a higher level of abstraction. The paper proposes a new “abstraction-raising” transformation approach for generating analysis models from UML models. In general, such transformations must bridge a large semantic gap between the source and the target model. The proposed approach is illustrated by a transformation from UML to Klaper (Kernel LAnguage for PErformance and Reliability analysis of component-based systems).