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