NDLI: An Automated Formal Approach to Managing Dynamic Reconfiguration

Content Provider	IEEE Xplore Digital Library
Author	Warren, I. Jing Sun Krishnamohan, S. Weerasinghe, T.
Copyright Year	2006
Description	Author affiliation: Dept. of Comput. Sci., Auckland Univ. (Warren, I.; Jing Sun)
Abstract	Dynamic reconfiguration is the process of making changes to software at run-time. The motivation for this is typically to facilitate adaptive systems which change their behavior in response to changes in their operating environment or to allow systems with a requirement for continuous service to evolve uninterrupted. To enable development of reconfigurable applications, we have developed OpenRec, a framework which comprises a reflective component model plus an open and extensible reconfiguration management infrastructure. Recently we have extended OpenRec to verify whether an intended (re)configuration would result in an application's structural constraints being satisfied. Consequently OpenRec can automatically veto proposed changes that would violate configuration constraints. This functionality has been realized by integrating OpenRec with the ALLOY Analyzer tool via a service-oriented architecture. ALLOY is a formal modelling notation which can be used to specify systems and associated constraints. In this paper, we present an overview of the OpenRec framework. In addition, we describe the application of ALLOY to modelling re-configurable component based systems and highlight some interesting experiences with integrating OpenRec and the ALLOY Analyzer
Starting Page	37
Ending Page	46
File Size	317397
Page Count	10
File Format	PDF
ISBN	0769525792
ISSN	19384300
DOI	10.1109/ASE.2006.12
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2006-09-18
Publisher Place	Japan
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Runtime Adaptive systems Power supplies Availability Software systems Software architecture Application software Engineering management Service oriented architecture Power system modeling
Content Type	Text
Resource Type	Article

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

An automated formal approach to managing dynamic reconfiguration (2006)

A Framework for Managing Dynamic Service-Oriented Component Architectures

Towards Resource-Aware Runtime Reconfigurable Component-Based Systems

A Scenario-based Approach to Increasing Service Availability at Runtime Reconfiguration of Component-based Systems

Dynamically Changing Workflows of Web Services

Service-Oriented Dynamic Evolution Model

An Optimised Runtime Reconfiguration of Component-Based Software Systems

Verifying Runtime Architectural Reconfiguration of Dynamically Adaptive Systems

Principles of engineering service oriented systems

An Automated Formal Approach to Managing Dynamic Reconfiguration

Similar Documents

An automated formal approach to managing dynamic reconfiguration (2006)

A Framework for Managing Dynamic Service-Oriented Component Architectures

Towards Resource-Aware Runtime Reconfigurable Component-Based Systems

A Scenario-based Approach to Increasing Service Availability at Runtime Reconfiguration of Component-based Systems

Dynamically Changing Workflows of Web Services

Service-Oriented Dynamic Evolution Model

An Optimised Runtime Reconfiguration of Component-Based Software Systems

Verifying Runtime Architectural Reconfiguration of Dynamically Adaptive Systems

Principles of engineering service oriented systems

An Automated Formal Approach to Managing Dynamic Reconfiguration