We apologize for a recent technical issue with our email system, which temporarily affected account activations. Accounts have now been activated. Authors may proceed with paper submissions. PhDFocusTM
CFP last date
20 November 2024
Call for Paper
December Edition
IJCA solicits high quality original research papers for the upcoming December edition of the journal. The last date of research paper submission is 20 November 2024

Submit your paper
Know more
The week's pick
Responsive image
Improved Shuffled Frog Leaping Algorithm with Self-Adaptive Shuffling for Fuzzy Logic PD+G Controller Optimization in Robotic Manipulators

Duc Hoang Nguyen
Random Articles
Reseach Article

Literature Analysis on Model based Slicing

by Rupinder Singh, Vinay Arora
journal cover thumbnail

International Journal of Computer Applications
Foundation of Computer Science (FCS), NY, USA
Volume 70 - Number 16
Year of Publication: 2013
Authors: Rupinder Singh, Vinay Arora
10.5120/12155-8185

Rupinder Singh, Vinay Arora . Literature Analysis on Model based Slicing. International Journal of Computer Applications. 70, 16 ( May 2013), 45-51. DOI=10.5120/12155-8185

@article{ 10.5120/12155-8185,
author = { Rupinder Singh, Vinay Arora },
title = { Literature Analysis on Model based Slicing },
journal = { International Journal of Computer Applications },
issue_date = { May 2013 },
volume = { 70 },
number = { 16 },
month = { May },
year = { 2013 },
issn = { 0975-8887 },
pages = { 45-51 },
numpages = {9},
url = { https://ijcaonline.org/archives/volume70/number16/12155-8185/ },
doi = { 10.5120/12155-8185 },
publisher = {Foundation of Computer Science (FCS), NY, USA},
address = {New York, USA}
}
%0 Journal Article
%1 2024-02-06T21:33:04.518007+05:30
%A Rupinder Singh
%A Vinay Arora
%T Literature Analysis on Model based Slicing
%J International Journal of Computer Applications
%@ 0975-8887
%V 70
%N 16
%P 45-51
%D 2013
%I Foundation of Computer Science (FCS), NY, USA
Abstract

To understand and test a large software product is very challenging task. One way to ease this is program slicing technique that decomposes the large programs into smaller ones and another is model based slicing that decomposes the large software architecture model into smaller models at the early stage of SDLC (Software Development Life Cycle). This literature analysis presents an overview of Model based slicing, including the various general approaches and techniques used to compute slices.

References
  1. Grady Booch, James Rumbaugh, Ivar Jacobson, "The Unified Modeling Language User Guide," 2nd Edition, May 2005, Publisher. Addison Wesley.
  2. Jianjun Zhao, "Slicing Software Architecture," Technical Report 97-SE-117, pp. 85-92, Information Processing Society of Japan, Nov 1997.
  3. Jianjun Zhao, "Applying slicing technique to software architectures," In Fourth IEEE International Conference on Engineering of Complex Computer Systems, ICECCS'98, pp 87 –98, 1998.
  4. J. Wang, Wei Dong, and Zhichang Qi, "Slicing Hierarchical Automata for Model Checking UML Statechart," Proc. Fourth Int'l Conf. Formal Eng. Methods: Formal Methods and Software Eng. , pp. 435-446, Oct. 2002.
  5. W. Fangjun and Y. Tong, "Dependence Analysis for UML Class Diagrams," J. Electronics (China), vol. 21, no. 3, pp. 249-254, May 2004, doi 10. 1007/BF02687879.
  6. H. Kagdi, J. I. Maletic, and A. Sutton, "Context-Free Slicing of UML Class Models," Proc. 21st IEEE Int'l Conf. Software Maintenance, pp. 635-638, 2005.
  7. S. Van Langehove, "Internal Broadcasting to Slice UML State Charts: As Rich as Needed," Proc. Abstracts of the FNRS Contact Day: The Theory and Practice of Software Verification, Oct. 2005.
  8. J. H. Bae, K. Lee, and H. S. Chae, "Modularization of the UML Metamodel Using Model Slicing," Proc. Fifth Int'l Conf. Information Technology: New Generations, pp. 1253-1254, 2008.
  9. Jung Ho Bae and Heung Seok Chae, "UMLSlicer: A tool for modularizing the UML metamodel using slicing," In 8th IEEE International Conference on Computer and Information Technology (CIT), pp. 772–777, 2008.
  10. Sagar Sen, Naouel Moha, Benoit Baudry, and Jean Marc Jézéquel, "Meta-model Pruning," In 12th International Conference on Model Driven Engineering Languages and Systems (MODELS'09), 2009.
  11. J. Lallchandani and R. Mall, "Slicing UML Architectural Models," ACM SIGSOFT, vol. 33, no. 3, May 2008.
  12. Jaiprakash T. Lallchandani, R. Mall, "Static Slicing of UML Architectural Models," Journal of Object Technology, vol. 8, no. 1, pp. 159-188, January-February 2009.
  13. J. Lallchandani and R. Mall, "A Dynamic Slicing Technique for UML Architectural Models," IEEE Transaction on Software Engineering, Vol. 37, No. 6, NOV/DEC 2011.
  14. Philip Samuel, Rajib Mall, "Slicing-Based Test Case Generation from UML Activity Diagrams," ACM SIGSOFT Software Engineering Notes, Vol. 34 No. 6, November 2009.
  15. Philip Samuel, Rajib Mall, "A Novel Test Case Design Technique Using Dynamic Slicing of UML Sequence Diagrams," e-Informatics Software Engineering Journal, Vol. 2, Issue 1, 2008.
  16. Philip Samuel, Rajib Mall and Sandeep Sahoo, "UML Sequence Diagram Based Testing Using Slicing," IEEE Indicon 2005 Conference, Chennai, 11-13 Dec. 2005.
  17. Kunihiro Noda , Takashi Kobayashi, Kiyoshi Agusa, Shinichiro Yamamoto, "Sequence Diagram Slicing," 16th Asia-Pacific Software Engineering Conference, IEEE, 2009.
  18. Ranjita Kumari Swain , Vikas Panthi, Prafulla Kumar Behera, "Test Case Design Using Slicing of UML Interaction Diagram," 2nd International Conference on communication, computing and security, vol. 6 , pp. 136-144, ELSEVIR, 2012.
  19. Hyeon-Jeong Kim , Doo-Hwan Bae, Vidroha Debroy, W. Eric Wong, "Deriving Data Dependence from UML State Machine Diagrams," Fifth International Conference on Secure Software Integration and Reliability Improvement (IEEE), 2011.
  20. Nisansala Yatapanage, KirstenWinter, and Saad Zafar, "Slicing behavior tree models for verification," In IFIP Advances in Information and Communication Technology, Vol. 323, pp. 125–139, 2010.
  21. B. Korel, I. Singh, L. Tahat, and B. Vaysburg, "Slicing of State Based Models," Proc. Int'l Conf. Software Maintenance, pp. 34-43, 2003.
  22. Kevin Lano Crest, "Slicing of UML State Machines," Proceedings of the 9th WSEAS International Conference on APPLIED INFORMATICS AND COMMUNICATIONS (AIC '09), 2009.
  23. Philip Samuel , Rajib Mall, Pratyush Kanth, "Automatic test case generation from UML communication diagrams," Information and Software Technology (ELSEVIER), 2007.
  24. J. Julliand, N. Stouls, P-C. Bue, P-A. Masson, "B model slicing and predicate abstraction to generate tests," Software Quality Journal, vol. 21, pp. 127-158, 2013.
  25. Asadullah Shaikh, Robert Clarisó, Uffe Kock Wiil, and Nasrullah Memon, "Verification-driven slicing of UML/OCL models," In Proceedings of the IEEE/ACM international conference on Automated software engineering, pp. 185–194, ACM, 2010.
  26. Asadullah Shaikh, Uffe Kock Wiil, and Nasrullah Memon, "UOST: UML/OCL aggressive slicing technique for efficient verification of models," In System Analysis and Modeling: About Models, 6th International Workshop SAM'10, pp. 173–192, 2010.
  27. Asadullah Shaikh, Uffe Kock Wiil, and Nasrullah Memon, "Evaluation of tools and slicing techniques for efficient verification of UML/OCL class diagrams," Advances in Software Engineering, vol. 18, pp 173-192, 2011.
  28. Monalisa Sarma, Debasish Kundu, Rajib Mall, "Automatic Test Case Generation from UML Sequence Diagrams," 15th IEEE International Conference on Advanced Computing and Communications, 2007.
  29. Mathieu Acher, Philippe Collet, Philippe Lahire, and Robert France, "Slicing feature models," In 26th IEEE/ACM International Conference On Automated Software Engineering (ASE'11), IEEE/ACM, 2011.
  30. Mathieu Acher, Philippe Collet, Philippe Lahire, and Robert France, "Separation of Concerns in Feature Modeling: Support and Applications," In Aspect-Oriented Software Development(AOSD'12), ACM Press, 2012.
  31. Arnaud Hubaux, Patrick Heymans, Pierre-Yves Schobbens, Ebrahim Khalil Abbasi, and Dirk Deridder, "Supporting multiple perspectives in feature-based configuration," Software and Systems Modeling, 2012.
  32. T. Kim, Y. -T. Song, L. Chung, and D. T. Huynh, "Dynamic Software Architecture Slicing," Proc. 23rd Int'l Computer Software and Applications Conf. , pp. 61-66, 1999.
  33. T. Kim, Y. -T. Song, L. Chung, and D. T. Huynh, "Software Architecture Analysis: A Dynamic Slicing Approach," J. Computer and Information Science, vol. 1, no. 2, pp. 91-103, 2000.
  34. Davide Falessi, Shiva Nejati, Mehrdad Sabetzadeh, Lionel Briand, and Antonio Messina, "SafeSlice: a model slicing and design safety inspection tool for SysML," In SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13rd European Software Engineering Conference (ESEC-13), ACM, 2011.
  35. Kevin Lano and Shekoufeh K. Rahimi, "Slicing of UML Models Using Model Transformations," Model Driven Engineering Languages and Systems, 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Lecture Notes of Computer Science, Vol. 6395, pp. 228-242, Springer, 2010.
  36. Zoltán Ujhelyi, Ákos Horváth, and Dániel Varró, "Towards dynamic backward slicing of model transformations," In 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), pp. 404–407, IEEE Computer Society, 2011.
  37. Zoltán Ujhelyi, Ákos Horváth, and Dániel Varró, "Dynamic Backward Slicing of Model Transformations," IEEE Fifth International Conference on Software Testing, Verification and Validation, 2012.
  38. A. Blouin, B. Combemale, B. Baudry, O. Beaudoux, "Modeling model slicers," Proceedings of the 14th international conference on Model driven engineering languages and systems, 2011.
  39. A. Blouin, B. Combemale, B. Baudry, O. Beaudoux, "Kompren Modeling and Generating Model Slicers," Journal of Software and System Modeling, Springer, 2012.
Index Terms

Computer Science
Information Sciences

Keywords

Model Based Slicing Dependency Graph UML/OCL Constraints Feature Based Slicing Model Transformation

Powered by PhDFocusTM