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


INDIAN JOURNAL OF COMPUTER SCIENCE AND ENGINEERING

Call for Papers

Aug 2019 - Volume 10, Issue 4
Deadline: 15 Jul 2019
Notification: 15 Aug 2019
Publication: 31 Aug 2019

Oct 2019 - Volume 10, Issue 5
Deadline: 15 Sep 2019
Notification: 15 Oct 2019
Publication: 30 Oct 2019

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