SLICING OF UML MODELS

K. Lano, S. Kolahdouz-Rahimi

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.

References

  1. Bruckner, I. and Wehrheim, H. (2005). Slicing ObjectZ specifications for verification. In ZB 2005, LNCS 3455, pages 414-433. Springer-Verlag.
  2. Harman, M., Binkley, D., and Danicic, S. (2003). Amorphous program slicing. Journal of Systems and Software, 68(1):45 - 69.
  3. Lano, K. (2008). Constraint-driven development. Information and Software Technology, 50:406-423.
  4. Lano, K. (2009a). Slicing of UML state machines. In AIC 7809.
  5. Lano, K. (2009b). UML 2 Semantics and Applications. Wiley.
  6. Wu, F. and Yi, T. (2004). Slicing Z specifications. ACM Sigplan, 39(8).
Download


Paper Citation


in Harvard Style

Lano K. and Kolahdouz-Rahimi S. (2010). SLICING OF UML MODELS . In Proceedings of the 5th International Conference on Software and Data Technologies - Volume 2: ICSOFT, ISBN 978-989-8425-23-2, pages 259-262. DOI: 10.5220/0002913202590262


in Bibtex Style

@conference{icsoft10,
author={K. Lano and S. Kolahdouz-Rahimi},
title={SLICING OF UML MODELS},
booktitle={Proceedings of the 5th International Conference on Software and Data Technologies - Volume 2: ICSOFT,},
year={2010},
pages={259-262},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002913202590262},
isbn={978-989-8425-23-2},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 5th International Conference on Software and Data Technologies - Volume 2: ICSOFT,
TI - SLICING OF UML MODELS
SN - 978-989-8425-23-2
AU - Lano K.
AU - Kolahdouz-Rahimi S.
PY - 2010
SP - 259
EP - 262
DO - 10.5220/0002913202590262