Slicing of UML models using model transformations

Authors:
Kevin Lano;Shekoufeh Kolahdouz-Rahimi
Affiliations:
Dept. of Computer Science, King's College London;Dept. of Computer Science, King's College London
Venue:
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
Year:
2010

Citing 7
Cited 3

Slicing of State-Based Models

ICSM '03 Proceedings of the International Conference on Software Maintenance
Slicing Z specifications

ACM SIGPLAN Notices
A new foundation for control dependence and slicing for modern program structures

ACM Transactions on Programming Languages and Systems (TOPLAS) - Special Issue ESOP'05
Constraint-driven development

Information and Software Technology
UML 2 Semantics and Applications

UML 2 Semantics and Applications
Reducing the size of NFAs by using equivalences and preorders

CPM'05 Proceedings of the 16th annual conference on Combinatorial Pattern Matching
Slicing object-z specifications for verification

ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B

Modeling model slicers

Proceedings of the 14th international conference on Model driven engineering languages and systems
Towards dynamic backward slicing of model transformations

ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Constraint-based specification of model transformations

Journal of Systems and Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper defines techniques for the slicing of UML models, that is, for the restriction of models to those parts which specify the properties of a subset of the elements within them. The purpose of this restriction is to produce a smaller model which permits more effective analysis and comprehension than the complete model, and also to form a step in factoring of a model. We consider class diagrams, individual state machines, and communicating sets of state machines.