Towards Validation of UML Design Model Article Swipe

PDF

YOU? · · 2017 · Open Access · · DOI: https://doi.org/10.2991/iccasp-16.2017.105

Design models of model-driven engineering support efficient and error free designing i.e. independent of implementation details.Ensuring design model consistencies is an important activity in software development.One way of achieving it, is by preventing introduction of inconsistencies in the initial phases of software development.This can be realized through checking of inconsistencies in model represented through UML class diagram.Design models are based on certain design rules.In our case validation of design model is done against these design rules to find inconsistencies in the model.Validation of design rules is based on predicate logic while validation of design models against validated design rules is based on XML (Extensible Markup Language) and XSD (XML Schema Definition).The method has been illustrated with a case study.

Related Topics

Concepts

Unified Modeling Language Computer science Applications of UML UML tool Model validation Software engineering Programming language Data science Software

Metadata

Type: article
Language: en
Landing Page: https://doi.org/10.2991/iccasp-16.2017.105
PDF: https://download.atlantis-press.com/article/25871686.pdf
OA Status: gold
References: 14
Related Works: 10
OpenAlex ID: https://openalex.org/W2593403211

All OpenAlex metadata

Raw OpenAlex JSON

OpenAlex ID: https://openalex.org/W2593403211

Canonical identifier for this work in OpenAlex
DOI: https://doi.org/10.2991/iccasp-16.2017.105

Digital Object Identifier
Title: Towards Validation of UML Design Model

Work title
Type: article

OpenAlex work type
Language: en

Primary language
Publication year: 2017

Year of publication
Publication date: 2017-01-01

Full publication date if available
Authors: Arun Mishra, Dharmendra Kumar Yadav

List of authors in order
Landing page: https://doi.org/10.2991/iccasp-16.2017.105

Publisher landing page
PDF URL: https://download.atlantis-press.com/article/25871686.pdf

Direct link to full text PDF
Open access: Yes

Whether a free full text is available
OA status: gold

Open access status per OpenAlex
OA URL: https://download.atlantis-press.com/article/25871686.pdf

Direct OA link when available
Concepts: Unified Modeling Language, Computer science, Applications of UML, UML tool, Model validation, Software engineering, Programming language, Data science, Software

Top concepts (fields/topics) attached by OpenAlex
Cited by: 0

Total citation count in OpenAlex
References (count): 14

Number of works referenced by this work
Related works (count): 10

Other works algorithmically related by OpenAlex

Full payload

id	https://openalex.org/W2593403211
doi	https://doi.org/10.2991/iccasp-16.2017.105
ids.doi	https://doi.org/10.2991/iccasp-16.2017.105
ids.mag	2593403211
ids.openalex	https://openalex.org/W2593403211
fwci	0.0
type	article
title	Towards Validation of UML Design Model
biblio.issue
biblio.volume
biblio.last_page
biblio.first_page
topics[0].id	https://openalex.org/T11450
topics[0].field.id	https://openalex.org/fields/17
topics[0].field.display_name	Computer Science
topics[0].score	0.991100013256073
topics[0].domain.id	https://openalex.org/domains/3
topics[0].domain.display_name	Physical Sciences
topics[0].subfield.id	https://openalex.org/subfields/1712
topics[0].subfield.display_name	Software
topics[0].display_name	Model-Driven Software Engineering Techniques
topics[1].id	https://openalex.org/T10679
topics[1].field.id	https://openalex.org/fields/17
topics[1].field.display_name	Computer Science
topics[1].score	0.9681000113487244
topics[1].domain.id	https://openalex.org/domains/3
topics[1].domain.display_name	Physical Sciences
topics[1].subfield.id	https://openalex.org/subfields/1710
topics[1].subfield.display_name	Information Systems
topics[1].display_name	Service-Oriented Architecture and Web Services
topics[2].id	https://openalex.org/T12601
topics[2].field.id	https://openalex.org/fields/17
topics[2].field.display_name	Computer Science
topics[2].score	0.9677000045776367
topics[2].domain.id	https://openalex.org/domains/3
topics[2].domain.display_name	Physical Sciences
topics[2].subfield.id	https://openalex.org/subfields/1710
topics[2].subfield.display_name	Information Systems
topics[2].display_name	Web Applications and Data Management
is_xpac	False
apc_list
apc_paid
concepts[0].id	https://openalex.org/C145644426
concepts[0].level	3
concepts[0].score	0.7091007232666016
concepts[0].wikidata	https://www.wikidata.org/wiki/Q169411
concepts[0].display_name	Unified Modeling Language
concepts[1].id	https://openalex.org/C41008148
concepts[1].level	0
concepts[1].score	0.6916889548301697
concepts[1].wikidata	https://www.wikidata.org/wiki/Q21198
concepts[1].display_name	Computer science
concepts[2].id	https://openalex.org/C41298492
concepts[2].level	4
concepts[2].score	0.4916840195655823
concepts[2].wikidata	https://www.wikidata.org/wiki/Q4781506
concepts[2].display_name	Applications of UML
concepts[3].id	https://openalex.org/C146939238
concepts[3].level	4
concepts[3].score	0.473396897315979
concepts[3].wikidata	https://www.wikidata.org/wiki/Q2467310
concepts[3].display_name	UML tool
concepts[4].id	https://openalex.org/C3019813237
concepts[4].level	2
concepts[4].score	0.46851444244384766
concepts[4].wikidata	https://www.wikidata.org/wiki/Q65089264
concepts[4].display_name	Model validation
concepts[5].id	https://openalex.org/C115903868
concepts[5].level	1
concepts[5].score	0.4186388850212097
concepts[5].wikidata	https://www.wikidata.org/wiki/Q80993
concepts[5].display_name	Software engineering
concepts[6].id	https://openalex.org/C199360897
concepts[6].level	1
concepts[6].score	0.4081387519836426
concepts[6].wikidata	https://www.wikidata.org/wiki/Q9143
concepts[6].display_name	Programming language
concepts[7].id	https://openalex.org/C2522767166
concepts[7].level	1
concepts[7].score	0.11093840003013611
concepts[7].wikidata	https://www.wikidata.org/wiki/Q2374463
concepts[7].display_name	Data science
concepts[8].id	https://openalex.org/C2777904410
concepts[8].level	2
concepts[8].score	0.08972683548927307
concepts[8].wikidata	https://www.wikidata.org/wiki/Q7397
concepts[8].display_name	Software
keywords[0].id	https://openalex.org/keywords/unified-modeling-language
keywords[0].score	0.7091007232666016
keywords[0].display_name	Unified Modeling Language
keywords[1].id	https://openalex.org/keywords/computer-science
keywords[1].score	0.6916889548301697
keywords[1].display_name	Computer science
keywords[2].id	https://openalex.org/keywords/applications-of-uml
keywords[2].score	0.4916840195655823
keywords[2].display_name	Applications of UML
keywords[3].id	https://openalex.org/keywords/uml-tool
keywords[3].score	0.473396897315979
keywords[3].display_name	UML tool
keywords[4].id	https://openalex.org/keywords/model-validation
keywords[4].score	0.46851444244384766
keywords[4].display_name	Model validation
keywords[5].id	https://openalex.org/keywords/software-engineering
keywords[5].score	0.4186388850212097
keywords[5].display_name	Software engineering
keywords[6].id	https://openalex.org/keywords/programming-language
keywords[6].score	0.4081387519836426
keywords[6].display_name	Programming language
keywords[7].id	https://openalex.org/keywords/data-science
keywords[7].score	0.11093840003013611
keywords[7].display_name	Data science
keywords[8].id	https://openalex.org/keywords/software
keywords[8].score	0.08972683548927307
keywords[8].display_name	Software
language	en
locations[0].id	doi:10.2991/iccasp-16.2017.105
locations[0].is_oa	True
locations[0].source
locations[0].license	cc-by-nc
locations[0].pdf_url	https://download.atlantis-press.com/article/25871686.pdf
locations[0].version	publishedVersion
locations[0].raw_type	proceedings-article
locations[0].license_id	https://openalex.org/licenses/cc-by-nc
locations[0].is_accepted	True
locations[0].is_published	True
locations[0].raw_source_name	Proceedings of the International Conference on Communication and Signal Processing 2016 (ICCASP 2016)
locations[0].landing_page_url	https://doi.org/10.2991/iccasp-16.2017.105
indexed_in	crossref
authorships[0].author.id	https://openalex.org/A5032215803
authorships[0].author.orcid	https://orcid.org/0000-0002-3683-1020
authorships[0].author.display_name	Arun Mishra
authorships[0].countries	IN
authorships[0].affiliations[0].institution_ids	https://openalex.org/I152869788
authorships[0].affiliations[0].raw_affiliation_string	Department of Computer Science and Engineering, MNNIT Allahabad, Allahabad
authorships[0].institutions[0].id	https://openalex.org/I152869788
authorships[0].institutions[0].ror	https://ror.org/04dp7tp96
authorships[0].institutions[0].type	education
authorships[0].institutions[0].lineage	https://openalex.org/I152869788
authorships[0].institutions[0].country_code	IN
authorships[0].institutions[0].display_name	Motilal Nehru National Institute of Technology
authorships[0].author_position	first
authorships[0].raw_author_name	A. Mishra
authorships[0].is_corresponding	False
authorships[0].raw_affiliation_strings	Department of Computer Science and Engineering, MNNIT Allahabad, Allahabad
authorships[1].author.id	https://openalex.org/A5107871620
authorships[1].author.orcid
authorships[1].author.display_name	Dharmendra Kumar Yadav
authorships[1].countries	IN
authorships[1].affiliations[0].institution_ids	https://openalex.org/I152869788
authorships[1].affiliations[0].raw_affiliation_string	Department of Computer Science and Engineering, MNNIT Allahabad, Allahabad
authorships[1].institutions[0].id	https://openalex.org/I152869788
authorships[1].institutions[0].ror	https://ror.org/04dp7tp96
authorships[1].institutions[0].type	education
authorships[1].institutions[0].lineage	https://openalex.org/I152869788
authorships[1].institutions[0].country_code	IN
authorships[1].institutions[0].display_name	Motilal Nehru National Institute of Technology
authorships[1].author_position	last
authorships[1].raw_author_name	D. Yadav
authorships[1].is_corresponding	False
authorships[1].raw_affiliation_strings	Department of Computer Science and Engineering, MNNIT Allahabad, Allahabad
has_content.pdf	True
has_content.grobid_xml	True
is_paratext	False
open_access.is_oa	True
open_access.oa_url	https://download.atlantis-press.com/article/25871686.pdf
open_access.oa_status	gold
open_access.any_repository_has_fulltext	False
created_date	2025-10-10T00:00:00
display_name	Towards Validation of UML Design Model
has_fulltext	True
is_retracted	False
updated_date	2025-11-06T03:46:38.306776
primary_topic.id	https://openalex.org/T11450
primary_topic.field.id	https://openalex.org/fields/17
primary_topic.field.display_name	Computer Science
primary_topic.score	0.991100013256073
primary_topic.domain.id	https://openalex.org/domains/3
primary_topic.domain.display_name	Physical Sciences
primary_topic.subfield.id	https://openalex.org/subfields/1712
primary_topic.subfield.display_name	Software
primary_topic.display_name	Model-Driven Software Engineering Techniques
related_works	https://openalex.org/W2387087283, https://openalex.org/W2103939680, https://openalex.org/W2359043774, https://openalex.org/W2489425329, https://openalex.org/W2101953902, https://openalex.org/W2374395319, https://openalex.org/W1951066104, https://openalex.org/W2020544977, https://openalex.org/W2368891820, https://openalex.org/W2162768729
cited_by_count	0
locations_count	1
best_oa_location.id	doi:10.2991/iccasp-16.2017.105
best_oa_location.is_oa	True
best_oa_location.source
best_oa_location.license	cc-by-nc
best_oa_location.pdf_url	https://download.atlantis-press.com/article/25871686.pdf
best_oa_location.version	publishedVersion
best_oa_location.raw_type	proceedings-article
best_oa_location.license_id	https://openalex.org/licenses/cc-by-nc
best_oa_location.is_accepted	True
best_oa_location.is_published	True
best_oa_location.raw_source_name	Proceedings of the International Conference on Communication and Signal Processing 2016 (ICCASP 2016)
best_oa_location.landing_page_url	https://doi.org/10.2991/iccasp-16.2017.105
primary_location.id	doi:10.2991/iccasp-16.2017.105
primary_location.is_oa	True
primary_location.source
primary_location.license	cc-by-nc
primary_location.pdf_url	https://download.atlantis-press.com/article/25871686.pdf
primary_location.version	publishedVersion
primary_location.raw_type	proceedings-article
primary_location.license_id	https://openalex.org/licenses/cc-by-nc
primary_location.is_accepted	True
primary_location.is_published	True
primary_location.raw_source_name	Proceedings of the International Conference on Communication and Signal Processing 2016 (ICCASP 2016)
primary_location.landing_page_url	https://doi.org/10.2991/iccasp-16.2017.105
publication_date	2017-01-01
publication_year	2017
referenced_works	https://openalex.org/W2009691504, https://openalex.org/W1970178969, https://openalex.org/W1514003618, https://openalex.org/W1928001283, https://openalex.org/W1822720102, https://openalex.org/W1864273712, https://openalex.org/W1971702813, https://openalex.org/W2054332523, https://openalex.org/W2091920469, https://openalex.org/W2054120401, https://openalex.org/W2131566236, https://openalex.org/W4214489099, https://openalex.org/W1583827561, https://openalex.org/W1491485151
referenced_works_count	14
abstract_inverted_index.a	116
abstract_inverted_index.an	20
abstract_inverted_index.be	44
abstract_inverted_index.by	31
abstract_inverted_index.in	23, 36, 50, 79
abstract_inverted_index.is	19, 30, 70, 85, 99
abstract_inverted_index.of	2, 13, 27, 34, 40, 48, 67, 82, 92
abstract_inverted_index.on	60, 87, 101
abstract_inverted_index.to	76
abstract_inverted_index.UML	54
abstract_inverted_index.XML	102
abstract_inverted_index.XSD	107
abstract_inverted_index.and	7, 106
abstract_inverted_index.are	58
abstract_inverted_index.can	43
abstract_inverted_index.has	112
abstract_inverted_index.it,	29
abstract_inverted_index.our	64
abstract_inverted_index.the	37, 80
abstract_inverted_index.way	26
abstract_inverted_index.(XML	108
abstract_inverted_index.been	113
abstract_inverted_index.case	65, 117
abstract_inverted_index.done	71
abstract_inverted_index.find	77
abstract_inverted_index.free	9
abstract_inverted_index.i.e.	11
abstract_inverted_index.with	115
abstract_inverted_index.based	59, 86, 100
abstract_inverted_index.class	55
abstract_inverted_index.error	8
abstract_inverted_index.logic	89
abstract_inverted_index.model	17, 51, 69
abstract_inverted_index.rules	75, 84, 98
abstract_inverted_index.these	73
abstract_inverted_index.while	90
abstract_inverted_index.Design	0
abstract_inverted_index.Markup	104
abstract_inverted_index.Schema	109
abstract_inverted_index.design	16, 62, 68, 74, 83, 93, 97
abstract_inverted_index.method	111
abstract_inverted_index.models	1, 57, 94
abstract_inverted_index.phases	39
abstract_inverted_index.study.	118
abstract_inverted_index.against	72, 95
abstract_inverted_index.certain	61
abstract_inverted_index.initial	38
abstract_inverted_index.support	5
abstract_inverted_index.through	46, 53
abstract_inverted_index.activity	22
abstract_inverted_index.checking	47
abstract_inverted_index.realized	45
abstract_inverted_index.rules.In	63
abstract_inverted_index.software	24, 41
abstract_inverted_index.Language)	105
abstract_inverted_index.achieving	28
abstract_inverted_index.designing	10
abstract_inverted_index.efficient	6
abstract_inverted_index.important	21
abstract_inverted_index.predicate	88
abstract_inverted_index.validated	96
abstract_inverted_index.preventing	32
abstract_inverted_index.validation	66, 91
abstract_inverted_index.(Extensible	103
abstract_inverted_index.engineering	4
abstract_inverted_index.illustrated	114
abstract_inverted_index.independent	12
abstract_inverted_index.represented	52
abstract_inverted_index.introduction	33
abstract_inverted_index.model-driven	3
abstract_inverted_index.consistencies	18
abstract_inverted_index.diagram.Design	56
abstract_inverted_index.implementation	14
abstract_inverted_index.Definition).The	110
abstract_inverted_index.development.One	25
abstract_inverted_index.inconsistencies	35, 49, 78
abstract_inverted_index.details.Ensuring	15
abstract_inverted_index.development.This	42
abstract_inverted_index.model.Validation	81
cited_by_percentile_year
countries_distinct_count	1
institutions_distinct_count	2
citation_normalized_percentile.value	0.02549342
citation_normalized_percentile.is_in_top_1_percent	False
citation_normalized_percentile.is_in_top_10_percent	False