Search Constraints

Start Over
Filtering by: Creator Sabetta, Antonino Remove constraint Creator: Sabetta, Antonino Creator Petriu, Dorina C. Remove constraint Creator: Petriu, Dorina C. Creator Grassi, Vincenzo Remove constraint Creator: Grassi, Vincenzo

Search Results

  • 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