Search Constraints

Start Over
Filtering by: Creator Sabetta, Antonino Remove constraint Creator: Sabetta, Antonino Resource Type Conference Proceeding Remove constraint Resource Type: Conference Proceeding

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