Checking the Correspondence Between UML models and Implementation

S. Ciraci, Somayeh Malakuti Khah Olun Abadi, Shmuel Katz, Mehmet Aksit

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    6 Citations (Scopus)
    319 Downloads (Pure)


    UML class and sequence diagrams are used as the basis for runtime profiling along with either offline or online analysis to determine whether the execution conforms to the diagrams. Situations where sequence diagrams are intended to characterize all possible executions are described. The approach generates an execution tree of all possible sequences, using a detailed collection of graph transformations that represent a precise operational semantics for sequence diagrams, including treatment for polymorphism, multiple activations, reference to other diagrams, and the use of frames in sequence diagrams. The sequence diagrams are also used to determine the information that should be gathered about method calls in the system. Aspects that can follow the flow of messages in a distributed system, are generated and the results of execution are recorded. The execution tree is used to automatically check the recorded execution to detect operations that do not correspond to any of the diagrams. These represent either new types of sequence diagrams that should be added to the collection, or implementation errors where the system is not responding as designed. In either case, it is important to identify such situations.
    Original languageUndefined
    Title of host publication1st International Conference on Runtime Verification
    Place of PublicationBerlin
    Number of pages15
    ISBN (Print)978-3-642-16611-2
    Publication statusPublished - 1 Nov 2010
    Event1st International Conference on Runtime Verification, RV 2010 - St. Julians, Malta
    Duration: 1 Nov 20104 Nov 2010
    Conference number: 1

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer Verlag
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349


    Conference1st International Conference on Runtime Verification, RV 2010
    Abbreviated titleRV
    CitySt. Julians
    Internet address


    • METIS-275635
    • IR-74133
    • UML class and sequence diagrams
    • EWI-18306
    • Graph Transformation
    • aspect-oriented profiling
    • execution semantics
    • Runtime verification

    Cite this