rule Sketcher2UserInterfaceModel { from i : sketcher!Sketcher to k : sketcher!Sketcher(), o : uim!UserInterfaceModel( name <- i.id, description <- i.description ), __wmodel : trace!TraceModel ( wovenModels <- Sequence {__model_IN, __model_OUT} ), __model_IN : trace!TraceModelRef ( name <- 'IN', ref <- k ), __model_OUT : trace!TraceModelRef ( name <- 'OUT', ref <- o )