An Approach to Class Diagrams Verification According to SOLID Design Principles

Elena Chebanyuk, Krassimir Markov

2016

Abstract

An approach, verifying class diagram correspondence to SOLID Design Principles, is proposed in this paper. SOLID is an acronym, encapsulating the five class diagram design principles namely: Single Responsibility, Open-Closed, Liskov Substitution, Interface Segregation and Dependency Inversion. To check whether a class diagram meets to SOLID, its analytical representation is analyzed by means of predicate expressions. For every SOLID design principle corresponded predicate expressions are proposed. Analytical representation describes interaction of class diagram constituents, namely classes and interfaces, in set-theory terms. Also criteria for estimation of obtained results are formulated. Example of class diagram verification according to the suggested verification approach is also represented in this paper. The advantages of the proposed verification approach implementing to improve the quality of different software development lifecycle processes are outlined in the conclusions.

References

  1. Chebanyuk E. 2013. Algebra Describing Software Static Models. International Journal “Information Technologies and Knowledge”, Vol.7, Number 1, 2013. ISSN 1313-0455 (printed) ISSN 1313-048X (online), pg. 83-93.
  2. Chebanyuk E., Markov K., 2015. Software Model Cognitive Value. International Journal “Information Theories and Applications”, Vol.22, Number 4, 2015. ISSN 1310-0513 (printed), ISSN 1313-0463 (online), pg. 338-355.
  3. Gamma E., Helm R., Johnson R., and Vlissides J., 1994. (the GangOfFour) Design Patterns: Elements of Reusable Object-Oriented Software. AddisonWesley Professional, • ISBN 978-0201633610 , ISBN 0-201- 63361-2 . 431 pg.
  4. Ikram S. 2005. Design Patterns (Strategy Pattern) Part - II. C# Corner. http://www.c-sharpcorner.com/ UploadFile/saif_ikram/DesignPatternsPart208312005 062925AM/DesignPatternsPart2.aspx.
  5. López-Fernández J.J., Guerra E., de Lara J., 2014. Assessing the Quality of Meta-models. In Boulanger F., Famelis M. and Ratiu D., editors, Proceedings of 11th Workshop on Model Driven Engineering, Verification and Validation MoDeVVa 2014, colocated with Models 2014, Valencia, Spain, September 30th 2014. pg. 3-12.
  6. Martin R., 2000. Design Principles and Design Patterns. http://www.objectmentor.com/resources/articles/Princ iples_and_Patterns.pdf.
  7. Martin R., Martin M. 2006. Agile Principles, Patterns, and Practices in C#. Prentice Hall, 2006. ISBN-10: 0-13- 185725-8, ISBN-13: 978-0-13-185725-4. Pg: 768.
  8. Miller G.A., 1956. “The Magical Number Seven Plus or Minus Two: Some Limits on Our Capacity for Processing Information,” Psychological Review, vol. 63, no. 2, Mar. 1956, pp. 81-97. http://www.psych.utoronto.ca/users/peterson/psy430s2 001/Miller%20GA%20Magical%20Seven%20Psych% 20Review%201955.pdf (accesed 01.09.2015).
  9. Sandhu R., 2015. Model-Based Software Engineering (MBSE) and Its Various Approaches and Challenges. In COMPUSOFT, An international journal of advanced computer technology, 4 (6), June-2015 (Volume-IV, Issue-VI), ISSN:2320-0790. pg. 1841- 1844.
  10. Tombe R., Okeyo G., Kimani S., 2014. Cyclomatic Complexity Metrics for Software Architecture Maintenance Risk Assessment. In International Journal of Computer Science and Mobile Computing, Vol.3 Issue.11, November- 2014, ISSN 2320-088X, pg. 89-101. Available Online at www.ijcsmc.com.
  11. Wang X., Büttner F., Lamo Y., 2014. Verification of Graph-based Model Transformations Using Alloy. In Hermann F., Sauer S., editors, Proceedings of the 13th InternationalWorkshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014). Electronic Communications of the EASST, Volume 67 (2014), ISSN 1863-2122. http://www.easst.org/eceasst/
Download


Paper Citation


in Harvard Style

Chebanyuk E. and Markov K. (2016). An Approach to Class Diagrams Verification According to SOLID Design Principles . In Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-168-7, pages 435-441. DOI: 10.5220/0005830104350441


in Bibtex Style

@conference{modelsward16,
author={Elena Chebanyuk and Krassimir Markov},
title={An Approach to Class Diagrams Verification According to SOLID Design Principles},
booktitle={Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2016},
pages={435-441},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005830104350441},
isbn={978-989-758-168-7},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - An Approach to Class Diagrams Verification According to SOLID Design Principles
SN - 978-989-758-168-7
AU - Chebanyuk E.
AU - Markov K.
PY - 2016
SP - 435
EP - 441
DO - 10.5220/0005830104350441