Context-Free Slicing of UML Class Models

Authors:
Huzefa Kagdi;Jonathan I. Maletic;Andrew Sutton
Affiliations:
Kent State University;Kent State University;Kent State University
Venue:
ICSM '05 Proceedings of the 21st IEEE International Conference on Software Maintenance
Year:
2005

Citing 0
Cited 10

Slicing UML architectural models

ACM SIGSOFT Software Engineering Notes
An ontology slicing method based on ontology definition metamodel

BIS'07 Proceedings of the 10th international conference on Business information systems
Verification-driven slicing of UML/OCL models

Proceedings of the IEEE/ACM international conference on Automated software engineering
Models within models: taming model complexity using the sub-model lattice

FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
UOST: UML/OCL aggressive slicing technique for efficient verification of models

SAM'10 Proceedings of the 6th international conference on System analysis and modeling: about models
Modeling model slicers

Proceedings of the 14th international conference on Model driven engineering languages and systems
Evaluation of tools and slicing techniques for efficient verification of UML/OCL class diagrams

Advances in Software Engineering
A SysML-based approach to traceability management and design slicing in support of safety certification: Framework, tool support, and case studies

Information and Software Technology
Supporting feature model refinement with updatable view

Frontiers of Computer Science: Selected Publications from Chinese Universities
Traceability and SysML design slices to support safety inspections: A controlled experiment

ACM Transactions on Software Engineering and Methodology (TOSEM)

Quantified Score

Hi-index	0.00

Visualization

Abstract

The concept of model slicing is introduced as a means to support maintenance through the understanding, querying, and analysis of large UML models. The specific models being examined are class models as defined in the Unified Modeling Language (UML). Model slicing is analogous to classical program slicing. Since UML class models do not explicitly embody any behavioral aspect by themselves, models slices are computed in a context-free manner. The paper defines and formalizes the concept of context-free model slicing. A concrete application of model slicing in software maintenance is presented to support the usefulness and validity of the method.