Page 247 of 313
Abstract: Model-driven software product lines are an emerging topic in research and industry, as they promise higher development speed and easier adaptability to customer needs. The generation facilities for the products, however, still have a static nature: specification languages for the composition of model transformations sequences (model transformation workflows) up to now only support the specificatio...
Abstract: Slicing is a program analysis technique which can be used for reducing the size of the model and avoid state explosion in model checking. In this work a static slicing technique is proposed for reducing Rebeca models with respect to a property. For applying the slicing techniques, the Rebeca dependence graph (RDG) is introduced. As the static slicing usually produces large slices, two other slicin...
Page 247 of 313