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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bruckner, I., Wehrheim, H.: Slicing Object-Z Specifications for Verification. In: Treharne, H., King, S., Henson, M.C., Schneider, S. (eds.) ZB 2005. LNCS, vol. 3455, pp. 414–433. Springer, Heidelberg (2005)
Clark, D.: Amorphous Slicing for EFSMs. In: PLID 2007 (2007)
Ilie, L., Solis-Oba, R., Yu, S.: Reducing the size of NFAs by using Equivalences and Preorders. In: Apostolico, A., Crochemore, M., Park, K. (eds.) CPM 2005. LNCS, vol. 3537, pp. 310–321. Springer, Heidelberg (2005)
Korel, B., Singh, I., Tahat, L., Vaysburg, B.: Slicing of State-based Models. In: ICSM 2003, 19th IEEE International Conference on Software Maintenance. IEEE Press, Los Alamitos (2003)
Lano, K.: Constraint-Driven Development. Information and Software Technology 50, 406–423 (2008)
Lano, K. (ed.): UML 2 Semantics and Applications. Wiley, Chichester (2009)
Lano, K., Kolahdouz-Rahimi, S.: Model Migration Transformation Specification in UML-RSDS. In: TTC 2010, Malaga, Spain (2010)
OMG, UML superstructure, version 2.1.1. OMG document formal/2007-02-03 (2007)
Ranganath, V.P., Amtoft, T., Banerjee, A., Hatcliff, J.: A New Foundation for Control Dependence and Slicing for Modern Program Structures. ACM Trans. Prog. Lang. and Sys. 29(5) (August 2007)
Sanchez, A., Aranda-Bricaire, E., Jaimes, F., Hernandez, E., Nava, A.: Synthesis of product-driven coordination controllers for a class of discrete-event manufacturing systems. Elsevier Science, Amsterdam (2009) (preprint)
Snook, C., Wheeler, P., Butler, M.: Preliminary Tool Extensions for Integration of UML and B, IST-2000-30103 deliverable D4.1.2 (2003)
Weiser, M.: Program slicing. IEEE Transactions on Soft. Eng. 10, 352–357 (1984)
Wu, F., Yi, T.: Slicing Z Specifications. ACM Sigplan 39(8) (August 2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lano, K., Kolahdouz-Rahimi, S. (2010). Slicing of UML Models Using Model Transformations. In: Petriu, D.C., Rouquette, N., Haugen, Ø. (eds) Model Driven Engineering Languages and Systems. MODELS 2010. Lecture Notes in Computer Science, vol 6395. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16129-2_17
Download citation
DOI: https://doi.org/10.1007/978-3-642-16129-2_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-16128-5
Online ISBN: 978-3-642-16129-2
eBook Packages: Computer ScienceComputer Science (R0)