Overview of Slicing and Feedback Techniques for Efficient Verification of UML/OCL Class Diagrams

@article{Shaikh2018OverviewOS,
  title={Overview of Slicing and Feedback Techniques for Efficient Verification of UML/OCL Class Diagrams},
  author={Asadullah Shaikh and Uffe Kock Wiil},
  journal={IEEE Access},
  year={2018},
  volume={6},
  pages={23864-23882}
}
Model-driven engineering is a methodology for software development that focuses on the use of models in the software development process. These models can be transformed into code, saving developers both time and effort. One of the most widely used models for transformation is the unified modeling language (UML) class diagram, along with its object constraint language (OCL) constraints. Before transforming UML/OCL models into code, it is essential to find defects in the model, as model… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-2 OF 2 CITATIONS

Static slicing of Use Case Maps requirements models

  • Software & Systems Modeling
  • 2018
VIEW 5 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

A Technique for Detection of Violating Property among UML/OCL Class Diagram

  • 2018 5th International Multi-Topic ICT Conference (IMTIC)
  • 2018
VIEW 1 EXCERPT
CITES METHODS

References

Publications referenced by this paper.
SHOWING 1-10 OF 41 REFERENCES

Program slicing

M. Weiser
  • IEEE Trans. Softw. Eng., vol. SE-10, no. 4, pp. 352–357, Jul. 1984.
  • 1984
VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL

MDE—Model Driven Engineering—Reference

J. den Haan
  • Guide. Accessed: Jan
  • 2018
VIEW 1 EXCERPT

Overview and Guide to OMG’s Architecture

J. Mukerji, J. Miller
  • Accessed: Jan
  • 2018
VIEW 1 EXCERPT

Reasons Why Model-Driven Development is Dangerous

J. den Haan
  • Accessed: Jan
  • 2018
VIEW 1 EXCERPT