Modeling Model Slicers

  • Arnaud Blouin
  • Benoît Combemale
  • Benoit Baudry
  • Olivier Beaudoux
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6981)


Among model comprehension tools, model slicers are tools that extract a subset from a model, for a specific purpose. Model slicers are tools that let modelers rapidly gather relevant knowledge from large models. However, existing slicers are dedicated to one modeling language. This is an issue when we observe that new domain specific modeling languages (DSMLs), for which we want slicing abilities, are created almost on a daily basis. This paper proposes the Kompren language to model and generate model slicers for any DSL (e.g. software development and building architecture) and for different purposes (e.g. monitoring and model comprehension). Kompren’s abilities for model slicers construction is based on case studies from various domains.


Modeling Language Input Model Class Diagram Model Operation Concrete Syntax 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Androutsopoulos, K., Binkley, D., Clark, D., Gold, N., Harman, M., Lano, K., Li, Z.: Model projection: Simplifying models in response to restricting the environment. In: International Conference on Software Engineering, ICSE 2011 (2011)Google Scholar
  2. 2.
    Bae, J.H., Lee, K., Chae, H.S.: Modularization of the UML metamodel using model slicing. In: Proc. of the IEEE Inter. Conference on Information Technology, pp. 1253–1254 (2008)Google Scholar
  3. 3.
    Beaudoux, O., Blouin, A., Barais, O., Jézéquel, J.-M.: Active operations on collections. In: Petriu, D.C., Rouquette, N., Haugen, Ø. (eds.) MODELS 2010. LNCS, vol. 6394, pp. 91–105. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  4. 4.
    Herman, I., Melançon, G., Marshall, M.S.: Graph visualization and navigation in information visualization: A survey. IEEE Trans. on Visual Comput Graph 6, 24–43 (2000)CrossRefGoogle Scholar
  5. 5.
    Jeanneret, C., Glinz, M., Baudry, B.: Estimating footprints of model operations. In: International Conference on Software Engineering, ICSE 2011 (2011)Google Scholar
  6. 6.
    Kagdi, H., Maletic, J.I., Sutton, A.: Context-free slicing of uml class models. In: Proc. of the IEEE International Conference on Software Maintenance, pp. 635–638 (2005)Google Scholar
  7. 7.
    Kelsen, P., Ma, Q., Glodt, C.: Models within models: Taming model complexity using the sub-model lattice. In: Giannakopoulou, D., Orejas, F. (eds.) FASE 2011. LNCS, vol. 6603, pp. 171–185. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  8. 8.
    Korel, B., Singh, I., Tahat, L., Vaysburg, B.: Slicing of state-based models. In: Proc. of the IEEE International Conference on Software Maintenance, ICSM 2003 (2003)Google Scholar
  9. 9.
    Lallchandani, J.T., Mall, R.: A dynamic slicing technique for uml architectural models. IEEE Transactions on Software Engineering 99 (2010)Google Scholar
  10. 10.
    Lano, K., Kolahdouz-Rahimi, S.: Slicing of UML models using model transformations. In: Petriu, D.C., Rouquette, N., Haugen, Ø. (eds.) MODELS 2010. LNCS, vol. 6395, pp. 228–242. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  11. 11.
    Muller, P.-A., Fleurey, F., Jézéquel, J.-M.: Weaving executability into object-oriented meta-languages. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol. 3713, pp. 264–278. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  12. 12.
    Sen, S., Moha, N., Baudry, B., Jézéquel, J.-M.: Meta-model pruning. In: Schürr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol. 5795, pp. 32–46. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  13. 13.
    Shaikh, A., Clarisó, R., Wiil, U.K., Memon, N.: Verification-driven slicing of uml/ocl models. In: Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, pp. 185–194. ACM, New York (2010)CrossRefGoogle Scholar
  14. 14.
    Steel, J., Drogemuller, R., Toth, B.: Model interoperability in building information modelling. Software and Systems Modeling, 1–11 (2010)Google Scholar
  15. 15.
    Storey, M.A.D., Fracchia, F.D., Müller, H.A.: Cognitive design elements to support the construction of a mental model during software exploration. Journal of Systems and Software 44(3), 171–185 (1999)CrossRefGoogle Scholar
  16. 16.
    Weiser, M.: Program slicing. In: Proceedings of the 5th International Conference on Software Engineering, pp. 439–449. IEEE Press, Los Alamitos (1981)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Arnaud Blouin
    • 1
  • Benoît Combemale
    • 1
  • Benoit Baudry
    • 1
  • Olivier Beaudoux
    • 2
  1. 1.IRISA/INRIA, Triskell TeamRennesFrance
  2. 2.GRI-ESEOAngersFrance

Personalised recommendations