e-ISSN:0976-5166
p-ISSN:2231-3850


INDIAN JOURNAL OF COMPUTER SCIENCE AND ENGINEERING

Call for Papers 2020

Oct 2020 - Volume 11, Issue 5
Deadline: 15 Sep 2020
Notification: 15 Oct 2020
Publication: 31 Oct 2020

Dec 2020 - Volume 11, Issue 6
Deadline: 15 Nov 2020
Notification: 15 Dec 2020
Publication: 31 Dec 2020

More

Indexed in

IJCSE Indexed in Scopus

ABSTRACT

Title : FAULT DETECTION OF CONSTRAINED OBJECT MODELS USING OBJECT MODELING TECHNIQUES
Authors : Priya R
Keywords : Complex system; constraints; model verification.
Issue Date : Aug-Sep 2018
Abstract :
This paper proposes a new efficient methodology for fault detection from the structural modeling of a complex system using the UML class diagram. The crisp and precise constraints on the attributes and relationships are represented using the formal specification language, Object Constraint Language (OCL). Model verification is done by converting the model to Constraint Satisfaction Problem(CSP) and by solving the problem. Performance is analysed by both bounded and unbounded validation.
Page(s) : 101-114
ISSN : 0976-5166
Source : Vol. 9, No.4
PDF : Download
DOI : 10.21817/indjcse/2018/v9i4/180904016