NDLI: Dependence Based Model-Healing

Content Provider	IEEE Xplore Digital Library
Author	Yue Wang Zheng Li Ruilian Zhao
Copyright Year	2015
Description	Author affiliation: Dept. of Comput. Sci., Beijing Univ. of Chem. Technol., Beijing, China (Yue Wang; Zheng Li; Ruilian Zhao)
Abstract	With the intensifying requirements of intelligent software, self-healing system becomes increasingly imperative. Such systems attempt to "heal" themselves in the sense of recovering from faults. The system is usually represented at a higher-level of abstraction than a program, such as Extended Finite State Machines (EFSMs), in which a fault could be regarded as a restricted operational environment for the EFSM. In general, the parts of model affected or potential affected by the environment changes are simply removed, which may lead the loss of system functions, and even system sinking or breakdown. In this paper, we propose a model-healing technique with the ability of retaining model functions. Dependence analysis and model-based repair rules are used to reserve model functions as many as possible to strengthen the model's capacity of self-adaptive in a restricted environment. A case study is conducted to illustrate that the functions affected in a restricted environment can be "healed" to some extent.
Starting Page	556
Ending Page	561
File Size	206456
Page Count	6
File Format	PDF
ISSN	07303157
e-ISBN	9781467365642
DOI	10.1109/COMPSAC.2015.274
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2015-07-01
Publisher Place	Taiwan
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Analytical models Adaptation models Maintenance engineering Unified modeling language Computational modeling Data models Biological system modeling Model Slicing Dependence analysis Model Healing Extended Finite State Machines
Content Type	Text
Resource Type	Article
Subject	Computer Science Applications Software

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Model projection: simplifying models in response to restricting the environment

Amorphous Slicing of Extended Finite State Machines

Towards Search-Based Testing for Event-B Models

Dependability Concerns in Model-Driven Engineering

Semi-automatic Generation of Extended Finite State Machines from Natural Language Standard Documents

A GIS-based simulator for CIIP interdependency analysis

A Program Model Based Regression Test Selection Technique for Object-Oriented Programs

Towards dynamic backward slicing of model transformations

Model maintenance based in COBIT for the applications architecture in TOGAF enterprise architectures — MOMCAE

Dependence Based Model-Healing

Similar Documents

Model projection: simplifying models in response to restricting the environment

Amorphous Slicing of Extended Finite State Machines

Towards Search-Based Testing for Event-B Models

Dependability Concerns in Model-Driven Engineering

Semi-automatic Generation of Extended Finite State Machines from Natural Language Standard Documents

A GIS-based simulator for CIIP interdependency analysis

A Program Model Based Regression Test Selection Technique for Object-Oriented Programs

Towards dynamic backward slicing of model transformations

Model maintenance based in COBIT for the applications architecture in TOGAF enterprise architectures — MOMCAE

Dependence Based Model-Healing