A Slicer for UML State Machines

Reference:

Vesa Ojala. A slicer for UML state machines. Technical Report B25, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, December 2007.

Abstract:

This document describes the data structures and algorithms used in an implementation of a slicer for UML state machines developed in the SMUML project.

Keywords:

UML, state machines, slicing

Suggested BibTeX entry:

@techreport{HUT-TCS-B25,
    address = {Espoo, Finland},
    author = {Vesa Ojala},
    institution = {Helsinki University of Technology, Laboratory for Theoretical Computer Science},
    month = {December},
    number = {B25},
    title = {A Slicer for {UML} State Machines},
    type = {Technical Report},
    year = {2007},
}