Please use this identifier to cite or link to this item:
Title: Modeling and customization of fault tolerant architecture using object-Z/XVCL
Authors: Ling, Y.
Jin, S.D. 
Jing, S.
Issue Date: 2006
Citation: Ling, Y.,Jin, S.D.,Jing, S. (2006). Modeling and customization of fault tolerant architecture using object-Z/XVCL. Proceedings - Asia-Pacific Software Engineering Conference, APSEC : 209-216. ScholarBank@NUS Repository.
Abstract: This paper proposes a novel heterogeneous software architecture FTA (Fault Tolerant Architecture). FTA incorporates idealized fault tolerant component concept and coordinated error recovery mechanism in the early system design phase. It can be reused in the high level model design of specific mission critical distributed systems with reliability requirements. The formal model of FTA in the Object-Z language is presented to provide precise idioms to the system designers. Formal proof using the Object-Z reasoning rules are constructed to demonstrate the fault tolerant properties of FTA. By analyzing the customization process, we also present a FTA template, expressed in x-frames using XVCL (XML-based Variant Configuration Language) methodology, to automate the customization process. We apply a sales control system case study to illustrate the customization of FTA. © 2006 IEEE.
Source Title: Proceedings - Asia-Pacific Software Engineering Conference, APSEC
ISBN: 0769526853
ISSN: 15301362
DOI: 10.1109/APSEC.2006.44
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.


checked on Dec 6, 2019

Page view(s)

checked on Dec 2, 2019

Google ScholarTM



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.