Index Catalog // Carleton University Institutional Repository

This site uses cookies to offer you a better browsing experience. Find out more on how we use cookies and how you can change your settings.

Start Over

Filtering by: Creator Sabetta, Antonino Creator Grassi, Vincenzo Language English

Abstraction-raising transformation for generating analysis models

Resource Type:

Conference Proceeding

Creator:

Mirandola, Raffaela, Grassi, Vincenzo, Sabetta, Antonino, and Petriu, Dorina C.

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).

Date Created:

2006-07-06