loading
Papers

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Elena Chebanyuk 1 and Krassimir Markov 2

Affiliations: 1 National aviation university, Ukraine ; 2 Institute of Mathematics and Informatics at Bulgarian Academy of Sciences, Bulgaria

ISBN: 978-989-758-168-7

Keyword(s): SOLID, Class Diagram Verification, Software Architecture, Class Diagram Designing, Model-Driven Engineering, Model-Driven Development.

Related Ontology Subjects/Areas/Topics: Constraint Modeling and Languages ; Frameworks for Model-Driven Development ; Languages, Tools and Architectures ; Methodologies, Processes and Platforms ; Model-Driven Architecture ; Model-Driven Software Development ; Software Engineering

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.

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.214.224.224

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Chebanyuk, O. 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

@conference{modelsward16,
author={Chebanyuk, O. 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},
}

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, O.
AU - Markov, K.
PY - 2016
SP - 435
EP - 441
DO - 10.5220/0005830104350441

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.